Links to papers awarded the Most Influential POPL Paper Award by the ACM SIGPLAN. Pull requests welcome!
(Similar pages are available for POPL 2015, 2014, and 2013, ICFP (2012, 2013, 2014) and PLDI 2014.)
Status of links at last commit:
-
2004: Abstractions from proofs (paper) by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth McMillan.
-
2003: A real-time garbage collector with low overhead and consistent utilization (paper) by David F. Bacon, Perry Cheng, and V.T. Rajan.
-
2002: CCured: Type-Safe Retrofitting of Legacy Code (paper) by George C. Necula, Scott McPeak, and Westley Weimer.
-
2001: Bunched-Implications (BI) as an Assertion Language for Mutable Data Structures (paper) by Samin Ishtiaq and Peter W. O'Hearn.
-
2000: Anytime, Anywhere: Modal Logics for Mobile Ambients (paper) by Luca Cardelli and Andrew D. Gordon.
-
1999: JFlow: Practical Mostly-Static Information Flow Control (paper) by Andrew C. Myers.
-
1998: From System F to Typed Assembly Language (paper, journal version) by Greg Morrisett, David Walker, Karl Crary, and Neal Glew.
-
1997: Proof-carrying Code (paper) by George Necula.
-
1996: Points-to Analysis in Almost Linear Time (paper) by Bjarne Steensgaard.
-
1995: A Language with Distributed Scope (paper) by Luca Cardelli.
-
1994: Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions (paper) by Mads Tofte and Jean-Pierre Talpin.
-
1993: Imperative functional programming (PostScript paper) by Simon Peyton Jones and Philip Wadler.