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 |
|---|---|---|
| 2010 | Parallelizing constraint programs. | Laurent D. Michel |
| 2010 | Efficient parallel programming in Poly/ML and Isabelle/ML. | David C. J. Matthews, Makarius Wenzel |
| 2010 | Dynamically checking ownership policies in concurrent c/c++ programs. | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro |
| 2010 | Toward a verified relational database management system. | J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2010 | Automatic numeric abstractions for heap-manipulating programs. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2010 | PASTHA: parallelizing stencil calculations in Haskell. | Michael Lesniak |
| 2010 | Coarse-grained transactions. | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
| 2010 | Higher-order multi-parameter tree transducers and recursion schemes for program verification. | Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno |
| 2010 | Static determination of quantitative resource usage for higher-order programs. | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
| 2010 | Semantics and algorithms for data-dependent grammars. | Trevor Jim, Yitzhak Mandelbaum, David Walker |
| 2010 | Dependent types and program equivalence. | Limin Jia, Jianzhou Zhao, Vilhelm Sjberg, Stephanie Weirich |
| 2010 | Pure subtype systems. | DeLesley S. Hutchins |
| 2010 | A theory of indirection via approximation. | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
| 2010 | From Boolean to quantitative notions of correctness. | Thomas A. Henzinger |
| 2010 | Nested interpolants. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2010 | Program analysis via satisfiability modulo path programs. | William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2010 | S-Net for multi-memory multicores. | Clemens Grelck, Jukka Julku, Frank Penczek |
| 2010 | Contracts made manifest. | Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich |
| 2010 | Compositional may-must program analysis: unleashing the power of alternation. | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
| 2010 | Reconfigurable asynchronous logic automata: (RALA). | Neil Gershenfeld, David Dalrymple, Kailiang Chen, Ara N. Knaian, Forrest Green, Erik D. Demaine, Scott Greenwald, Peter Schmidt-Nielsen |
| 2010 | Modular session types for distributed object-oriented programming. | Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira |
| 2010 | Monads in action. | Andrzej Filinski |
| 2010 | A relational modal logic for higher-order stateful ADTs. | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
| 2010 | Automatically generating instruction selectors using declarative machine descriptions. | Joo Dias, Norman Ramsey |
| 2010 | A verified compiler for an impure functional language. | Adam Chlipala |
451–475 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