SIGPLAN-Most-Influential-POPL-Papers

KO | EN

gitlite — search

#python #go #rust #linux #awesome #cli #kubernetes #awesome-list #vue #pytorch #security #ios #openai #open-source

SIGPLAN-Most-Influential-POPL-Papers

(★ 12)

No description available.

SIGPLAN-Most-Influential-POPL-Papers Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

Links to papers awarded the [Most Influential POPL Paper Award][popl-award] by the [ACM SIGPLAN][sigplan].  **Pull requests welcome!**

[sigplan]: http://www.sigplan.org/
[popl-award]: http://www.sigplan.org/Awards/POPL/

(Similar pages are available for [POPL 2015][popl2015], [2014][popl2014], and [2013][popl2013], ICFP ([2012][icfp12], [2013][icfp13], [2014][icfp14]) and [PLDI 2014][pldi2014-accepted].)

Status of links at last commit: [![Build Status](https://travis-ci.org/yallop/popl2015-papers.svg)](https://travis-ci.org/yallop/popl2015-papers)

[popl2013]: https://github.com/23Skidoo/popl13-papers-links
[popl2014]: https://github.com/gasche/popl2014-papers
[popl2015]: https://github.com/yallop/popl2015-papers
[icfp12]: https://github.com/technogeeky/icfp12-paper-links
[icfp13]: https://github.com/gasche/icfp2013-papers
[icfp14]: https://github.com/yallop/icfp2014-papers
[haskell2014-accepted]: https://github.com/yallop/haskell2014-papers
[pldi2014-accepted]: https://github.com/yallop/pldi2014-papers

## SIGPLAN Most Influential POPL Papers

* **2004: Abstractions from proofs**
  ([paper](http://goto.ucsd.edu/~rjhala/papers/abstractions_from_proofs.pdf))
  by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth McMillan.

* **2003:  A real-time garbage collector with low overhead and consistent utilization**
  ([paper](https://www.cs.purdue.edu/homes/hosking/690M/ft_gateway.cfm.pdf))
  by David F. Bacon, Perry Cheng, and V.T. Rajan.

* **2002: CCured: Type-Safe Retrofitting of Legacy Code**
  ([paper](http://www.cs.berkeley.edu/~necula/Papers/ccured_popl02.pdf))
  by George C. Necula, Scott McPeak, and Westley Weimer.

* **2001: Bunched-Implications (BI) as an Assertion Language for Mutable Data Structures**
  ([paper](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/bi-assertion-lan.pdf))
  by Samin Ishtiaq and Peter W. O'Hearn.

* **2000: Anytime, Anywhere: Modal Logics for Mobile Ambients**
  ([paper](http://lucacardelli.name/Papers/AnytimeAnywhere.A4.pdf))
  by Luca Cardelli and Andrew D. Gordon.

* **1999: JFlow: Practical Mostly-Static Information Flow Control**
  ([paper](http://www.cs.cornell.edu/andru/papers/popl99/popl99.pdf))
  by Andrew C. Myers.

* **1998: From System F to Typed Assembly Language**
  ([paper](http://www.eecs.harvard.edu/~greg/cs255sp2004/morrisett98tal.pdf), [journal version](https://www.cs.princeton.edu/~dpw/papers/tal-toplas.pdf))
  by Greg Morrisett, David Walker, Karl Crary, and Neal Glew.

* **1997: Proof-carrying Code**
  ([paper](http://www.cs.tufts.edu/comp/150CMP/papers/necula97pcc.pdf))
  by George Necula.

* **1996: Points-to Analysis in Almost Linear Time**
  ([paper](http://www.cs.cornell.edu/Courses/cs711/2005fa/papers/steensgaard-popl96.pdf))
  by Bjarne Steensgaard.

* **1995: A Language with Distributed Scope**
  ([paper](http://lucacardelli.name/papers/obliq.a4.pdf))
  by Luca Cardelli.

* **1994: Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions**
  ([paper](https://www.irisa.fr/prive/talpin/papers/popl94.pdf))
  by Mads Tofte and Jean-Pierre Talpin.

* **1993: Imperative functional programming**
  ([PostScript paper](http://homepages.inf.ed.ac.uk/wadler/papers/imperative/imperative.ps))
  by Simon Peyton Jones and Philip Wadler.

SIGPLAN-Most-Influential-POPL-Papers

SIGPLAN-Most-Influential-POPL-Papers Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

SIGPLAN-Most-Influential-POPL-Papers

SIGPLAN-Most-Influential-POPL-Papers Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README