ACM-SIGPLAN Conference on Programming Language Design and Implementation
PLDI
A*
CORE rank
CORE rank (raw)
A*
Acceptance rate
23.0% (2024)
Fields of research
Software Engineering
Papers indexed
1,917
1979–2023
Papers per year
1979104 peak2023
Most published authors
PLDI papers
1,917 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2017 | Synthesizing program input grammars. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2017 | A Datalog model of must-alias analysis. | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
| 2017 | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2017 | Porting doop to Souffl: a tale of inter-engine portability for Datalog-based analyses. | Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis |
| 2017 | Systematic approaches for increasing soundness and precision of static analyzers. | Esben Sparre Andreasen, Anders Mller, Benjamin Barslev Nielsen |
| 2017 | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | A computational model for TensorFlow: an introduction. | Martn Abadi, Michael Isard, Derek Gordon Murray |
| 2017 | Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes. | Scott Schneider, Kun-Lung Wu |
| 2016 | A memory model for X10. | Andreas Zwinkau |
| 2016 | GreenWeb: language extensions for energy-efficient mobile web computing. | Yuhao Zhu, Vijay Janapa Reddi |
| 2016 | Automatically learning shape specifications. | He Zhu, Gustavo Petri, Suresh Jagannathan |
| 2016 | Accepting blame for safe tunneled exceptions. | Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers |
| 2016 | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2016 | Synthesizing transformations on hierarchically structured data. | Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri |
| 2016 | On the unsoundness of static analysis for Android GUIs. | Yan Wang, Hailong Zhang, Atanas Rountev |
| 2016 | Refinement types for TypeScript. | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2016 | Latte: a language, compiler, and runtime for elegant and efficient deep neural networks. | Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, Tatiana Shpeisman |
| 2016 | Extending C++ with co-array semantics. | Antoine Tran Tan, Hartmut Kaiser |
| 2016 | TTC: a tensor transposition compiler for multiple architectures. | Paul Springer, Aravind Sankaran, Paolo Bientinesi |
| 2016 | Object support in an array-based GPGPU extension for Ruby. | Matthias Springer, Hidehiko Masuhara |
| 2016 | Transactional data structure libraries. | Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar |
| 2016 | Automatic generation of parallel C code for stencil applications written in MATLAB. | Johannes Spazier, Steffen Christgau, Bettina Schnor |
| 2016 | Cartesian hoare logic for verifying k-safety properties. | Marcelo Sousa, Isil Dillig |
| 2016 | Exposing errors related to weak memory in GPU applications. | Tyler Sorensen, Alastair F. Donaldson |
| 2016 | MapReduce program synthesis. | Calvin Smith, Aws Albarghouthi |
526–550 of 1,917← 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