Peter W. O'Hearn
According to our database^{1},
Peter W. O'Hearn
authored at least 91 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at viaf.org

at orcid.org

at id.loc.gov

at dnb.info

at isni.org

at andrej.com

at dl.acm.org
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 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
Proc. ACM Program. Lang., 2019
Commun. ACM, 2019
Commun. ACM, 2019
2018
Proc. ACM Program. Lang., 2018
CoRR, 2018
From Startups to Scaleups: 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
ACM SIGLOG News, 2016
2015
Tiny Trans. Comput. Sci., 2015
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra.
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
Formal Aspects Comput., 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Formal Methods in ComputerAided 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
CoRR, 2012
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview.
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
2011
J. ACM, 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
Theor. Comput. Sci., 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
ACM Trans. Program. Lang. Syst., 2009
Inf. Process. Lett., 2009
09301 Executive Summary  Typing, Analysis, and Verification of HeapManipulating Programs.
Proceedings of the Typing, Analysis and Verification of HeapManipulating Programs, 19.07., 2009
09301 Abstracts Collection  Typing, Analysis, and Verification of HeapManipulating Programs.
Proceedings of the Typing, Analysis and Verification of HeapManipulating Programs, 19.07., 2009
2008
Electron. Notes Theor. Comput. Sci., 2008
Proceedings of the LogicBased 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
Theor. Comput. Sci., 2007
Theor. Comput. Sci., 2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the 34th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the 34th ACM SIGPLANSIGACT 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
Computer, 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 SIGPLANSIGACT 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
Theor. Comput. Sci., 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
J. Funct. Program., 2003
2002
High. Order Symb. Comput., 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
BI as an Assertion Language for Mutable Data Structures.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLANSIGACT 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
J. ACM, 2000
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
1999
Theor. Comput. Sci., 1999
Bull. Symb. Log., 1999
Resource Interpretations, Bunched Implications and the <i>alpha lambda</i>Calculus.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
1998
SIGACT News, 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
Inf. Comput., July, 1995
J. ACM, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
1994
Proceedings of the Programming Languages and Systems, 1994
1993
Inf. Comput., November, 1993
Math. Struct. Comput. Sci., 1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1993
1992
J. Symb. Comput., 1992
1991
Proceedings of the Category Theory and Computer Science, 1991
1989
Note on Theorem Proving Strategies for Resolution Counterparts of NonClassical Logics.
Proceedings of the ACMSIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989