PLDI-B - HOPL IV

VenueOnline

Room namePLDI-B

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 09:35	Talks 1B: VerificationPLDI at PLDI-B +12h

09:00 5m Talk		Proof Repair across Type Equivalences PLDI Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani Northeastern University, John Leo Halfaya Research, Dan Grossman University of Washington DOI
09:05 5m Talk		Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes PLDI David Castro-Perez University of Kent, Francisco Ferreira Imperial College London, Lorenzo Gheri Imperial College London, Nobuko Yoshida Imperial College London DOI
09:10 5m Talk		Beyond the Elementary Representations of Program Invariants over Algebraic Data Types PLDI Yurii Kostyukov St. Petersburg State University; JetBrains Research, Dmitry Mordvinov St. Petersburg State University; JetBrains Research, Grigory Fedyukovich Florida State University DOI
09:15 5m Talk		*CoStar: A Verified ALL() Parser** PLDI Sam Lasser Tufts University, Chris Casinghino Draper, Kathleen Fisher Tufts University, Cody Roux Draper DOI
09:20 5m Talk		Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints PLDI Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft Research, Nikolaj Bjørner Microsoft Research DOI
09:25 5m Talk		Integration Verification across Software and Hardware for a Simple Embedded System PLDI Andres Erbsen Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology DOI
09:30 5m Talk		Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification PLDI Fei He Tsinghua University, Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University DOI

13:30 - 14:05	Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B +12h

13:30 5m Talk		Wire Sorts: A Language Abstraction for Safe Hardware Composition PLDI Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara DOI
13:35 5m Talk		Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations PLDI John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego DOI
13:40 5m Talk		Unqomp: Synthesizing Uncomputation in Quantum Circuits PLDI Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich DOI
13:45 5m Talk		Gleipnir: Toward Practical Error Analysis for Quantum Programs PLDI Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI
13:50 5m Talk		Quantum Abstract Interpretation PLDI Nengkun Yu UTS, Jens Palsberg University of California at Los Angeles DOI
13:55 5m Talk		Task Parallel Assembly Language for Uncompromising Parallelism PLDI Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University DOI
14:00 5m Talk		DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant PLDI Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University DOI Media Attached

21:00 - 21:35	Talks 1B: VerificationPLDI at PLDI-B

21:00 5m Talk		Proof Repair across Type Equivalences PLDI Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani Northeastern University, John Leo Halfaya Research, Dan Grossman University of Washington DOI
21:05 5m Talk		Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes PLDI David Castro-Perez University of Kent, Francisco Ferreira Imperial College London, Lorenzo Gheri Imperial College London, Nobuko Yoshida Imperial College London DOI
21:10 5m Talk		Beyond the Elementary Representations of Program Invariants over Algebraic Data Types PLDI Yurii Kostyukov St. Petersburg State University; JetBrains Research, Dmitry Mordvinov St. Petersburg State University; JetBrains Research, Grigory Fedyukovich Florida State University DOI
21:15 5m Talk		*CoStar: A Verified ALL() Parser** PLDI Sam Lasser Tufts University, Chris Casinghino Draper, Kathleen Fisher Tufts University, Cody Roux Draper DOI
21:20 5m Talk		Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints PLDI Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft Research, Nikolaj Bjørner Microsoft Research DOI
21:25 5m Talk		Integration Verification across Software and Hardware for a Simple Embedded System PLDI Andres Erbsen Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology DOI
21:30 5m Talk		Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification PLDI Fei He Tsinghua University, Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University DOI

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05	Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B

01:30 5m Talk		Wire Sorts: A Language Abstraction for Safe Hardware Composition PLDI Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara DOI
01:35 5m Talk		Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations PLDI John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego DOI
01:40 5m Talk		Unqomp: Synthesizing Uncomputation in Quantum Circuits PLDI Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich DOI
01:45 5m Talk		Gleipnir: Toward Practical Error Analysis for Quantum Programs PLDI Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI
01:50 5m Talk		Quantum Abstract Interpretation PLDI Nengkun Yu UTS, Jens Palsberg University of California at Los Angeles DOI
01:55 5m Talk		Task Parallel Assembly Language for Uncompromising Parallelism PLDI Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University DOI
02:00 5m Talk		DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant PLDI Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University DOI Media Attached

09:00 - 09:40	Talks 3B: Architectures and SystemsPLDI at PLDI-B +12h

