Follow
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
4822005
A marriage of rely/guarantee and separation logic
V Vafeiadis, M Parkinson
CONCUR 2007–Concurrency Theory, 256-271, 2007
3902007
Separation logic and abstraction
M Parkinson, G Bierman
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
3842005
jStar: Towards practical verification for Java
D Distefano, MJ Parkinson J
ACM Sigplan Notices 43 (10), 213-226, 2008
3302008
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
3012010
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
2102012
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
1992013
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
1932008
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
1622003
Local reasoning for Java
MJ Parkinson
University of Cambridge, Computer Laboratory, 2005
1562005
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
European Symposium on Programming, 363-377, 2009
1532009
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
1312012
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
1082011
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1052009
Modular safety checking for fine-grained concurrency
C Calcagno, M Parkinson, V Vafeiadis
International Static Analysis Symposium, 233-248, 2007
1042007
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
1002006
The Java module system: core design and semantic definition
R Strniša, P Sewell, M Parkinson
ACM SIGPLAN Notices 42 (10), 499-514, 2007
952007
Modular verification of a non-blocking stack
M Parkinson, R Bornat, P O'Hearn
ACM SIGPLAN Notices 42 (1), 297-302, 2007
882007
Coarse-grained transactions
E Koskinen, M Parkinson, M Herlihy
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
842010
Modular reasoning about separation of concurrent data structures
K Svendsen, L Birkedal, M Parkinson
European Symposium on Programming, 169-188, 2013
732013
The system can't perform the operation now. Try again later.
Articles 1–20