|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 20 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew J. Parkinson, Alexander J. Summers |
The Relationship Between Separation Logic and Implicit Dynamic Frames  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rok Strnisa, Matthew J. Parkinson |
Lightweight Java. |
Archive of Formal Proofs |
2011 |
DBLP BibTeX RDF |
|
| 1 | Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell |
Tractable Reasoning in a Fragment of Separation Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
Safe asynchronous multicore memory operations. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
Modular reasoning for deterministic parallelism. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson |
jStar-eclipse: an IDE for automated verification of Java programs. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Alexander J. Summers |
The Relationship between Separation Logic and Implicit Dynamic Frames. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
Automatic safety proofs for asynchronous memory operations. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
Coarse-grained transactions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity |
| 1 | Matthew J. Parkinson |
The Next 700 Separation Logics - (Invited Paper). |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
Concurrent Abstract Predicates. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
Verifying Generics and Delegates. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wickerson, Mike Dodds, Matthew J. Parkinson |
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Matthew J. Parkinson, Wolfram Schulte |
Separation Logic Verification of C Programs with an SMT Solver. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
Proving that non-blocking algorithms don't block. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
formal verification, concurrent programming, termination, liveness |
| 1 | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson |
From Java To UpgradeJ: An Empirical Study. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
| 1 | Dino Distefano, Matthew J. Parkinson |
jStar: towards practical verification for java. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
moduarity, design patterns, classes, separation logic |
| 1 | Gavin M. Bierman, Matthew J. Parkinson, James Noble |
UpgradeJ: Incremental Typechecking for Class Upgrades. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Matthew J. Parkinson |
A Marriage of Rely/Guarantee and Separation Logic. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
Modular verification of a non-blocking stack. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
concurrency, separation logic, non-blocking |
| 1 | Rok Strnisa, Peter Sewell, Matthew J. Parkinson |
The java module system: core design and semantic definition. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
LJAM, superpackage, java, module, JAM |
| 1 | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
Modular Safety Checking for Fine-Grained Concurrency. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |
Variables as Resource in Hoare Logics. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
Permission accounting in separation logic. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
concurrency, logic, separation, permissions |
| 1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
| 1 | Gavin M. Bierman, Matthew J. Parkinson |
Effects and effect inference for a core Java calculus. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")