Colvin, Robert J.

1. Weak Memory Model Formalisms: Introduction and Survey
   2025/08/06 by Roger C. Su, Su, Roger C., Robert J. Colvin +1 · 1 voice
   Computer Science · #A.1 #C.1.2 #D.3.1 #F.3.1 #F.3.2 #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. An abstract semantics of speculative execution for reasoning about security vulnerabilities
   2020/03/10 by Colvin, Robert J., Winter, Kirsten · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
3. Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
   2024/07/30 by Robert J. Colvin, Ian J. Hayes, Colvin, Robert J. +9 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Network Time Synchronization Technologies #Parallel Computing and Optimization Techniques
4. A synchronous program algebra: a basis for reasoning about shared-memory\n and event-based concurrency
   2017/10/09 by Ian J. Hayes, Larissa Meinicke, Hayes, Ian J. +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification