Matthew J. Parkinson
Matthew J. Parkinson
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Permission accounting in separation logic
R Bornat, C Calcagno, P O'Hearn, M Parkinson
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
4512005
A marriage of rely/guarantee and separation logic
V Vafeiadis, M Parkinson
CONCUR 2007–Concurrency Theory, 256-271, 2007
3772007
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
3732005
jStar: Towards practical verification for Java
D Distefano, MJ Parkinson J
ACM Sigplan Notices 43 (10), 213-226, 2008
3212008
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
2762010
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
1932012
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
1932008
Views: compositional reasoning for concurrent programs
T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2013
1772013
MJ: An imperative core calculus for Java and Java with effects
G Bierman, M Parkinson, A Pitts
Technical report, University of Cambridge Computer Laboratory, to appear, 2003
1612003
Local reasoning for Java
MJ Parkinson
University of Cambridge, Computer Laboratory, 2005
1532005
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1462009
Uniqueness and reference immutability for safe parallelism
CS Gordon, MJ Parkinson, J Parsons, A Bromfield, J Duffy
ACM SIGPLAN Notices 47 (10), 21-40, 2012
1262012
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1042009
Tractable reasoning in a fragment of separation logic
B Cook, C Haase, J Ouaknine, M Parkinson, J Worrell
International Conference on Concurrency Theory, 235-249, 2011
1002011
Modular safety checking for fine-grained concurrency
C Calcagno, M Parkinson, V Vafeiadis
International Static Analysis Symposium, 233-248, 2007
992007
Variables as resource in Hoare logics
M Parkinson, R Bornat, C Calcagno
Logic in Computer Science, 2006 21st Annual IEEE Symposium on, 137-146, 2006
972006
The Java module system: core design and semantic definition
R Strniša, P Sewell, M Parkinson
ACM SIGPLAN Notices 42 (10), 499-514, 2007
932007
Coarse-grained transactions
E Koskinen, M Parkinson, M Herlihy
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
852010
Modular verification of a non-blocking stack
M Parkinson, R Bornat, P O'Hearn
ACM SIGPLAN Notices 42 (1), 297-302, 2007
842007
Class Invariants: The end of the road?
M Parkinson
Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO), 9, 2007
672007
The system can't perform the operation now. Try again later.
Articles 1–20