Peter W. O'Hearn
Orcid: 0000-0001-8730-5496Affiliations:
- Facebook Research
- University College London, UK (former)
- Queen Mary University of London, UK (former)
According to our database1,
Peter W. O'Hearn
authored at least 96 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proc. ACM Program. Lang., 2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
2018
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2016
2015
Tiny Trans. Comput. Sci., 2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2012
Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Formal Aspects Comput., 2010
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.
Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.
Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009
2008
Proceedings of the First International Conference on Foundations of Informatics, 2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the 6th International Symposium on Memory Management, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005
2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
Proceedings of the Programming Languages and Systems, 2004
2003
Theor. Comput. Sci., 2003
2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
1998
1997
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1996
J. Funct. Program., 1996
1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
1994
Proceedings of the Programming Languages and Systems, 1994
1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
1992
1991
Proceedings of the Category Theory and Computer Science, 1991
1989
Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989