PLDI

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2021 · 87 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2021 · PLDI
AKG: automatic kernel generation for neural processing units using polyhedral transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Abstraction for conflict-free replicated data types
Hongjin Liang, Xinyu Feng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Adaptive restarts for stochastic synthesis
Jason R. Koenig, Oded Padon, Alex Aiken
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Alive2: bounded translation validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
An efficient interpreter for Datalog by de-specializing relations
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Automated conformance testing for JavaScript engines via deep compiler fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Automatically enforcing fresh and consistent inputs in intermittent systems
Milijana Surbatovich, Limin Jia, Brandon Lucia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Beyond the elementary representations of program invariants over algebraic data types
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Bliss: auto-tuning complex applications using a pool of diverse lightweight learning models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, Devesh Tiwari
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Canary: practical static detection of inter-thread value-flow bugs
Yuandao Cai, Peisen Yao, Charles Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Central moment analysis for cost accumulators in probabilistic programs
Di Wang, Jan Hoffmann, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
CoStar: a verified ALL(*) parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
CompCertO: compiling certified open C components
Jérémie Koenig, Zhong Shao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Compiler-assisted object inlining with value fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Concise, type-safe, and efficient structural diffing
Sebastian Erdweg, Tamás Szabó, André Pacak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Concolic program repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Concurrent deferred reference counting with constant-time overhead
Daniel Anderson, Guy E. Blelloch, Yuanhao Wei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Cyclic program synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
DIY assistant: a multi-modal end-user programmable virtual assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, Monica S. Lam
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
DNNFusion: accelerating deep neural networks execution with advanced operator fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, Bin Ren
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
DeepCuts: a deep learning optimization framework for versatile GPU workloads
Wookeun Jung, Thanh Tuan Dao, Jaejin Lee
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Demanded abstract interpretation
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Developer and user-transparent compiler optimization for interactive applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, Hugh Leather
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Distance-in-time versus distance-in-space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, Mustafa Karakoy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Example-guided synthesis of relational queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Execution reconstruction: harnessing failure reoccurrences for failure reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Fast and precise certification of transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Filling typed holes with live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Fluid: a framework for approximate concurrency via controlled dependency relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Frequent background polling on a shared thread, using light-weight compiler interrupts
Nilanjana Basu, Claudio Montanari, Jakob Eriksson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Gleipnir: toward practical error analysis for Quantum programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Hashing modulo alpha-equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, Simon Peyton Jones
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
High performance correctly rounded math libraries for 32-bit floating point representations
Jay P. Lim, Santosh Nagarakatte
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
IOOpt: automatic derivation of I/O complexity bounds for affine programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, Fabrice Rastello
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Incremental whole-program analysis in Datalog with lattices
Tamás Szabó, Sebastian Erdweg, Gábor Bergmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Integration verification across software and hardware for a simple embedded system
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Learning to find naming issues with big code and small supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Logical bytecode reduction
Christian Gram Kalhauge, Jens Palsberg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Mirror: making lock-free data structures persistent
Michal Friedman, Erez Petrank, Pedro Ramalhete
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Modular data-race-freedom guarantees in the promising semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
On probabilistic termination of functional programs with continuous distributions
Raven Beutner, Luke Ong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Path-sensitive sparse analysis without path conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Perceus: garbage free reference counting with reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Phased synthesis of divide and conquer programs
Azadeh Farzan, Victor Nicolet
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Polynomial reachability witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Porcupine: a synthesizing compiler for vectorized homomorphic encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Practical smart contract sharding with ownership and commutativity analysis
George Pîrlea, Amrit Kumar, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Proof repair across type equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Provable repair of deep neural networks
Matthew Sotoudeh, Aditya V. Thakur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Proving non-termination by program reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Quantitative analysis of assertion violations in probabilistic programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Quantum abstract interpretation
Nengkun Yu, Jens Palsberg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
RbSyn: type- and effect-guided program synthesis
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
RefinedC: automating the foundational verification of C code with refined ownership types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Repairing serializability bugs in distributed database programs via automated schema refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Reticle: a virtual machine for programming modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Retrofitting effect handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Reverse engineering for reduction parallelization via semiring polynomials
Akimasa Morihata, Shigeyuki Sato
Programming Languages & Formal Methods
日本大学: 東京大学
2021 · PLDI
Robustness certification with generative models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
SPPL: probabilistic programming with fast exact symbolic inference
Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Satisfiability modulo ordering consistency theory for multi-threaded program verification
Fei He, Zhihang Sun, Hongyu Fan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Scooter & Sidecar: a domain-specific approach to writing secure database migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures
Ruslan Nikolaev, Binoy Ravindran
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Sound probabilistic inference via guide types
Di Wang, Jan Hoffmann, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Specification synthesis with constrained Horn clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Păsăreanu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Synthesizing data structure refinements from integrity constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Task parallel assembly language for uncompromising parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, Umut A. Acar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Termination analysis without the tears
Shaowei Zhu, Zachary Kincaid
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Test-case reduction and deduplication almost for free with transformation-based compiler testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpiński
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Trace-based control-flow analysis
Benoît Montagu, Thomas Jensen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Unleashing the hidden power of compiler optimization on binary code difference: an empirical study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Unqomp: synthesizing uncomputation in Quantum circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Vectorized secure evaluation of decision forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, Milind Kulkarni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Viaduct: an extensible, optimizing compiler for secure distributed programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Web question answering with neurosymbolic program synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
When threads meet events: efficient and precise static race detection with origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Wire sorts: a language abstraction for safe hardware composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2021 · PLDI
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）