PLDI

Publications

2022

Canberk Morelli, Jan Reineke
Warping cache simulation of polyhedral programs. PLDI (2022)
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
Checking robustness to weak persistency models. PLDI (2022)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-directed program synthesis for RESTful APIs. PLDI (2022)
Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay
CycleQ: an efficient basis for cyclic equational reasoning. PLDI (2022)
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. PLDI (2022)
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Sequential reasoning for optimizing compilers under weak memory concurrency. PLDI (2022)
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI (2022)
Milind Chabbi, Murali Krishna Ramanathan
A study of real-world data races in Golang. PLDI (2022)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Sound sequentialization for concurrent program verification. PLDI (2022)
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Hardening attack surfaces with formally proven binary format parsers. PLDI (2022)
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, Chen Zhang
FreeTensor: a free-form DSL with holistic optimizations for irregular tensor programs. PLDI (2022)
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Lasagne: a static binary translator for weak memory model architectures. PLDI (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: superoptimization of Quantum circuits. PLDI (2022)
Guillermo Polito, Stéphane Ducasse, Pablo Tesone
Interpreter-guided differential JIT compiler unit testing. PLDI (2022)
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
Synthesizing analytical SQL queries from computation demonstration. PLDI (2022)
Liam O'Connor, Oskar Wickström
Quickstrom: property-based acceptance testing with LTL specifications. PLDI (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: approximated knowledge synthesis with refinement types for declassification. PLDI (2022)
Karuna Grewal, Loris D'Antoni, Justin Hsu
P4BID: information flow control in p4. PLDI (2022)
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
Adore: atomic distributed objects with certified reconfiguration. PLDI (2022)
Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko
RunTime-assisted convergence in replicated data types. PLDI (2022)
Chenhao Zhang, Jason D. Hartline, Christos Dimoulas
Karp: a language for NP reductions. PLDI (2022)
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
Finding typing compiler bugs. PLDI (2022)
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell
Islaris: verification of machine code against authoritative ISA semantics. PLDI (2022)
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers
PDL: a high-level hardware design language for pipelined processors. PLDI (2022)
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Efficient approximations for cache-conscious data placement. PLDI (2022)
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, Yihan Sun
PaC-trees: supporting parallel and compressed purely-functional collections. PLDI (2022)
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
Can reactive synthesis and syntax-guided synthesis be friends? PLDI (2022)
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
DISTAL: the distributed tensor algebra compiler. PLDI (2022)
Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley
Low-latency, high-throughput garbage collection. PLDI (2022)
Ike Mulder, Robbert Krebbers, Herman Geuvers
Diaframe: automated verification of fine-grained concurrent programs in Iris. PLDI (2022)
Mae Milano, Joshua Turcotti, Andrew C. Myers
A flexible type system for fearless concurrency. PLDI (2022)
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
Progressive polynomial approximations for fast correctly rounded math libraries. PLDI (2022)
Yishen Chen, Charith Mendis, Saman P. Amarasinghe
All you need is superword-level parallelism: systematic control-flow vectorization with SLP. PLDI (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI (2022)
Junpeng Zha, Hongjin Liang, Xinyu Feng
Verifying optimizations of concurrent programs in the promising semantics. PLDI (2022)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Abstract interpretation repair. PLDI (2022)
Ben Greenman
Deep and shallow types for gradual languages. PLDI (2022)
Daniel Anderson, Guy E. Blelloch, Yuanhao Wei
Turning manual concurrent memory reclamation into automatic reference counting. PLDI (2022)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic soundness for language interoperability. PLDI (2022)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified mergeable replicated data types. PLDI (2022)
Yanju Chen, Xifeng Yan, Yu Feng
Visualization question answering using introspective program synthesis. PLDI (2022)
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang
WebRobot: web robotic process automation using interactive programming-by-demonstration. PLDI (2022)
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Modular information flow through ownership. PLDI (2022)
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
Guaranteed bounds for posterior inference in universal probabilistic programming. PLDI (2022)
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang
Odin: on-demand instrumentation with on-the-fly recompilation. PLDI (2022)
Bachir Bendrissou, Rahul Gopinath, Andreas Zeller
"Synthesizing input grammars": a replication study. PLDI (2022)
Azadeh Farzan, Danya Lette, Victor Nicolet
Recursion synthesis with unrealizability witnesses. PLDI (2022)
Vito Kortbeek, Souradip Ghosh, Josiah D. Hester, Simone Campanoni, Przemyslaw Pawelczak
WARio: efficient code generation for intermittent computing. PLDI (2022)
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI (2022)