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 |
|---|---|---|
| 2018 | Accelerating search-based program synthesis using learned probabilistic models. | Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
| 2018 | Spatial: a language and compiler for application accelerators. | David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun |
| 2018 | Enhancing computation-to-core assignment with physical location information. | Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung |
| 2018 | Profile-based vectorization for MATLAB. | Patryk Kiepas, Jaroslaw Kozlak, Claude Tadonki, Corinne Ancourt |
| 2018 | Crellvm: verified credible compilation for LLVM. | Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
| 2018 | GPU code optimization using abstract kernel emulation and sensitivity analysis. | Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Nol Pouchet, Fabrice Rastello, P. Sadayappan |
| 2018 | Petalisp: run time code generation for operations on strided arrays. | Marco Heisig, Harald Kstler |
| 2018 | Proving a core code for FDM correct by 2 + dw tests. | Magne Haveraaen |
| 2018 | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2018 | Automated clustering and program repair for introductory programming assignments. | Sumit Gulwani, Ivan Radicek, Florian Zuleger |
| 2018 | The three pillars of machine programming. | Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson |
| 2018 | Persistency for synchronization-free regions. | Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch |
| 2018 | Bayonet: probabilistic inference for networks. | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | Symbolic reasoning for automatic signal placement. | Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
| 2018 | Program synthesis using conflict-driven learning. | Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
| 2018 | Diesel: DSL for linear algebra and neural net computations on GPUs. | Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, Vinod Grover |
| 2018 | EffectiveSan: type and memory error detection using dynamically typed C/C++. | Gregory J. Duck, Roland H. C. Yap |
| 2018 | Ariadne: analysis for machine learning programs. | Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen |
| 2018 | Bounding data races in space and time. | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
| 2018 | On-stack replacement, distilled. | Daniele Cono D'Elia, Camil Demetrescu |
| 2018 | Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics. | Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali |
| 2018 | Incremental inference for probabilistic programs. | Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
| 2018 | A design proposal for Gen: probabilistic programming with fast custom inference via code generation. | Marco F. Cusumano-Towner, Vikash K. Mansinghka |
| 2018 | The semantics of transactions and weak memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2018 | Locality analysis through static parallel sampling. | Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai |
426–450 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