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
Most published authors
POPL papers
1,604 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2017 | Automatically generating the dynamic semantics of gradually typed languages. | Matteo Cimini, Jeremy G. Siek |
| 2017 | Relational cost analysis. | Ezgi iek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann |
| 2017 | Rigorous floating-point mixed-precision tuning. | Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2017 | Stochastic invariants for probabilistic termination. | Krishnendu Chatterjee, Petr Novotn, Dorde Zikelic |
| 2017 | Type systems as macros. | Stephen Chang, Alex Knauth, Ben Greenman |
| 2017 | Serializability for eventual consistency: criterion, analysis, and applications. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2017 | Typed self-evaluation via intensional type functions. | Matt Brown, Jens Palsberg |
| 2017 | On verifying causal consistency. | Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza |
| 2017 | Coupling proofs are probabilistic product programs. | Gilles Barthe, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub |
| 2017 | Hypercollecting semantics and its application to static analysis of information flow. | Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frdric Tronel |
| 2017 | Computational higher-dimensional type theory. | Carlo Angiuli, Robert Harper, Todd Wilson |
| 2017 | A semantic account of metric preservation. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui |
| 2017 | LMS-Verify: abstraction without regret for verified systems programming. | Nada Amin, Tiark Rompf |
| 2017 | Type soundness proofs with definitional interpreters. | Nada Amin, Tiark Rompf |
| 2017 | Ogre and Pythia: an invariance proof method for weak consistency models. | Jade Alglave, Patrick Cousot |
| 2017 | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2016 | Query-guided maximum satisfiability. | Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik |
| 2016 | Casper: an efficient approach to call trace collection. | Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang |
| 2016 | Confluences in programming languages research (keynote). | David Walker |
| 2016 | Is sound gradual typing dead? | Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen |
| 2016 | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | Transforming spreadsheet data types using examples. | Rishabh Singh, Sumit Gulwani |
| 2016 | Environmental bisimulations for probabilistic higher-order languages. | Davide Sangiorgi, Valeria Vignudelli |
| 2016 | From MinX to MinC: semantics-driven decompilation of recursive datatypes. | Edward Robbins, Andy King, Tom Schrijvers |
| 2016 | Newtonian program analysis via tensor product. | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
51–75 of 1,604← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems