ACM-SIGPLAN Conference on Programming Language Design and Implementation

PLDI

CORE rank

CORE rank (raw)

Acceptance rate

23.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,917

1979–2023

Best Software Engineering conferences

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	Obfuscation resilient search through executable classification.	Fang-Hsiang Su, Jonathan Bell, Gail E. Kaiser, Baishakhi Ray
2018	To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries.	Michael J. Steindorfer, Jurgen J. Vinju
2018	Inner array inlining for structure of arrays layout.	Matthias Springer, Yaozhu Sun, Hidehiko Masuhara
2018	Rank polymorphism viewed as a constraint problem.	Justin Slepak, Panagiotis Manolios, Olin Shivers
2018	A Rosetta Stone for array languages.	Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Viemann, Sven-Bodo Scholz
2018	Pinpoint: fast and precise sparse value flow analysis for million lines of code.	Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang
2018	Guarded impredicative polymorphism.	Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
2018	Finding root causes of floating point error.	Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
2018	Retrieval on source code: a neural code search.	Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra
2018	Relay: a new IR for machine learning frameworks.	Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock
2018	High-coverage, unbounded sound predictive race detection.	Jake Roemer, Kaan Gen, Michael D. Bond
2018	User-guided program reasoning using Bayesian inference.	Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
2018	Inferring type rules for syntactic sugar.	Justin Pombrio, Shriram Krishnamurthi
2018	CURD: a dynamic CUDA race detector.	Yuanfeng Peng, Vinod Grover, Joseph Devietti
2018	Verifying that web pages have accessible layout.	Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
2018	Inferring crypto API rules from code changes.	Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
2018	HHVM JIT: a profile-guided, region-based compiler for PHP and Hack.	Guilherme Ottoni
2018	Bounded expectations: resource analysis for probabilistic programs.	Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
2018	Partial control-flow linearization.	Simon Moll, Sebastian Hack
2018	MixT: a language for mixing consistency in geodistributed transactions.	Mae Milano, Andrew C. Myers
2018	Probabilistic programming with programmable inference.	Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard
2018	CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.	Peizun Liu, Thomas Wahl
2018	iReplayer: in-situ and identical record-and-replay for multithreaded applications.	Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
2018	D4: fast concurrency debugging with parallel differential analysis.	Bozhen Liu, Jeff Huang
2018	Mapping spiking neural networks onto a manycore neuromorphic architecture.	Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang

401–425 of 1,917← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.