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
1989	On the Synthesis of a Reactive Module.	Amir Pnueli, Roni Rosner
1989	Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.	Christine Paulin-Mohring
1989	Partial Order Programming.	Douglas Stott Parker Jr.
1989	Unified Algebras and Modules.	Peter D. Mosses
1989	Generalized Conjunctive Types.	Gennaro Monteleone
1989	Relating Models of Polymorphism.	Jos Meseguer
1989	Bisimulation Through Probabilistic Testing.	Kim Guldstrand Larsen, Arne Skou
1989	Realistic Compilation by Program Transformation.	Richard Kelsey, Paul Hudak
1989	Polymorphic Unification and ML Typing.	Paris C. Kanellakis, John C. Mitchell
1989	A Fully Abstract Trace Model for Dataflow Networks.	Bengt Jonsson
1989	CLP* and Constraint Abstraction.	Timothy J. Hickey
1989	Copy Elimination in Functional Languages.	K. Gopinath, John L. Hennessy
1989	Fully Abstract Compositional Semantics for Logic Programs.	Haim Gaifman, Ehud Shapiro
1989	Efficient Temporal Reasoning.	E. Allen Emerson, Tom Sadler, Jai Srinivasan
1989	Rewrite, Rewrite, Rewrite, Rewrite, Rewrite.	Nachum Dershowitz, Stphane Kaplan
1989	An Efficient Method of Computing Static Single Assignment Form.	Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1989	Fast Interprocedural Alias Analysis.	Keith D. Cooper, Ken Kennedy
1989	The Modula-3 Type System.	Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
1989	The Program Dependence Graph and Vectorization.	William Baxter, Henry R. Bauer III
1989	Temporal Logic Programming is Complete and Expressive.	Marianne Baudinet
1989	Synthesis of Concurrent Systems with Many Similar Sequential Processes.	Paul C. Attie, E. Allen Emerson
1989	Continuation-Passing, Closure-Passing Style.	Andrew W. Appel, Trevor Jim
1989	Dynamic Typing in a Statically-Typed Language.	Martn Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1988	Sacrificing Simplicity for Convenience: Where Do You Draw the Line?	John H. Williams, Edward L. Wimmers
1988	Strictness Analysis Aids Time Analysis.	Philip Wadler

1,176–1,200 of 1,604← Previous Next →

Comparable venues

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