Skip to content
cs-conference-ranking.org

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

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.

YearTitleAuthors
1981Position Paper on Optimizing Compilers.Stephen C. Johnson
1981Program Optimization and Exception Handling.John L. Hennessy
1981Position Paper on Optimizing Compilers.William H. Harrison
1981Axiomatic Definitions of Programming Languages, II.Joseph Y. Halpern, Albert R. Meyer
1981Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.Alan J. Demers, Thomas W. Reps, Tim Teitelbaum
1981Paging as a "Language Processing" Task.Michael W. Condry
1981Programming Primitives for Database Languages.Ashok K. Chandra
1981Paths: An Abstract Alternative to Pointers.Robert Cartwright, Robert Hood, Philip Mathews
1981Formal Program Testing.Robert Cartwright
1981The Temporal Logic of Branching Time.Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
1981A Program Development Tool.Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman
1980Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.William E. Weihl
1980Prime Subprogram Parsing of a Program.Robert Endre Tarjan
1980Analysis of Pointer Rotation.Norihisa Suzuki
1980A Case Study in Specifying the Semantics of a Programming Language.Ravi Sethi
1980A Dynamic Logic of Multiprocessing with Incomplete Information.John H. Reif, Gary L. Peterson
1980A High-Level Approach to Computer Document Formatting.Brian K. Reid
1980On Specifying Verifiers.Vaughan R. Pratt
1980Propositional Logics of Programs: Systems, Models, and Complexity.Rohit Parikh
1980On Proving Inductive Properties of Abstract Data Types.David R. Musser
1980Experience with an Applicative String Processing Language.James H. Morris Jr., Eric Schmidt, Philip Wadler
1980Axiomatic Definitions of Programming Languages: A Theoretical Assessment.Albert R. Meyer, Joseph Y. Halpern
1980Synchronous Schemes and Their Decision Problems.Zohar Manna, Amir Pnueli
1980"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs.Leslie Lamport
1980An Overview of the Summer Programming Language.Paul Klint
1,426–1,450 of 1,604← PreviousNext →

Comparable venues

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