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 |
|---|---|---|
| 2011 | Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev |
| 2011 | Dynamic inference of static types for ruby. | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
| 2011 | Streaming transducers for algorithmic verification of single-pass list-processing programs. | Rajeev Alur, Pavol Cern |
| 2011 | Blame for all. | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
| 2011 | Computing with streams. | Joaqun Aguado, Michael Mendler |
| 2010 | Integrating typed and untyped code in a scripting language. | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan stlund, Jan Vitek |
| 2010 | Abstraction-guided synthesis of synchronization. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2010 | A simple, verified validator for software pipelining. | Jean-Baptiste Tristan, Xavier Leroy |
| 2010 | Dependent types from counterexamples. | Tachio Terauchi |
| 2010 | Generating compiler optimizations from proofs. | Ross Tate, Michael Stepp, Sorin Lerner |
| 2010 | Decision procedures for algebraic data types with abstractions. | Philippe Suter, Mirco Dotta, Viktor Kuncak |
| 2010 | From program verification to program synthesis. | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
| 2010 | Lightweight asynchrony using parasitic threads. | K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan |
| 2010 | Declarative data-parallel programming with the accelerator system. | Satnam Singh |
| 2010 | Threesomes, with and without blame. | Jeremy G. Siek, Philip Wadler |
| 2010 | Type inference for datalog with complex type hierarchies. | Max Schfer, Oege de Moor |
| 2010 | Low-level liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
| 2010 | Counterexample-guided focus. | Andreas Podelski, Thomas Wies |
| 2010 | Nominal system T. | Andrew M. Pitts |
| 2010 | A parallel ASP instantiator based on DLV. | Simona Perri, Francesco Ricca, Marco Sirianni |
| 2010 | Ypnos: declarative, parallel structured grid programming. | Dominic A. Orchard, Max Bolingbroke, Alan Mycroft |
| 2010 | SequenceL: transparency and multi-core parallelisms. | Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton |
| 2010 | Structuring the verification of heap-manipulating programs. | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine |
| 2010 | Verified just-in-time compiler on x86. | Magnus O. Myreen |
| 2010 | Compress-and-conquer for optimal multicore computing. | Zhijing G. Mou, Hai Liu, Paul Hudak |
426–450 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