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
1982Modular Verification of Concurrent Programs.Brent Hailpern, Susan S. Owicki
1982Automatic Generation of Machine Specific Code Optimizers.Robert Giegerich
1982Semantics and Correctness of a Query Language Translation.E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko
1982Description-Driven Code Generation using Attribute Grammars.Mahadevan Ganapathi, Charles N. Fischer
1982Extended Naming Conventions for Communicating Processes.Nissim Francez
1982Experience with an Attribute Grammar-Based Compiler.Rodney Farrow
1982Eliminating Redundant Object Code.Jack W. Davidson, Christopher W. Fraser
1982Principal Type-Schemes for Functional Programs.Lus Damas, Robin Milner
1982On the Ability of Structures to Store and Access Information.Adrienne Critcher
1982On the Expressive Power of Query Languages for Relational Databases.Eric C. Cooper
1982On Effective Axiomatizations of Hoare Logics.Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
1982A Type Declaration and Inference System for Smalltalk.Alan Borning, Daniel H. H. Ingalls
1982A Logic for Expressions with Side-Effects.Hans-Juergen Boehm
1981Inferring Types in Smalltalk.Norihisa Suzuki
1981Program Improvement by Internal Specialization.William L. Scherlis
1981Linear Cost is Sometimes Quadratic.Barry K. Rosen
1981Modeling of Problem Domains for Driving Program Development Systems.Jay Ramanathan, Charley J. Shubra
1981Program Logic Without Binding is Decidable.Vaughan R. Pratt
1981Program Verification Based on Denotational Semantics.Wolfgang Polak
1981Making the World Safe for Garbage Collection.Susan S. Owicki
1981A Precise Interprocedural Data Flow Algorithm.Eugene W. Myers
1981Carrier Arrays: An Idiom-Preserving Extension to APL.P. Geoffrey Lowney
1981On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.Daniel Lehmann, Michael O. Rabin
1981Dependence Graphs and Compiler Optimizations.David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe
1981Verification of Attribute Grammars.Takuya Katayama, Yutaka Hoshino
1,401–1,425 of 1,604← PreviousNext →

Comparable venues

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