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
2000	(Optimal) Duplication is not Elementary Recursive.	Andrea Asperti, Paolo Coppola, Simone Martini
2000	A Semantic Model of Types and Machine Instructions for Proof-Carrying Code.	Andrew W. Appel, Amy P. Felty
2000	Modular Refinement of Hierarchic Reactive Machines.	Rajeev Alur, Radu Grosu
2000	Transforming Out Timing Leaks.	Johan Agat
2000	Authentication Primitives and Their Compilation.	Martn Abadi, Cdric Fournet, Georges Gonthier
1999	A Compositional Account of the Java Virtual Machine.	Phillip M. Yelland
1999	Dependent Types in Practical Programming.	Hongwei Xi, Frank Pfenning
1999	Once Upon a Polymorphic Type.	Keith Wansbrough, Simon L. Peyton Jones
1999	Constraint Systems for Useless Variable Elimination.	Mitchell Wand, Igor Siveroni
1999	Extending the Scope of Syntactic Abstraction.	Oscar Waddell, R. Kent Dybvig
1999	Parametric Shape Analysis via 3-Valued Logic.	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1999	Continuous Grammars.	Martin Ruckert
1999	Trust and Partial Typing in Open Systems of Mobile Agents.	James Riely, Matthew Hennessy
1999	Aggregate Structure Identification and Its Application to Program Analysis.	G. Ramalingam, John Field, Frank Tip
1999	Type-Based Analysis of Uncaught Exceptions.	Franois Pessaux, Xavier Leroy
1999	A Simple, Comprehensive Type System for Java Bytecode Subroutines.	Robert O'Callahn
1999	JFlow: Practical Mostly-Static Information Flow Control.	Andrew C. Myers
1999	Improvement in a Lazy Context: An Operational Theory for Call-by-Need.	Andrew Moran, David Sands
1999	Quasi-Linear Types.	Naoki Kobayashi
1999	Principality and Decidable Type Inference for Finite-Rank Intersection Types.	A. J. Kfoury, J. B. Wells
1999	Stochastic Processes as Concurrent Constraint Programs.	Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1999	Type-Safe Linking and Modular Assembly Language.	Neal Glew, J. Gregory Morrisett
1999	Representing Layered Monads.	Andrzej Filinski
1999	Optimal Code Selection in DAGs.	M. Anton Ertl
1999	AnnoDomini: From Type Theory to Year 2000 Conversion Tool.	Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte

826–850 of 1,604← Previous Next →

Comparable venues

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