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 | Continuity analysis of programs. | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
| 2010 | Paralocks: role-based information flow control and beyond. | Niklas Broberg, David Sands |
| 2010 | Programming with angelic nondeterminism. | Rastislav Bodk, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
| 2010 | Modular verification of security protocol code by typing. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2010 | Sequential verification of serializability. | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
| 2010 | On the verification problem for weak memory models. | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2009 | Speculative N-Way barriers. | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
| 2009 | Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
| 2009 | Static contract checking for Haskell. | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
| 2009 | The theory of deadlock avoidance via discrete control. | Yin Wang, Stphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke |
| 2009 | Bidirectionalization for free! (Pearl). | Janis Voigtlnder |
| 2009 | Copy-on-write in the PHP language. | Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide |
| 2009 | Equality saturation: a new approach to optimization. | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
| 2009 | Comparing the performance of concurrent linked-list implementations in Haskell. | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow |
| 2009 | Linear types for computational effects. | Alex Simpson |
| 2009 | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
| 2009 | Verifying distributed systems: the operational approach. | Tom Ridge |
| 2009 | Masked types for sound object initialization. | Xin Qi, Andrew C. Myers |
| 2009 | The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2009 | Modeling abstract types in modules with open existential types. | Benot Montagu, Didier Rmy |
| 2009 | Automatic modular abstractions for linear constraints. | David Monniaux |
| 2009 | Modular code generation from synchronous block diagrams: modularity vs. code size. | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
| 2009 | A cost semantics for self-adjusting computation. | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
| 2009 | Flexible types: robust type inference for first-class polymorphism. | Daan Leijen |
| 2009 | Focusing on pattern matching. | Neelakantan R. Krishnaswami |
476–500 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