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
5142005
Separation logic and abstraction
M Parkinson, G Bierman
ACM symposium on principles of programming languages (POPL), 247-258, 2005
4322005
A marriage of rely/guarantee and separation logic
V Vafeiadis, M Parkinson
CONCUR 2007–Concurrency Theory, 256-271, 2007
4222007
jStar: Towards practical verification for Java
D Distefano, MJ Parkinson J
ACM Sigplan Notices 43 (10), 213-226, 2008
3442008
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
3212010
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
2262013
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
2252012
Separation logic, abstraction and inheritance
MJ Parkinson, GM Bierman
ACM SIGPLAN Notices 43 (1), 75-86, 2008
2002008
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
1682003
Deny-guarantee reasoning
M Dodds, X Feng, M Parkinson, V Vafeiadis
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
1602009
Local reasoning for Java
MJ Parkinson
University of Cambridge, Computer Laboratory, 2005
1592005
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
1512012
Tractable reasoning in a fragment of separation logic
B Cook, C Haase, J Ouaknine, M Parkinson, J Worrell
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
1142011
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
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 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
1012006
The Java module system: core design and semantic definition
R Strni¹a, P Sewell, M Parkinson
ACM SIGPLAN Notices 42 (10), 499-514, 2007
1002007
Modular verification of a non-blocking stack
M Parkinson, R Bornat, P O'Hearn
ACM SIGPLAN Notices 42 (1), 297-302, 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 reasoning about separation of concurrent data structures
K Svendsen, L Birkedal, M Parkinson
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
832013
The system can't perform the operation now. Try again later.
Articles 1–20