Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with
PLDI 2021
Toggle navigation
Attending
Venue: Online
Venue: Online
Sponsoring HOPL IV
Accommodation
Visa
Registration
Program
HOPL IV Program
Your Program
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Track/Call
Organization
HOPL IV Committees
Organizing Committee
Steering Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2021
(
series
) /
HOPL IV
(
series
) /
Online
/
Room information: PLDI-B
Venue
Online
Room name
PLDI-B
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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: Verification
PLDI
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 Models
PLDI
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: Verification
PLDI
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 Models
PLDI
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 Systems
PLDI
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 Debugging
PLDI
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 Systems
PLDI
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 Debugging
PLDI
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 Repair
PLDI
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 Semantics
PLDI
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 Repair
PLDI
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 Semantics
PLDI
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
x
Mon 9 Dec 03:59