Tony Hoare

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 8

Top Topics

Algebraic Operations

Relational Algebra

Concurrent Programming

Top Venues

J. Log. Algebraic Methods Program.

Publications

Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
Geometric Theory for Program Testing. CoRR (2022)
Bernhard Möller, Peter W. O'Hearn, Tony Hoare
On Algebra of Program Correctness and Incorrectness. RAMiCS (2021)
Krzysztof R. Apt, Tony Hoare
Edsger W. Dijkstra: a Commemoration. CoRR (2021)
Tony Hoare, Georg Struth, Jim Woodcock
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP (2019)
Tony Hoare, Alexandra Mendes, João F. Ferreira
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea (2019)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85 (4) (2016)
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
A Discrete Geometric Model of Concurrent Program Execution. UTP (2016)
Bernhard Möller, Tony Hoare
Exploring an Interface Model for CKA. MPC (2015)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
Developments in Concurrent Kleene Algebra. RAMiCS (2014)
Tony Hoare
Laws of concurrent programming. PLDI (2014)
Tony Hoare
Laws of Programming: The Algebraic Unification of Theories of Concurrency. CONCUR (2014)
Tony Hoare, Stephan van Staden
The laws of programming unify process calculi. Sci. Comput. Program. 85 (2014)
Tony Hoare
Generic Models of the Laws of Programming. Theories of Programming and Formal Methods (2013)
Tony Hoare
Laws of programming with concurrency (Invited Talk). ICCSW (2013)
Tony Hoare
Unifying Semantics for Concurrent Programming. Computation, Logic, Games, and Quantum Foundations (2013)
Tony Hoare
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award. POPL (2012)
Stephan van Staden, Tony Hoare
Algebra Unifies Operational Calculi. UTP (2012)
Tony Hoare
Net Models for Concurrent Object Behaviour. Petri Nets (2012)
Tony Hoare
Algebra of concurrent design. FMCAD (2012)
Tony Hoare, Stephan van Staden
In praise of algebra. Formal Aspects Comput. 24 (4-6) (2012)
Tony Hoare, Stephan van Staden
The Laws of Programming Unify Process Calculi. MPC (2012)
Tony Hoare
Recovery Blocks. Dependable and Historic Computing (2011)
Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80 (6) (2011)
Tony Hoare, Natarajan Shankar
Unraveling a Card Trick. Essays in Memory of Amir Pnueli (2010)
Jifeng He, Tony Hoare
CSP is a retract of CCS. Theor. Comput. Sci. 411 (11-13) (2010)
Tony Hoare
Fine-grain concurrency. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Tony Hoare
Testing and Proving, Hand-in-Hand. TAIC PART (2010)
Tony Hoare
Verified Software: Theories, Tools, Experiments. ICECCS (2008)
Tony Hoare
Fine-Grain Concurrency. LASER Summer School (2008)
Tony Hoare
Compensable Transactions. LASER Summer School (2008)
Tony Hoare
Verification of Fine-grain Concurrent Programs. Electron. Notes Theor. Comput. Sci. 209 (2008)
Tony Hoare, Peter W. O'Hearn
Separation Logic Semantics for Communicating Processes. Electron. Notes Theor. Comput. Sci. 212 (2008)
Tony Hoare
Keynote: A Vision for the Science of Computing. BCS Int. Acad. Conf. (2008)
Tony Hoare
Science and Engineering: A Collusion of Cultures. DSN (2007)
Tony Hoare
Fine-grain Concurrency. CPA (2007)
Tony Hoare
Lecture. Comput. J. 50 (3) (2007)
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21 (6) (2006)
Tony Hoare
Why ever CSP? Electron. Notes Theor. Comput. Sci. 162 (2006)
Tony Hoare
The ideal of verified software. ACL2 (2006)
Tony Hoare
The Ideal of Verified Software. CAV (2006)
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
Proving correctness of highly-concurrent linearisable objects. PPOPP (2006)
Tony Hoare, Robin Milner
Grand Challenges for Computing Research. Comput. J. 48 (1) (2005)
Tony Hoare, Jayadev Misra
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. VSTTE (2005)