Search the dblp DataBase

Publications of Author

1. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
   Acute: high-level programming language design for distributed computation. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:15-26 [Conf]
   
2. Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
   Proving correctness of highly-concurrent linearisable objects. [Citation Graph (0, 0)][DBLP]
   PPOPP, 2006, pp:129-136 [Conf]
   
3. Viktor Vafeiadis, Matthew Parkinson
   A Marriage of Rely/Guarantee and Separation Logic. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:256-271 [Conf]
   
4. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
   Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
   SAS, 2007, pp:233-248 [Conf]
   
5. 
   Bi-abductive Resource Invariant Synthesis. [Citation Graph (, )][DBLP]
   
   
6. 
   Automatically Proving Linearizability. [Citation Graph (, )][DBLP]
   
   
7. 
   Concurrent Abstract Predicates. [Citation Graph (, )][DBLP]
   
   
8. 
   Deny-Guarantee Reasoning. [Citation Graph (, )][DBLP]
   
   
9. 
   Finding heap-bounds for hardware synthesis. [Citation Graph (, )][DBLP]
   
   
10. 
    Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]
    
    
11. 
    Structuring the verification of heap-manipulating programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Shape-Value Abstraction for Verifying Linearizability. [Citation Graph (, )][DBLP]
    
    
13. 
    RGSep Action Inference. [Citation Graph (, )][DBLP]