39. POPL 2012:
Philadelphia, Pennsylvania, USAJohn Field, Michael Hicks (Eds.):
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012.
ACM 2012, ISBN 978-1-4503-1083-3
Award presentation and interview
- Andrew P. Black, Peter W. O'Hearn:
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview.
- Tony Hoare:
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.
privacy and access control
complexity for concurrency
- Krystof Hoder, Laura Kovács, Andrei Voronkov:
Playing in the grey area of proofs.
- Antonis Stampoulis, Zhong Shao:
Static and user-extensible proof checking.
- Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler:
Run your research: on the effectiveness of lightweight mechanization.
names and binders
Invited talk 2
- J. Strother Moore:
Meta-level features in an industrial-strength theorem prover.
Last update Thu May 23 17:50:37 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page