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
1979	A Compact, Machine-Independent Peephole Optimizer.	Christopher W. Fraser
1979	Automatic Improvement of Programs in Very High Level Languages.	Amelia C. Fong
1979	The Functional Power of Parameter Passage Mechanisms.	Adrienne Critcher
1979	Systematic Design of Program Analysis Frameworks.	Patrick Cousot, Radhia Cousot
1979	A PL/CV Precis.	Robert L. Constable, Scott Johnson
1979	Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars.	Rina S. Cohen, E. Harry
1979	Characterization and Elimination of Redundancy in Recursive Programs.	Norman H. Cohen
1979	Synthesis of Resource Invariants for Concurrent Programs.	Edmund M. Clarke
1979	The Logic of a Relational Data Manipulation Language.	Marco A. Casanova, Philip A. Bernstein
1979	First Order Programming Logic.	Robert Cartwright, John McCarthy
1979	An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables.	John Banning
1979	Predicate Path Expressions.	Sten Andler
1979	The Universality of Data Retrieval Languages.	Alfred V. Aho, Jeffrey D. Ullman
1978	Type Definitions with Parameters.	Marvin H. Solomon
1978	Monoids for Rapid Data Flow Analysis.	Barry K. Rosen
1978	Syntactic Control of Interference.	John C. Reynolds
1978	Symbolic Programming Analysis in Almost Linear Time.	John H. Reif
1978	Efficient Computation of Expressions with Common Subexpressions.	Bhaskaram Prabhala, Ravi Sethi
1978	A Forward Move Algorithm for LR Error Recovery.	Thomas J. Pennello, Frank DeRemer
1978	Reasoning about Recursively Defined Data Structures.	Derek C. Oppen
1978	Complexity of Expressions Allowing Concurrency.	William F. Ogden, William E. Riddle, William C. Rounds
1978	A Simplifier Based on Efficient Decision Algorithms.	Charles G. Nelson, Derek C. Oppen
1978	Verification and Design Aspects of "True" Concurrency.	David W. Mizell
1978	A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs.	Paul R. Kosinki
1978	A General Scheme for the Automatic Inference of Variable Types.	Marc A. Kaplan, Jeffrey D. Ullman

1,476–1,500 of 1,604← Previous Next →

Comparable venues

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