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
2014	A relationally parametric model of dependent type theory.	Robert Atkey, Neil Ghani, Patricia Johann
2014	From parametricity to conservation laws, via Noether's theorem.	Robert Atkey
2014	NetkAT: semantic foundations for networks.	Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
2014	A verified information-flow architecture.	Arthur Azevedo de Amorim, Nathan Collins, Andr DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2014	A nonstandard standardization theorem.	Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
2014	Optimal dynamic partial order reduction.	Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2014	Counter-factual typing for debugging type errors.	Sheng Chen, Martin Erwig
2014	Bias-variance tradeoffs in program analysis.	Rahul Sharma, Aditya V. Nori, Alex Aiken
2013	Kernel mode API spectroscopy for incident response and digital forensics.	Viviane Zwanger, Felix C. Freiling
2013	HALO: haskell to logic through denotational semantics.	Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn
2013	Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra.	Ramakrishna Upadrasta, Albert Cohen
2013	Automating relatively complete verification of higher-order functional programs.	Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
2013	Logical relations for fine-grained concurrency.	Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
2013	Complete instantiation-based interpolation.	Nishant Totla, Thomas Wies
2013	The sequential semantics of producer effect systems.	Ross Tate
2013	Themes in information-rich functional programming for internet-scale data sources.	Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek
2013	Hyperstream processing systems: nonstandard modeling of continuous-time signals.	Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo
2013	Universal properties of impure programming languages.	Sam Staton, Paul Blain Levy
2013	Incompleteness-aware programming with RDF data.	Stefan Scheglmann, Gerd Grner, Steffen Staab, Ralf Lmmel
2013	Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.	Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
2013	Fault tolerance via idempotence.	Ganesan Ramalingam, Kapil Vaswani
2013	String oriented programming: when ASLR is not enough.	Mathias Payer, Thomas R. Gross
2013	A theorem prover for Boolean BI.	Jonghyun Park, Jeongbong Seo, Sungwoo Park
2013	How languages can save distributed computing.	Andrew C. Myers
2013	Advanced automata minimization.	Richard Mayr, Lorenzo Clemente

251–275 of 1,604← Previous Next →

Comparable venues

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