09:00 5m Talk		Reticle: A Virtual Machine for Programming Modern FPGAs PLDI Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington DOI
09:05 5m Talk		Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 PLDI Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST DOI
09:10 5m Talk		Developer and User-Transparent Compiler Optimization for Interactive Applications PLDI Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook Link to publication DOI Media Attached
09:15 5m Talk		Perceus: Garbage Free Reference Counting with Reuse PLDI Alex Reinking Microsoft Research, Ningning Xie University of Toronto, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research DOI
09:20 5m Talk		Filling Typed Holes with Live GUIs PLDI Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago DOI Pre-print
09:25 5m Talk		Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions PLDI Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire DOI
09:30 5m Talk		Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems PLDI Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI
09:35 5m Talk		Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models PLDI Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University DOI

13:30 - 14:05	Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B +12h

13:30 5m Talk		Mirror: Making Lock-Free Data Structures Persistent PLDI Michal Friedman Technion, Erez Petrank Technion, Pedro Ramalhete Cisco Systems DOI
13:35 5m Talk		Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation PLDI Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University DOI
13:40 5m Talk		Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts PLDI Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago DOI
13:45 5m Talk		Alive2: Bounded Translation Validation for LLVM PLDI Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah DOI Pre-print
13:50 5m Talk		Incremental Whole-Program Analysis in Datalog with Lattices PLDI Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs DOI
13:55 5m Talk		Logical Bytecode Reduction PLDI Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles DOI
14:00 5m Talk		RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types PLDI Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI

21:00 - 21:40	Talks 3B: Architectures and SystemsPLDI at PLDI-B

21:00 5m Talk		Reticle: A Virtual Machine for Programming Modern FPGAs PLDI Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington DOI
21:05 5m Talk		Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 PLDI Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST DOI
21:10 5m Talk		Developer and User-Transparent Compiler Optimization for Interactive Applications PLDI Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook Link to publication DOI Media Attached
21:15 5m Talk		Perceus: Garbage Free Reference Counting with Reuse PLDI Alex Reinking Microsoft Research, Ningning Xie University of Toronto, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research DOI
21:20 5m Talk		Filling Typed Holes with Live GUIs PLDI Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago DOI Pre-print
21:25 5m Talk		Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions PLDI Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire DOI
21:30 5m Talk		Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems PLDI Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI
21:35 5m Talk		Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models PLDI Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University DOI

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05	Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B

01:30 5m Talk		Mirror: Making Lock-Free Data Structures Persistent PLDI Michal Friedman Technion, Erez Petrank Technion, Pedro Ramalhete Cisco Systems DOI
01:35 5m Talk		Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation PLDI Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University DOI
01:40 5m Talk		Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts PLDI Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago DOI
01:45 5m Talk		Alive2: Bounded Translation Validation for LLVM PLDI Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah DOI Pre-print
01:50 5m Talk		Incremental Whole-Program Analysis in Datalog with Lattices PLDI Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs DOI
01:55 5m Talk		Logical Bytecode Reduction PLDI Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles DOI
02:00 5m Talk		RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types PLDI Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI

09:00 - 09:40	Talks 5B: Defect Detection and RepairPLDI at PLDI-B +12h

09:00 5m Talk		Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing PLDI Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology DOI
09:05 5m Talk		Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction PLDI Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan DOI
09:10 5m Talk		Concolic Program Repair PLDI Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore DOI Pre-print
09:15 5m Talk		Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing PLDI Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK DOI
09:20 5m Talk		Path-Sensitive Sparse Analysis without Path Conditions PLDI Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
09:25 5m Talk		Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring PLDI Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI
09:30 5m Talk		SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis PLDI Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University DOI
09:35 5m Talk		When Threads Meet Events: Efficient and Precise Static Race Detection with Origins PLDI Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University DOI

13:30 - 14:00	Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B +12h

13:30 5m Talk		Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic PLDI Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University DOI
13:35 5m Talk		Example-Guided Synthesis of Relational Queries PLDI Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI
13:40 5m Talk		CompCertO: Compiling Certified Open C Components PLDI Jérémie Koenig Yale University, Zhong Shao Yale University DOI
13:45 5m Talk		On Probabilistic Termination of Functional Programs with Continuous Distributions PLDI Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford DOI
13:50 5m Talk		Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption PLDI Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University DOI
13:55 5m Talk		Polynomial Reachability Witnesses via Stellensätze PLDI Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology DOI

21:00 - 21:40	Talks 5B: Defect Detection and RepairPLDI at PLDI-B

21:00 5m Talk		Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing PLDI Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology DOI
21:05 5m Talk		Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction PLDI Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan DOI
21:10 5m Talk		Concolic Program Repair PLDI Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore DOI Pre-print
21:15 5m Talk		Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing PLDI Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK DOI
21:20 5m Talk		Path-Sensitive Sparse Analysis without Path Conditions PLDI Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
21:25 5m Talk		Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring PLDI Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI
21:30 5m Talk		SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis PLDI Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University DOI
21:35 5m Talk		When Threads Meet Events: Efficient and Precise Static Race Detection with Origins PLDI Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University DOI

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:00	Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B

