Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021
PLDI
Toggle navigation
Attending
Venue: Online
Registration
Code of Conduct
Sponsorship
Program
Complete Program
Your Program
Filter by Day
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Wed 23 Jun
Thu 24 Jun
Fri 25 Jun
Sat 26 Jun
Tracks
PLDI 2021
Ask Me Anything
CARES
PLDI
Invited Talks
Research Artifacts
Tutorials
- Beyond Weak Memory Consistency: The Challenges of Memory Persistency
- IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
- Implementing smart contract security analyses using the MadMax/Gigahorse framework
Workshops and Tutorials
Social
SRC
Student Volunteering
Sponsors
Co-hosted Conferences
HOPL IV
HOPL IV
HOPL IV
Papers
ISMM
LCTES
Workshops
ARRAY
Infer Practitioners
MAPS
PLMW@PLDI
PLanQC
SOAP
Organization
PLDI 2021 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
PLDI
Research Artifacts
SRC
Student Volunteering
Contributors
People Index
Co-hosted Conferences
HOPL IV
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
Infer Practitioners
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
PLanQC
Organizing Committee
Program Committee
SOAP
Invited Speakers
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2021
(
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
Sat 12 Oct 04:27