ACM-SIGACT Symposium on Principles of Programming Languages

POPL

CORE rank

CORE rank (raw)

Acceptance rate

26.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,604

1973–2017

Best Software Engineering conferences

Papers per year

197368 peak2017

Most published authors

POPL papers

1,604 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2001	Combining subsumption and binary methods: an object calculus with views.	Jerome Vouillon
2001	Nomadic pict: correct communication infrastructure for mobile computation.	Asis Unyapoth, Peter Sewell
2001	Type-indexed rows.	Mark Shields, Erik Meijer
2001	Modules, abstract types, and distributed versioning.	Peter Sewell
2001	Extensionality and Intensionality of the Ambient Logics.	Davide Sangiorgi
2001	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	Jakob Rehof, Manuel Fhndrich
2001	Colored local type inference.	Martin Odersky, Christoph Zenger, Matthias Zenger
2001	Oracle-based checking of untrusted software.	George C. Necula, Shree Prakash Rahul
2001	An abstract Monte-Carlo method for the analysis of probabilistic programs.	David Monniaux
2001	Programming language methods in computer security.	John C. Mitchell
2001	Computational flux.	Robin Milner
2001	The size-change principle for program termination.	Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram
2001	A compiler technique for improving whole-program locality.	Mahmut T. Kandemir
2001	BI as an Assertion Language for Mutable Data Structures.	Samin S. Ishtiaq, Peter W. O'Hearn
2001	A generic type system for the Pi-calculus.	Atsushi Igarashi, Naoki Kobayashi
2001	Regular expression pattern matching for XML.	Haruo Hosoya, Benjamin C. Pierce
2001	Typing a multi-language intermediate code.	Andrew D. Gordon, Don Syme
2001	Subtyping arithmetical types.	Joseph Gil
2001	Efficient deductive methods for program analysis.	Harald Ganzinger
2001	Avoiding exponential explosion: generating compact verification conditions.	Cormac Flanagan, James B. Saxe
2001	Stratified operational semantics for safety and correctness of the region calculus.	Cristiano Calcagno
2001	Secure safe ambients.	Michele Bugliesi, Giuseppe Castagna
2001	What packets may come: automata for network monitoring.	Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
2001	Mobile values, new names, and secure communication.	Martn Abadi, Cdric Fournet
2000	A Type System for Expressive Security Policies.	David Walker

776–800 of 1,604← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.