PLDI 2021
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)
Powered by
Conference Publishing Consulting

42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021), June 20–25, 2021, Virtual, Canada

PLDI 2021 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T V W X Y Z

Acar, Umut A. PLDI '21: "Task Parallel Assembly Language ..."
Acay, Coşku PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Agrawal, Gagan PLDI '21: "DNNFusion: Accelerating Deep ..."
Aiken, Alex PLDI '21: "Adaptive Restarts for Stochastic ..."
Alaghi, Armin PLDI '21: "Porcupine: A Synthesizing ..."
Alonso, Gustavo PLDI '21: "Compiler-Assisted Object Inlining ..."
Alur, Rajeev PLDI '21: "Example-Guided Synthesis of ..."
Anderson, Daniel PLDI '21: "Concurrent Deferred Reference ..."
Asadi, Ali PLDI '21: "Polynomial Reachability Witnesses ..."
Baader, Maximilian PLDI '21: "Fast and Precise Certification ..."
Balkind, Jonathan PLDI '21: "Wire Sorts: A Language Abstraction ..."
Bastani, Osbert PLDI '21: "Web Question Answering with ..."
Basu, Nilanjana PLDI '21: "Frequent Background Polling ..."
Baudart, Guillaume PLDI '21: "Compiling Stan to Generative ..."
Bergmann, Gábor PLDI '21: "Incremental Whole-Program ..."
Beutner, Raven PLDI '21: "On Probabilistic Termination ..."
Bhatotia, Pramod PLDI '21: "Execution Reconstruction: ..."
Bian, Lizhong PLDI '21: "Automated Conformance Testing ..."
Bichsel, Benjamin PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Bielik, Pavol PLDI '21: "Robustness Certification with ..."
Birkedal, Lars PLDI '21: "Transfinite Iris: Resolving ..."
Bjørner, Nikolaj PLDI '21: "Symbolic Boolean Derivatives ..."
Blelloch, Guy E. PLDI '21: "Concurrent Deferred Reference ..."
Blinn, Andrew PLDI '21: "Filling Typed Holes with Live ..."
Bonaert, Gregory PLDI '21: "Fast and Precise Certification ..."
Brown, Fraser PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Bruno, Rodrigo PLDI '21: "Compiler-Assisted Object Inlining ..."
Burroni, Javier PLDI '21: "Compiling Stan to Generative ..."
Cai, Yuandao PLDI '21: "Canary: Practical Static Detection ..."
Campagna, Giovanni PLDI '21: "DIY Assistant: A Multi-modal ..."
Campanoni, Simone PLDI '21: "Task Parallel Assembly Language ..."
Cary, Luc PLDI '21: "DreamCoder: Bootstrapping ..."
Casinghino, Chris PLDI '21: "CoStar: A Verified ALL(*) ..."
Castro-Perez, David PLDI '21: "Zooid: A DSL for Certified ..."
Ceze, Luis PLDI '21: "Reticle: A Virtual Machine ..."
Chang, Bor-Yuh Evan PLDI '21: "Demanded Abstract Interpretation ..."
Chatterjee, Krishnendu PLDI '21: "Proving Non-termination by ..." PLDI '21: "Quantitative Analysis of Assertion ..." PLDI '21: "Polynomial Reachability Witnesses ..."
Chen, Qiaochu PLDI '21: "Web Question Answering with ..."
Cheng, Bin PLDI '21: "AKG: Automatic Kernel Generation ..."
Cheng, Yun PLDI '21: "AKG: Automatic Kernel Generation ..."
Chlipala, Adam PLDI '21: "Integration Verification across ..."
Cho, Kyeongmin PLDI '21: "Revamping Hardware Persistency ..."
Cho, Minki PLDI '21: "Modular Data-Race-Freedom ..."
Choi, Euirim PLDI '21: "DIY Assistant: A Multi-modal ..."
Choi, Joonwon PLDI '21: "Integration Verification across ..."
Chong, Frederic T. PLDI '21: "Gleipnir: Toward Practical ..."
Christensen, Michael PLDI '21: "Wire Sorts: A Language Abstraction ..."
Chugh, Ravi PLDI '21: "Filling Typed Holes with Live ..."
Collins, Nick PLDI '21: "Filling Typed Holes with Live ..."
Cowan, Meghan PLDI '21: "Porcupine: A Synthesizing ..."
Dangwal, Deeksha PLDI '21: "Porcupine: A Synthesizing ..."
Dao, Thanh Tuan PLDI '21: "DeepCuts: A Deep Learning ..."
Da Silva, Dilma PLDI '21: "When Threads Meet Events: ..."
Delaware, Benjamin PLDI '21: "Repairing Serializability ..."
De Moura, Leonardo PLDI '21: "Perceus: Garbage Free Reference ..."
Di, Peng PLDI '21: "AKG: Automatic Kernel Generation ..."
Dillig, Isil PLDI '21: "Web Question Answering with ..." PLDI '21: "Synthesizing Data Structure ..."
Dimitrov, Dimitar I. PLDI '21: "Fast and Precise Certification ..."
Dinda, Peter PLDI '21: "Task Parallel Assembly Language ..."
Dolan, Stephen PLDI '21: "Retrofitting Effect Handlers ..."
Donaldson, Alastair F. PLDI '21: "Test-Case Reduction and Deduplication ..."
Dreyer, Derek PLDI '21: "RefinedC: Automating the Foundational ..." PLDI '21: "Transfinite Iris: Resolving ..."
D'Souza, Deepak PLDI '21: "Specification Synthesis with ..."
Durrett, Greg PLDI '21: "Web Question Answering with ..."
Ellis, Kevin PLDI '21: "DreamCoder: Bootstrapping ..."
Ellis, Tom PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Erbsen, Andres PLDI '21: "Integration Verification across ..."
Erdweg, Sebastian PLDI '21: "Incremental Whole-Program ..." PLDI '21: "Concise, Type-Safe, and Efficient ..."
Eriksson, Jakob PLDI '21: "Frequent Background Polling ..."
Fan, Hongyu PLDI '21: "Satisfiability Modulo Ordering ..."
Fang, Dingyi PLDI '21: "Automated Conformance Testing ..."
Farzan, Azadeh PLDI '21: "Phased Synthesis of Divide ..."
Fedyukovich, Grigory PLDI '21: "Specification Synthesis with ..." PLDI '21: "Beyond the Elementary Representations ..."
Feng, Weijie PLDI '21: "Boosting SMT Solver Performance ..."
Feng, Xinyu PLDI '21: "Abstraction for Conflict-Free ..."
Ferreira, Francisco PLDI '21: "Zooid: A DSL for Certified ..."
Fischer, Michael H. PLDI '21: "DIY Assistant: A Multi-modal ..."
Fisher, Kathleen PLDI '21: "CoStar: A Verified ALL(*) ..."
Fitzgibbon, Andrew PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Fonseca, Pedro PLDI '21: "Execution Reconstruction: ..."
Foster, Jeffrey S. PLDI '21: "RbSyn: Type- and Effect-Guided ..."
Friedman, Michal PLDI '21: "Mirror: Making Lock-Free Data ..."
Fu, Hongfei PLDI '21: "Quantitative Analysis of Assertion ..." PLDI '21: "Polynomial Reachability Witnesses ..."
Gadepally, Vijay PLDI '21: "Bliss: Auto-tuning Complex ..."
Gäher, Lennard PLDI '21: "Transfinite Iris: Resolving ..."
Gancher, Joshua PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Gao, Xiong PLDI '21: "AKG: Automatic Kernel Generation ..."
Garg, Deepak PLDI '21: "RefinedC: Automating the Foundational ..."
Gehr, Timon PLDI '21: "Robustness Certification with ..."
Geng, Zhen PLDI '21: "AKG: Automatic Kernel Generation ..."
Gheri, Lorenzo PLDI '21: "Zooid: A DSL for Certified ..."
Goharshady, Amir Kafshdar PLDI '21: "Quantitative Analysis of Assertion ..." PLDI '21: "Polynomial Reachability Witnesses ..."
Goharshady, Ehsan Kafshdar PLDI '21: "Proving Non-termination by ..."
Gottfried, Benjamin PLDI '21: "Vectorized Secure Evaluation ..."
Govindaraj, Vineetha PLDI '21: "Fluid: A Framework for Approximate ..."
Gratzer, Daniel PLDI '21: "Transfinite Iris: Resolving ..."
Grossman, Dan PLDI '21: "Proof Repair across Type Equivalences ..." PLDI '21: "Reticle: A Virtual Machine ..."
Gruetter, Samuel PLDI '21: "Integration Verification across ..."
Grunske, Lars PLDI '21: "Concolic Program Repair ..."
Gu, Ronghui PLDI '21: "Gleipnir: Toward Practical ..."
Guan, Jiexiong PLDI '21: "DNNFusion: Accelerating Deep ..."
Guria, Sankha Narayan PLDI '21: "RbSyn: Type- and Effect-Guided ..."
Hägele, Alexander PLDI '21: "Robustness Certification with ..."
Hale, Kyle PLDI '21: "Task Parallel Assembly Language ..."
Hardavellas, Nikos PLDI '21: "Task Parallel Assembly Language ..."
Hardekopf, Ben PLDI '21: "Wire Sorts: A Language Abstraction ..."
Hazelwood, Kim PLDI '21: "Developer and User-Transparent ..."
He, Fei PLDI '21: "Satisfiability Modulo Ordering ..."
He, Jingxuan PLDI '21: "Learning to Find Naming Issues ..."
Hewitt, Luke PLDI '21: "DreamCoder: Bootstrapping ..."
Hirzel, Martin PLDI '21: "Compiling Stan to Generative ..."
Ho, Michael PLDI '21: "Unleashing the Hidden Power ..."
Hoffmann, Jan PLDI '21: "Central Moment Analysis for ..." PLDI '21: "Sound Probabilistic Inference ..."
Hu, Xiaowen PLDI '21: "An Efficient Interpreter for ..."
Huang, Jeff PLDI '21: "When Threads Meet Events: ..."
Huang, Songfang PLDI '21: "Automated Conformance Testing ..."
Hui, John PLDI '21: "Gleipnir: Toward Practical ..."
Hur, Chung-Kil PLDI '21: "Alive2: Bounded Translation ..." PLDI '21: "Modular Data-Race-Freedom ..."
Iooss, Guillaume PLDI '21: "IOOpt: Automatic Derivation ..."
Itzhaky, Shachar PLDI '21: "Cyclic Program Synthesis ..."
Jaffer, Sadiq PLDI '21: "Retrofitting Effect Handlers ..."
Jagannathan, Suresh PLDI '21: "Repairing Serializability ..."
Jensen, Thomas PLDI '21: "Trace-Based Control-Flow Analysis ..."
Ji, Kai PLDI '21: "JPortal: Precise and Efficient ..."
Jia, Limin PLDI '21: "Automatically Enforcing Fresh ..." PLDI '21: "SyRust: Automatic Testing ..."
Jiang, Huaipan PLDI '21: "Fluid: A Framework for Approximate ..."
Jin, Xuefeng PLDI '21: "AKG: Automatic Kernel Generation ..."
Jordan, Herbert PLDI '21: "An Efficient Interpreter for ..."
Jovanovic, Vojin PLDI '21: "Compiler-Assisted Object Inlining ..."
Jung, Wookeun PLDI '21: "DeepCuts: A Deep Learning ..."
Kalhauge, Christian Gram PLDI '21: "Logical Bytecode Reduction ..."
Kandemir, Mahmut Taylan PLDI '21: "Fluid: A Framework for Approximate ..." PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Kang, Jeehoon PLDI '21: "Revamping Hardware Persistency ..."
Karakoy, Mustafa PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Karpiński, Antoni PLDI '21: "Test-Case Reduction and Deduplication ..."
Kasikci, Baris PLDI '21: "Execution Reconstruction: ..."
Kelly, Tom PLDI '21: "Retrofitting Effect Handlers ..."
Kincaid, Zachary PLDI '21: "Termination Analysis without ..."
Koenig, Jason R. PLDI '21: "Adaptive Restarts for Stochastic ..."
Koenig, Jérémie PLDI '21: "CompCertO: Compiling Certified ..."
Kostyukov, Yurii PLDI '21: "Beyond the Elementary Representations ..."
Krebbers, Robbert PLDI '21: "RefinedC: Automating the Foundational ..." PLDI '21: "Transfinite Iris: Resolving ..."
Kulkarni, Milind PLDI '21: "Vectorized Secure Evaluation ..."
Kumar, Amrit PLDI '21: "Practical Smart Contract Sharding ..."
Lahav, Ori PLDI '21: "Modular Data-Race-Freedom ..."
Lam, Monica S. PLDI '21: "DIY Assistant: A Multi-modal ..."
Lamoreaux, Aaron PLDI '21: "Web Question Answering with ..."
Lasser, Sam PLDI '21: "CoStar: A Verified ALL(*) ..."
Lawrence, Alan PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Leather, Hugh PLDI '21: "Developer and User-Transparent ..."
Lee, Cheng-Chun PLDI '21: "Learning to Find Naming Issues ..."
Lee, Jaejin PLDI '21: "DeepCuts: A Deep Learning ..."
Lee, Juneyoung PLDI '21: "Alive2: Bounded Translation ..."
Lee, Sung-Hwan PLDI '21: "Revamping Hardware Persistency ..." PLDI '21: "Modular Data-Race-Freedom ..."
Lee, Vincent T. PLDI '21: "Porcupine: A Synthesizing ..."
Lei, Yu PLDI '21: "Unleashing the Hidden Power ..."
Leijen, Daan PLDI '21: "Perceus: Garbage Free Reference ..."
Leo, John PLDI '21: "Proof Repair across Type Equivalences ..."
Lepigre, Rodolphe PLDI '21: "RefinedC: Automating the Foundational ..."
Lerner, Sorin PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Li, Bojie PLDI '21: "AKG: Automatic Kernel Generation ..."
Li, Jing PLDI '21: "Boosting SMT Solver Performance ..."
Li, Li PLDI '21: "Unleashing the Hidden Power ..."
Li, Xuandong PLDI '21: "JPortal: Precise and Efficient ..." PLDI '21: "Chianina: An Evolving Graph ..."
Li, Yanze PLDI '21: "When Threads Meet Events: ..."
Li, Yue PLDI '21: "Chianina: An Evolving Graph ..."
Li, Zheng PLDI '21: "AKG: Automatic Kernel Generation ..."
Liang, Hongjin PLDI '21: "Abstraction for Conflict-Free ..."
Lim, Jay P. PLDI '21: "High Performance Correctly ..."
Liu, Binbin PLDI '21: "Boosting SMT Solver Performance ..."
Liu, Bozhen PLDI '21: "When Threads Meet Events: ..."
Liu, Peiming PLDI '21: "When Threads Meet Events: ..."
Liu, Zhengyang PLDI '21: "Alive2: Bounded Translation ..."
Lopes, Nuno P. PLDI '21: "Alive2: Bounded Translation ..."
Lu, Shenming PLDI '21: "Chianina: An Evolving Graph ..."
Lucia, Brandon PLDI '21: "Automatically Enforcing Fresh ..."
Ma, Jiacheng PLDI '21: "Execution Reconstruction: ..."
Madhavapeddy, Anil PLDI '21: "Retrofitting Effect Handlers ..."
Madhukar, Kumar PLDI '21: "Specification Synthesis with ..."
Mahdavi, Mohammad PLDI '21: "Polynomial Reachability Witnesses ..."
Malik, Raghav PLDI '21: "Vectorized Secure Evaluation ..."
Mandel, Louis PLDI '21: "Compiling Stan to Generative ..."
Mansinghka, Vikash K. PLDI '21: "SPPL: Probabilistic Programming ..."
Martins, Ruben PLDI '21: "SyRust: Automatic Testing ..."
Maselco, André Perez PLDI '21: "Test-Case Reduction and Deduplication ..."
Maziarz, Krzysztof PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
McMahan, Joseph PLDI '21: "Reticle: A Virtual Machine ..."
Memarian, Kayvan PLDI '21: "RefinedC: Automating the Foundational ..."
Milizia, Stefano PLDI '21: "Test-Case Reduction and Deduplication ..."
Ming, Jiang PLDI '21: "Unleashing the Hidden Power ..." PLDI '21: "Boosting SMT Solver Performance ..."
Mirman, Matthew PLDI '21: "Robustness Certification with ..."
Montagu, Benoît PLDI '21: "Trace-Based Control-Flow Analysis ..."
Montanari, Claudio PLDI '21: "Frequent Background Polling ..."
Moon, David PLDI '21: "Filling Typed Holes with Live ..."
Morales, Lucas PLDI '21: "DreamCoder: Bootstrapping ..."
Mordvinov, Dmitry PLDI '21: "Beyond the Elementary Representations ..."
Morihata, Akimasa PLDI '21: "Reverse Engineering for Reduction ..."
Mpeis, Paschalis PLDI '21: "Developer and User-Transparent ..."
Myers, Andrew C. PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Nagar, Kartik PLDI '21: "Repairing Serializability ..."
Nagarakatte, Santosh PLDI '21: "High Performance Correctly ..."
Naik, Aaditya PLDI '21: "Example-Guided Synthesis of ..."
Naik, Mayur PLDI '21: "Example-Guided Synthesis of ..."
Newton, Ryan R. PLDI '21: "Task Parallel Assembly Language ..."
Nicolet, Victor PLDI '21: "Phased Synthesis of Divide ..."
Nie, Wang PLDI '21: "AKG: Automatic Kernel Generation ..."
Nikolaev, Ruslan PLDI '21: "Snapshot-Free, Transparent, ..."
Niu, Wei PLDI '21: "DNNFusion: Accelerating Deep ..."
Noller, Yannic PLDI '21: "Concolic Program Repair ..."
Novotný, Petr PLDI '21: "Proving Non-termination by ..."
Nye, Maxwell PLDI '21: "DreamCoder: Bootstrapping ..."
Olivry, Auguste PLDI '21: "IOOpt: Automatic Derivation ..."
Omar, Cyrus PLDI '21: "Filling Typed Holes with Live ..."
Ong, Luke PLDI '21: "On Probabilistic Termination ..."
Pacak, André PLDI '21: "Concise, Type-Safe, and Efficient ..."
Padon, Oded PLDI '21: "Adaptive Restarts for Stochastic ..."
Pailoor, Shankara PLDI '21: "Synthesizing Data Structure ..."
Palsberg, Jens PLDI '21: "Logical Bytecode Reduction ..." PLDI '21: "Quantum Abstract Interpretation ..."
Pan, Qiuhong PLDI '21: "Chianina: An Evolving Graph ..."
Paradis, Anouk PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Păsăreanu, Corina S. PLDI '21: "SyRust: Automatic Testing ..."
Patel, Tirthak PLDI '21: "Bliss: Auto-tuning Complex ..."
Peleg, Hila PLDI '21: "Cyclic Program Synthesis ..."
Petoumenos, Pavlos PLDI '21: "Developer and User-Transparent ..."
Petrank, Erez PLDI '21: "Mirror: Making Lock-Free Data ..."
Peyton Jones, Simon PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Pîrlea, George PLDI '21: "Practical Smart Contract Sharding ..."
Polikarpova, Nadia PLDI '21: "Cyclic Program Synthesis ..."
Porter, RanDair PLDI '21: "Proof Repair across Type Equivalences ..."
Prabhu, Sumanth PLDI '21: "Specification Synthesis with ..."
Quinn, Andrew PLDI '21: "Execution Reconstruction: ..."
Raad, Azalea PLDI '21: "Revamping Hardware Persistency ..."
Raghothaman, Mukund PLDI '21: "Example-Guided Synthesis of ..."
Rahmani, Kia PLDI '21: "Repairing Serializability ..."
Rainey, Mike PLDI '21: "Task Parallel Assembly Language ..."
Ramalhete, Pedro PLDI '21: "Mirror: Making Lock-Free Data ..."
Rastello, Fabrice PLDI '21: "IOOpt: Automatic Derivation ..."
Ravindran, Binoy PLDI '21: "Snapshot-Free, Transparent, ..."
Raychev, Veselin PLDI '21: "Learning to Find Naming Issues ..."
Reagen, Brandon PLDI '21: "Porcupine: A Synthesizing ..."
Recto, Rolph PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Regehr, John PLDI '21: "Alive2: Bounded Translation ..."
Reinking, Alex PLDI '21: "Perceus: Garbage Free Reference ..."
Ren, Bin PLDI '21: "DNNFusion: Accelerating Deep ..."
Ren, Xiaolei PLDI '21: "Unleashing the Hidden Power ..."
Renner, John PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Reps, Thomas PLDI '21: "Central Moment Analysis for ..." PLDI '21: "Sound Probabilistic Inference ..."
Rinard, Martin C. PLDI '21: "SPPL: Probabilistic Programming ..."
Ringer, Talia PLDI '21: "Proof Repair across Type Equivalences ..."
Rountev, Atanas PLDI '21: "IOOpt: Automatic Derivation ..."
Roux, Cody PLDI '21: "CoStar: A Verified ALL(*) ..."
Rowe, Reuben N. S. PLDI '21: "Cyclic Program Synthesis ..."
Roy, Rohan Basu PLDI '21: "Bliss: Auto-tuning Complex ..."
Roychoudhury, Abhik PLDI '21: "Concolic Program Repair ..."
Ryoo, Jihyun PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Saad, Feras A. PLDI '21: "SPPL: Probabilistic Programming ..."
Sablé-Meyer, Mathias PLDI '21: "DreamCoder: Bootstrapping ..."
Sadayappan, P. PLDI '21: "IOOpt: Automatic Derivation ..."
Sammler, Michael PLDI '21: "RefinedC: Automating the Foundational ..."
Sampson, Adrian PLDI '21: "Reticle: A Virtual Machine ..."
Sampson, Jack PLDI '21: "Fluid: A Framework for Approximate ..."
Sanchez-Stern, Alex PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Sands, Nathaniel PLDI '21: "Example-Guided Synthesis of ..."
Sato, Shigeyuki PLDI '21: "Reverse Engineering for Reduction ..."
Scholz, Bernhard PLDI '21: "An Efficient Interpreter for ..."
Sergey, Ilya PLDI '21: "Practical Smart Contract Sharding ..." PLDI '21: "Cyclic Program Synthesis ..."
Shao, Zhong PLDI '21: "CompCertO: Compiling Certified ..."
Shariffdeen, Ridwan PLDI '21: "Concolic Program Repair ..."
Sherwood, Timothy PLDI '21: "Wire Sorts: A Language Abstraction ..."
Shi, Elaine PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Shi, Qingkai PLDI '21: "Path-Sensitive Sparse Analysis ..."
Shi, Yunong PLDI '21: "Gleipnir: Toward Practical ..."
Shinnar, Avraham PLDI '21: "Compiling Stan to Generative ..."
Singhal, Vidush PLDI '21: "Vectorized Secure Evaluation ..."
Sivaramakrishnan, KC PLDI '21: "Retrofitting Effect Handlers ..."
Solar-Lezama, Armando PLDI '21: "DreamCoder: Bootstrapping ..."
Sotoudeh, Matthew PLDI '21: "Provable Repair of Deep Neural ..."
Spies, Simon PLDI '21: "Transfinite Iris: Resolving ..."
Sridharan, Manu PLDI '21: "Demanded Abstract Interpretation ..."
Stanford, Caleb PLDI '21: "Symbolic Boolean Derivatives ..."
Stefan, Deian PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Steffen, Samuel PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Stein, Benno PLDI '21: "Demanded Abstract Interpretation ..."
Sun, Xiaoyang PLDI '21: "Automated Conformance Testing ..."
Sun, Yican PLDI '21: "Quantitative Analysis of Assertion ..."
Sun, Zhihang PLDI '21: "Satisfiability Modulo Ordering ..."
Surbatovich, Milijana PLDI '21: "Automatically Enforcing Fresh ..."
Szabó, Tamás PLDI '21: "Incremental Whole-Program ..." PLDI '21: "Concise, Type-Safe, and Efficient ..."
Takashima, Yoshiki PLDI '21: "SyRust: Automatic Testing ..."
Tan, Shin Hwei PLDI '21: "Automated Conformance Testing ..."
Tang, Xulong PLDI '21: "Fluid: A Framework for Approximate ..." PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Tang, Zhanyong PLDI '21: "Automated Conformance Testing ..."
Tao, Runzhou PLDI '21: "Gleipnir: Toward Practical ..."
Tao, Wei PLDI '21: "JPortal: Precise and Efficient ..."
Tassarotti, Joseph PLDI '21: "Transfinite Iris: Resolving ..."
Teliman, Vasyl PLDI '21: "Test-Case Reduction and Deduplication ..."
Tenenbaum, Joshua B. PLDI '21: "DreamCoder: Bootstrapping ..."
Thakkar, Aalok PLDI '21: "Example-Guided Synthesis of ..."
Thakur, Aditya V. PLDI '21: "Provable Repair of Deep Neural ..."
Thomson, Paul PLDI '21: "Test-Case Reduction and Deduplication ..."
Tiwari, Devesh PLDI '21: "Bliss: Auto-tuning Complex ..."
Tollenaere, Nicolas PLDI '21: "IOOpt: Automatic Derivation ..."
Trippel, Caroline PLDI '21: "Porcupine: A Synthesizing ..."
Tsai, Chia-Che PLDI '21: "When Threads Meet Events: ..."
Van Horn, David PLDI '21: "RbSyn: Type- and Effect-Guided ..."
Veanes, Margus PLDI '21: "Symbolic Boolean Derivatives ..."
Vechev, Martin PLDI '21: "Robustness Certification with ..." PLDI '21: "Unqomp: Synthesizing Uncomputation ..." PLDI '21: "Learning to Find Naming Issues ..." PLDI '21: "Fast and Precise Certification ..."
Vega, Luis PLDI '21: "Reticle: A Virtual Machine ..."
Voysey, Ian PLDI '21: "Filling Typed Holes with Live ..."
Wang, Di PLDI '21: "Central Moment Analysis for ..." PLDI '21: "Sound Probabilistic Inference ..."
Wang, Haibo PLDI '21: "Automated Conformance Testing ..."
Wang, Jinyi PLDI '21: "Quantitative Analysis of Assertion ..."
Wang, Linzhang PLDI '21: "JPortal: Precise and Efficient ..." PLDI '21: "Chianina: An Evolving Graph ..."
Wang, Xinyu PLDI '21: "Web Question Answering with ..." PLDI '21: "Synthesizing Data Structure ..."
Wang, Yanzhi PLDI '21: "DNNFusion: Accelerating Deep ..."
Wang, Yifei PLDI '21: "JPortal: Precise and Efficient ..."
Wang, Yuepeng PLDI '21: "Synthesizing Data Structure ..."
Wang, Zheng PLDI '21: "Automated Conformance Testing ..."
Wei, Yuanhao PLDI '21: "Concurrent Deferred Reference ..."
White, Leo PLDI '21: "Retrofitting Effect Handlers ..."
Wimmer, Christian PLDI '21: "Compiler-Assisted Object Inlining ..."
Wong, Catherine PLDI '21: "DreamCoder: Bootstrapping ..."
Wood, Clark PLDI '21: "Integration Verification across ..."
Wu, Chen PLDI '21: "AKG: Automatic Kernel Generation ..."
Wu, Rongxin PLDI '21: "Path-Sensitive Sparse Analysis ..."
Xie, Ningning PLDI '21: "Perceus: Garbage Free Reference ..."
Xu, Dongpeng PLDI '21: "Boosting SMT Solver Performance ..."
Xu, Guoqing Harry PLDI '21: "JPortal: Precise and Efficient ..." PLDI '21: "Chianina: An Evolving Graph ..."
Yao, Jianan PLDI '21: "Gleipnir: Toward Practical ..."
Yao, Peisen PLDI '21: "Canary: Practical Static Detection ..." PLDI '21: "Path-Sensitive Sparse Analysis ..."
Yazdani, Nathaniel PLDI '21: "Proof Repair across Type Equivalences ..."
Ye, Guixin PLDI '21: "Automated Conformance Testing ..."
Yoshida, Nobuko PLDI '21: "Zooid: A DSL for Certified ..."
Yu, Nengkun PLDI '21: "Quantum Abstract Interpretation ..."
Yu, Qiaoyan PLDI '21: "Boosting SMT Solver Performance ..."
Zhang, Charles PLDI '21: "Canary: Practical Static Detection ..." PLDI '21: "Path-Sensitive Sparse Analysis ..."
Zhang, Danfeng PLDI '21: "Fluid: A Framework for Approximate ..."
Zhang, Haibo PLDI '21: "Fluid: A Framework for Approximate ..."
Zhang, Kun PLDI '21: "AKG: Automatic Kernel Generation ..."
Zhang, Renwei PLDI '21: "AKG: Automatic Kernel Generation ..."
Zhang, Yiyu PLDI '21: "Chianina: An Evolving Graph ..."
Zhao, David PLDI '21: "An Efficient Interpreter for ..."
Zhao, Hui PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Zhao, Jie PLDI '21: "AKG: Automatic Kernel Generation ..."
Zheng, Qilong PLDI '21: "Boosting SMT Solver Performance ..."
Zhu, Shaowei PLDI '21: "Termination Analysis without ..."
Žikelić, Đorđe PLDI '21: "Proving Non-termination by ..."
Zuo, Gefei PLDI '21: "Execution Reconstruction: ..."
Zuo, Zhiqiang PLDI '21: "JPortal: Precise and Efficient ..." PLDI '21: "Chianina: An Evolving Graph ..."

381 authors

proc time: 72.02