Skip to content

ACM-SIGACT Symposium on Principles of Programming Languages

POPL

A*

CORE rank

CORE rank (raw)

A*

Acceptance rate

26.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,604

1973–2017

Papers per year

197368 peak2017

POPL papers

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

YearTitleAuthors
1975Actor Semantics of Planner-73.Irene Greif, Carl Hewitt
1975A Fast and Usually Linear Algorithm for Global Flow Analysis.Susan L. Graham, Mark N. Wegman
1975Structured Exception Handling.John B. Goodenough
1975Correctness-Preserving Program Transformations.Susan L. Gerhart
1975Application of Lattice Algebra to Loop Optimization.Amelia C. Fong, John B. Kam, Jeffrey D. Ullman
1975An Assertion Language for Data Structures.Stephen A. Cook, Derek C. Oppen
1975A Semantic Model for Parallel Systems with Scheduling.Ellis S. Cohen
1973A Parallel Approach to Compilation.Mary Zosel
1973Reasoning About Programs.Richard J. Waldinger, Karl N. Levitt
1973Mathematical Semantics of Snobol 4.Robert D. Tennent
1973Labelled Precedence Parsing.Mario Schkolnick
1973Transitions in Extendible Arrays.Arnold L. Rosenberg
1973Top Down Operator Precedence.Vaughan R. Pratt
1973Formalization of Exel.Louis Nolin, G. Ruggiu
1973Advice on Structuring Compilers and Proving Them Correct.F. Lockwood Morris
1973Types are Not Sets.James H. Morris Jr.
1973Procedure Linkage Optimization.Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
1973Recursively Defined Data Types.Clayton H. Lewis, Barry K. Rosen
1973Large Scale File Processing - Pogol.Gloria J. Lambert
1973A Unified Approach to Global Program Optimization.Gary A. Kildall
1973Actor Induction and Meta-Evaluation.Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger
1973Analysis of a Simple Algorithm for Global Flow Problems.Matthew S. Hecht, Jeffrey D. Ullman
1973Practical Syntactic Error Recovery.Susan L. Graham, Steven P. Rhodes
1973Strict Deterministic Versus LR(0) Parsing.Matthew M. Geller, Michael A. Harrison
1973Mode Modules as Representations of Domains.Alice E. Fischer, Michael J. Fischer
1,5761,600 of 1,604← PreviousNext →

Comparable venues

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