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 |
|---|---|---|
| 2013 | Full abstraction for nominal Scott domains. | Steffen Lsch, Andrew M. Pitts |
| 2013 | Towards fully automatic placement of security sanitizers and declassifiers. | Benjamin Livshits, Stephen Chong |
| 2013 | Subjective auxiliary state for coarse-grained concurrency. | Ruy Ley-Wild, Aleksandar Nanevski |
| 2013 | Fast location of similar code fragments using semantic 'juice'. | Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi |
| 2013 | The geometry of types. | Ugo Dal Lago, Barbara Petit |
| 2013 | From principles to programming languages (and back). | Shriram Krishnamurthi |
| 2013 | Synthesis of biological models from mutation experiments. | Ali Sinan Kksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodk, Jasmin Fisher, Nir Piterman |
| 2013 | High-level separation logic for low-level code. | Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
| 2013 | The power of parameterization in coinductive proof. | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
| 2013 | The ramifications of sharing in data structures. | Aquinas Hobor, Jules Villard |
| 2013 | Quantitative relaxation of concurrent data structures. | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
| 2013 | The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. | Alexis Goyet |
| 2013 | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2013 | The principles and practice of probabilistic programming. | Noah D. Goodman |
| 2013 | Engineering mathematics: the odd order theorem proof. | Georges Gonthier |
| 2013 | Algebraic data types for language-integrated queries. | George Giorgidze, Torsten Grust, Alexander Ulrich, Jeroen Weijers |
| 2013 | Software protection for dynamically-generated code. | Sudeep Ghosh, Jason Hiser, Jack W. Davidson |
| 2013 | Linear dependent types for differential privacy. | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
| 2013 | Fully abstract compilation to JavaScript. | Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2013 | Inductive data flow graphs. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2013 | Abstract conflict driven learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | Views: compositional reasoning for concurrent programs. | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
| 2013 | Visualizing data on the web. | Loc Denuzire, Adam Granicz, Anton Tayanovskyy |
| 2013 | Plan B: a buffered memory model for Java. | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2013 | Meta-theory la carte. | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
276–300 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