01:30 5m Talk		Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic PLDI Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University DOI
01:35 5m Talk		Example-Guided Synthesis of Relational Queries PLDI Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI
01:40 5m Talk		CompCertO: Compiling Certified Open C Components PLDI Jérémie Koenig Yale University, Zhong Shao Yale University DOI
01:45 5m Talk		On Probabilistic Termination of Functional Programs with Continuous Distributions PLDI Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford DOI
01:50 5m Talk		Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption PLDI Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University DOI
01:55 5m Talk		Polynomial Reachability Witnesses via Stellensätze PLDI Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology DOI

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
PLDI-B	PLDI Talks 1B: Verification																																																						PLDI Talks 2B: Language Design and Programming Models																																																																																		PLDI Talks 1B: Verification

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
PLDI-B							PLDI Talks 2B: Language Design and Programming Models																																																																																		PLDI Talks 3B: Architectures and Systems																																																						PLDI Talks 4B: Concurrency, Compilation, and Debugging																																																																																		PLDI Talks 3B: Architectures and Systems

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
PLDI-B							PLDI Talks 4B: Concurrency, Compilation, and Debugging																																																																																		PLDI Talks 5B: Defect Detection and Repair																																																						PLDI Talks 6B: Applied Logics and Semantics																																																																						PLDI Talks 5B: Defect Detection and Repair

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00						30
PLDI-B							PLDI Talks 6B: Applied Logics and Semantics

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
PLDI-B	PLDI Proof Repair across Type Equivalences 09:00 - 09:05	PLDI Zooid: A DSL for Certified Multiparty Computation: From Mechanised Meta ... 09:05 - 09:10	PLDI Beyond the Elementary Representations of Program Invariants over Algebr ... 09:10 - 09:15	PLDI CoStar: A Verified ALL(*) Parser 09:15 - 09:20	PLDI Symbolic Boolean Derivatives for Efficiently Solving Extended Regular E ... 09:20 - 09:25	PLDI Integration Verification across Software and Hardware for a Simple Embe ... 09:25 - 09:30	PLDI Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Pr ... 09:30 - 09:35																																																PLDI Wire Sorts: A Language Abstraction for Safe Hardware Composition 13:30 - 13:35	PLDI Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Databas ... 13:35 - 13:40	PLDI Unqomp: Synthesizing Uncomputation in Quantum Circuits 13:40 - 13:45	PLDI Gleipnir: Toward Practical Error Analysis for Quantum Programs 13:45 - 13:50	PLDI Quantum Abstract Interpretation 13:50 - 13:55	PLDI Task Parallel Assembly Language for Uncompromising Parallelism 13:55 - 14:00	PLDI DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant 14:00 - 14:05																																																																												PLDI Proof Repair across Type Equivalences 21:00 - 21:05	PLDI Zooid: A DSL for Certified Multiparty Computation: From Mechanised Meta ... 21:05 - 21:10	PLDI Beyond the Elementary Representations of Program Invariants over Algebr ... 21:10 - 21:15	PLDI CoStar: A Verified ALL(*) Parser 21:15 - 21:20	PLDI Symbolic Boolean Derivatives for Efficiently Solving Extended Regular E ... 21:20 - 21:25	PLDI Integration Verification across Software and Hardware for a Simple Embe ... 21:25 - 21:30	PLDI Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Pr ... 21:30 - 21:35

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
PLDI-B							PLDI Wire Sorts: A Language Abstraction for Safe Hardware Composition 01:30 - 01:35	PLDI Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Databas ... 01:35 - 01:40	PLDI Unqomp: Synthesizing Uncomputation in Quantum Circuits 01:40 - 01:45	PLDI Gleipnir: Toward Practical Error Analysis for Quantum Programs 01:45 - 01:50	PLDI Quantum Abstract Interpretation 01:50 - 01:55	PLDI Task Parallel Assembly Language for Uncompromising Parallelism 01:55 - 02:00	PLDI DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant 02:00 - 02:05																																																																												PLDI Reticle: A Virtual Machine for Programming Modern FPGAs 09:00 - 09:05	PLDI Revamping Hardware Persistency Models: View-Based and Axiomatic Persist ... 09:05 - 09:10	PLDI Developer and User-Transparent Compiler Optimization for Interactive Ap ... 09:10 - 09:15	PLDI Perceus: Garbage Free Reference Counting with Reuse 09:15 - 09:20	PLDI Filling Typed Holes with Live GUIs 09:20 - 09:25	PLDI Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions 09:25 - 09:30	PLDI Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 09:30 - 09:35	PLDI Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightwe ... 09:35 - 09:40																																															PLDI Mirror: Making Lock-Free Data Structures Persistent 13:30 - 13:35	PLDI Fluid: A Framework for Approximate Concurrency via Controlled Dependenc ... 13:35 - 13:40	PLDI Frequent Background Polling on a Shared Thread, using Light-Weight Comp ... 13:40 - 13:45	PLDI Alive2: Bounded Translation Validation for LLVM 13:45 - 13:50	PLDI Incremental Whole-Program Analysis in Datalog with Lattices 13:50 - 13:55	PLDI Logical Bytecode Reduction 13:55 - 14:00	PLDI RefinedC: Automating the Foundational Verification of C Code with Refin ... 14:00 - 14:05																																																																												PLDI Reticle: A Virtual Machine for Programming Modern FPGAs 21:00 - 21:05	PLDI Revamping Hardware Persistency Models: View-Based and Axiomatic Persist ... 21:05 - 21:10	PLDI Developer and User-Transparent Compiler Optimization for Interactive Ap ... 21:10 - 21:15	PLDI Perceus: Garbage Free Reference Counting with Reuse 21:15 - 21:20	PLDI Filling Typed Holes with Live GUIs 21:20 - 21:25	PLDI Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions 21:25 - 21:30	PLDI Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 21:30 - 21:35	PLDI Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightwe ... 21:35 - 21:40

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
PLDI-B							PLDI Mirror: Making Lock-Free Data Structures Persistent 01:30 - 01:35	PLDI Fluid: A Framework for Approximate Concurrency via Controlled Dependenc ... 01:35 - 01:40	PLDI Frequent Background Polling on a Shared Thread, using Light-Weight Comp ... 01:40 - 01:45	PLDI Alive2: Bounded Translation Validation for LLVM 01:45 - 01:50	PLDI Incremental Whole-Program Analysis in Datalog with Lattices 01:50 - 01:55	PLDI Logical Bytecode Reduction 01:55 - 02:00	PLDI RefinedC: Automating the Foundational Verification of C Code with Refin ... 02:00 - 02:05																																																																												PLDI Test-Case Reduction and Deduplication Almost for Free with Transformati ... 09:00 - 09:05	PLDI Execution Reconstruction: Harnessing Failure Reoccurrences for Failure ... 09:05 - 09:10	PLDI Concolic Program Repair 09:10 - 09:15	PLDI Automated Conformance Testing for JavaScript Engines via Deep Compiler ... 09:15 - 09:20	PLDI Path-Sensitive Sparse Analysis without Path Conditions 09:20 - 09:25	PLDI Repairing Serializability Bugs in Distributed Database Programs via Aut ... 09:25 - 09:30	PLDI SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program ... 09:30 - 09:35	PLDI When Threads Meet Events: Efficient and Precise Static Race Detection w ... 09:35 - 09:40																																															PLDI Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Sepa ... 13:30 - 13:35	PLDI Example-Guided Synthesis of Relational Queries 13:35 - 13:40	PLDI CompCertO: Compiling Certified Open C Components 13:40 - 13:45	PLDI On Probabilistic Termination of Functional Programs with Continuous Dis ... 13:45 - 13:50	PLDI Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption 13:50 - 13:55	PLDI Polynomial Reachability Witnesses via Stellensätze 13:55 - 14:00																																																																	PLDI Test-Case Reduction and Deduplication Almost for Free with Transformati ... 21:00 - 21:05	PLDI Execution Reconstruction: Harnessing Failure Reoccurrences for Failure ... 21:05 - 21:10	PLDI Concolic Program Repair 21:10 - 21:15	PLDI Automated Conformance Testing for JavaScript Engines via Deep Compiler ... 21:15 - 21:20	PLDI Path-Sensitive Sparse Analysis without Path Conditions 21:20 - 21:25	PLDI Repairing Serializability Bugs in Distributed Database Programs via Aut ... 21:25 - 21:30	PLDI SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program ... 21:30 - 21:35	PLDI When Threads Meet Events: Efficient and Precise Static Race Detection w ... 21:35 - 21:40

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	1:00			15			30			45
PLDI-B							PLDI Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Sepa ... 01:30 - 01:35	PLDI Example-Guided Synthesis of Relational Queries 01:35 - 01:40	PLDI CompCertO: Compiling Certified Open C Components 01:40 - 01:45	PLDI On Probabilistic Termination of Functional Programs with Continuous Dis ... 01:45 - 01:50	PLDI Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption 01:50 - 01:55	PLDI Polynomial Reachability Witnesses via Stellensätze 01:55 - 02:00

Room information: PLDI-B

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Room information: PLDI-B

Program Display Configuration

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change

Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change