Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview
Abstract
No abstract available.
Related papers
- Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award POPL 2012
- The Marion System for Retargetable Instruction Scheduling PLDI 1991
- System FR: formalized foundations for the stainless verifier OOPSLA 2019
- A Complete and Consistent Hoare Semantics for a Simple Programming Language POPL 1977
- Bottom-up shape analysis using LISF TOPLAS 2011
- NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks CAV 2025
- The Speedup Theorem in a Primitive Recursive Framework CPP 2015
- A Comparative Performance Evaluation of Write Barrier Implementations OOPSLA 1992