Matthew J. Parkinson 个人学术档案

引用次数

	总计	2019 年至今
引用	5012	1151
h 指数	31	18
i10 指数	45	27

420

210

105

315

20042005200620072008200920102011201220132014201520162017201820192020202120222023202415 36 59 97 178 286 301 357 327 412 406 367 289 368 277 242 202 190 205 206 105

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Mike DoddsGalois Inc.在 galois.com 的电子邮件经过验证
Gavin BiermanOracle在 oracle.com 的电子邮件经过验证
Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Richard BornatProfessor of Computer Programming, Middlesex University在 bornat.me.uk 的电子邮件经过验证
Dino DistefanoMeta and Queen Mary University of London在 eecs.qmul.ac.uk 的电子邮件经过验证
Kasper SvendsenDepartment of Computer Science, Aarhus University在 itu.dk 的电子邮件经过验证
Peter O'HearnLacework and University College London在 ucl.ac.uk 的电子邮件经过验证
Thomas Dinsdale-YoungAarhus University在 d-y.me.uk 的电子邮件经过验证
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Sylvan ClebschMicrosoft Research在 microsoft.com 的电子邮件经过验证
Byron CookProfessor of Computer Science, UCL, Amazon在 cs.ucl.ac.uk 的电子邮件经过验证
Matko BotincanComputer Scientist在 cam.ac.uk 的电子邮件经过验证
Alexey GotsmanIMDEA Software Institute在 imdea.org 的电子邮件经过验证
James NobleCreative Research & Programming在 acm.org 的电子邮件经过验证
Hongseok YangProfessor, School of Computing, KAIST在 kaist.ac.kr 的电子邮件经过验证
Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of Technology在 stevens.edu 的电子邮件经过验证
Colin S. GordonAssociate Professor of Computer Science, Drexel University在 drexel.edu 的电子邮件经过验证
Christoph HaaseUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证

关注

Matthew J. Parkinson

Microsoft Research

在 microsoft.com 的电子邮件经过验证 - 首页

Programming Language Verification Semantics


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	520	2005
Separation logic and abstraction M Parkinson, G Bierman ACM symposium on principles of programming languages (POPL), 247-258, 2005	430	2005
A marriage of rely/guarantee and separation logic V Vafeiadis, M Parkinson CONCUR 2007–Concurrency Theory, 256-271, 2007	425	2007
jStar: Towards practical verification for Java D Distefano, MJ Parkinson J ACM Sigplan Notices 43 (10), 213-226, 2008	349	2008
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	316	2010
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012	231	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	224	2013
Separation logic, abstraction and inheritance MJ Parkinson, GM Bierman ACM SIGPLAN Notices 43 (1), 75-86, 2008	200	2008
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	169	2003
Local reasoning for Java MJ Parkinson University of Cambridge, Computer Laboratory, 2005	160	2005
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis Programming Languages and Systems: 18th European Symposium on Programming …, 2009	158	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	155	2012
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	120	2011
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis ACM SIGPLAN Notices 44 (1), 16-28, 2009	108	2009
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007	104	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	101	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	98	2007
Modular verification of a non-blocking stack M Parkinson, R Bornat, P O'Hearn ACM SIGPLAN Notices 42 (1), 297-302, 2007	98	2007
Modular reasoning about separation of concurrent data structures K Svendsen, L Birkedal, M Parkinson Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	86	2013
Coarse-grained transactions E Koskinen, M Parkinson, M Herlihy Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	85	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用