Matthew J. Parkinson - Google Scholar

Cited by

	All	Since 2015
Citations	4172	1659
h-index	29	21
i10-index	39	32

420

210

105

315

200520062007200820092010201120122013201420152016201720182019202037 57 94 173 292 334 342 328 401 402 369 281 343 278 241 144

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
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Christoph HaaseUniversity College LondonVerified email at ucl.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Colin S. GordonAssistant Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
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	430	2005
Separation logic and abstraction M Parkinson, G Bierman ACM SIGPLAN Notices 40 (1), 247-258, 2005	369	2005
A marriage of rely/guarantee and separation logic V Vafeiadis, M Parkinson CONCUR 2007–Concurrency Theory, 256-271, 2007	359	2007
jStar: Towards practical verification for Java D Distefano, MJ Parkinson J ACM Sigplan Notices 43 (10), 213-226, 2008	317	2008
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	251	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	178	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	165	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	152	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	143	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	121	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	100	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	96	2011
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
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis International Static Analysis Symposium, 233-248, 2007	93	2007
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	81	2010
Modular verification of a non-blocking stack M Parkinson, R Bornat, P O'Hearn ACM SIGPLAN Notices 42 (1), 297-302, 2007	79	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