The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthew J. Parkinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
    Variables as Resource in Hoare Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:137-146 [Conf]
  2. Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson
    Permission accounting in separation logic. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:259-270 [Conf]
  3. Matthew J. Parkinson, Gavin M. Bierman
    Separation logic and abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:247-258 [Conf]
  4. Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn
    Modular verification of a non-blocking stack. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:297-302 [Conf]
  5. Gavin M. Bierman, Matthew J. Parkinson
    Effects and effect inference for a core Java calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  6. Viktor Vafeiadis, Matthew Parkinson
    A Marriage of Rely/Guarantee and Separation Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:256-271 [Conf]
  7. Rok Strnisa, Peter Sewell, Matthew Parkinson
    The java module system: core design and semantic definition. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:499-514 [Conf]
  8. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
    Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:233-248 [Conf]

  9. UpgradeJ: Incremental Typechecking for Class Upgrades. [Citation Graph (, )][DBLP]


  10. Verifying Generics and Delegates. [Citation Graph (, )][DBLP]


  11. Concurrent Abstract Predicates. [Citation Graph (, )][DBLP]


  12. Deny-Guarantee Reasoning. [Citation Graph (, )][DBLP]


  13. Explicit Stabilisation for Modular Rely-Guarantee Reasoning. [Citation Graph (, )][DBLP]


  14. jStar: towards practical verification for java. [Citation Graph (, )][DBLP]


  15. Separation logic, abstraction and inheritance. [Citation Graph (, )][DBLP]


  16. Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]


  17. Coarse-grained transactions. [Citation Graph (, )][DBLP]


  18. The Next 700 Separation Logics - (Invited Paper). [Citation Graph (, )][DBLP]


  19. From Java To UpgradeJ: An Empirical Study. [Citation Graph (, )][DBLP]


  20. Separation Logic Verification of C Programs with an SMT Solver. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002