Matthew J. Parkinson

Cited by

	All	Since 2016
Citations	4252	1363
h-index	29	19
i10-index	42	33

420

210

105

315

2005200620072008200920102011201220132014201520162017201820192020202137 57 93 173 288 323 342 327 402 402 370 282 341 281 242 209 7

Co-authors

Mike DoddsGalois Inc.Verified email at galois.com
Gavin BiermanOracleVerified email at oracle.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Matko BotincanComputer ScientistVerified email at cam.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Eric KoskinenAssistant Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Colin S. GordonAssistant Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Maurice HerlihyProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu

Matthew J. Parkinson

Microsoft Research

Verified email at microsoft.com - Homepage

Programming Language Verification Semantics


Title Sort by citations Sort by year Sort by 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	439	2005
Separation logic and abstraction M Parkinson, G Bierman ACM SIGPLAN Notices 40 (1), 247-258, 2005	373	2005
A marriage of rely/guarantee and separation logic V Vafeiadis, M Parkinson CONCUR 2007–Concurrency Theory, 256-271, 2007	364	2007
jStar: Towards practical verification for Java D Distefano, MJ Parkinson J ACM Sigplan Notices 43 (10), 213-226, 2008	321	2008
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	261	2010
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	184	2008
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012	182	2012
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	172	2013
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	154	2003
Local reasoning for Java MJ Parkinson University of Cambridge, Computer Laboratory, 2005	149	2005
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis European Symposium on Programming, 363-377, 2009	145	2009
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	126	2012
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis ACM SIGPLAN Notices 44 (1), 16-28, 2009	101	2009
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	98	2011
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis International Static Analysis Symposium, 233-248, 2007	96	2007
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	94	2006
The Java module system: core design and semantic definition R Strniša, P Sewell, M Parkinson ACM SIGPLAN Notices 42 (10), 499-514, 2007	92	2007
Coarse-grained transactions E Koskinen, M Parkinson, M Herlihy Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	82	2010
Modular verification of a non-blocking stack M Parkinson, R Bornat, P O'Hearn ACM SIGPLAN Notices 42 (1), 297-302, 2007	80	2007
Class invariants: The end of the road M Parkinson Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO), 9, 2007	66	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors