PLDI 2022
Mon 13 - Fri 17 June 2022
San Diego, California, United States
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
Program
Complete Program
Your Program
Filter by Day
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Tracks
PLDI 2022
Research Artifacts
PLDI
Tutorials
- Filling the gap between the JavaScript language specification and tools using the JISET family
- Making C Programs Safer with Checked C
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
Commute
EGRAPHS
Infer
MAPS
PLMW
SOAP
SOAP
- Static Analysis for Data Scientists
- Using static analysis to scale security at Meta
Organization
PLDI 2022 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
Program Committee
Commute
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2022
(
series
) /
The Catamaran Resort, San Diego
/
Room information: Kon-Tiki
Venue
The Catamaran Resort, San Diego
Room name
Kon-Tiki
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific 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 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:00
Keynote
PLDI
at
Kon-Tiki
Chair(s):
Isil Dillig
University of Texas at Austin
09:00
60m
Keynote
Getting Your Research Adopted
PLDI
Emery D. Berger
University of Massachusetts Amherst
10:30 - 11:50
Security
PLDI
at
Kon-Tiki
Chair(s):
Yu Feng
University of California, Santa Barbara
10:30
20m
Talk
Modular Information Flow Through Ownership
PLDI
Will Crichton
Stanford University
,
Marco Patrignani
University of Trento
,
Maneesh Agrawala
Stanford University
,
Pat Hanrahan
Stanford University, USA
Pre-print
10:50
20m
Talk
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
PLDI
Sankha Narayan Guria
University of Maryland, College Park
,
Niki Vazou
IMDEA Software Institute
,
Marco Guarnieri
IMDEA Software Institute
,
James Parker
Galois, Inc.
Pre-print
11:10
20m
Talk
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
PLDI
Nikhil Swamy
Microsoft Research
,
Tahina Ramananandro
Microsoft Research
,
Aseem Rastogi
Microsoft Research
,
Irina Spiridonova
Microsoft Research
,
Haobin Ni
Cornell University
,
Dmitry Malloy
Microsoft
,
Juan Vazquez
Microsoft
,
Michael Tang
Microsoft
,
Omar Cardona
Microsoft
,
Arti Gupta
Microsoft
11:30
20m
Talk
P4BID: Information Flow Control in P4
PLDI
Karuna Grewal
,
Loris D'Antoni
University of Wisconsin-Madison, USA
,
Justin Hsu
Cornell University
13:30 - 14:50
Synthesis I
PLDI
at
Kon-Tiki
Chair(s):
Ruben Martins
Carnegie Mellon University
13:30
20m
Talk
Type-Directed Program Synthesis for RESTful APIs
PLDI
Zheng Guo
University of California, San Diego
,
David Cao
University of California, San Diego
,
Davin Tjong
University of California, San Diego
,
Jean Yang
Akita Software
,
Cole Schlesinger
Akita Software
,
Nadia Polikarpova
University of California at San Diego
13:50
20m
Talk
Visualization Question Answering Using Introspective Program Synthesis
PLDI
Yanju Chen
University of California, Santa Barbara
,
Xifeng Yan
University of California, Santa Barbara
,
Yu Feng
University of California, Santa Barbara
14:10
20m
Talk
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
PLDI
Rui Dong
University of Michigan
,
Zhicheng Huang
University of Michigan
,
Ian Iong Lam
University of Michigan
,
Yan Chen
University of Michigan
,
Xinyu Wang
University of Michigan
Pre-print
14:30
20m
Talk
Synthesizing Analytical SQL Queries from Computation Demonstration
PLDI
Xiangyu Zhou
University of Washington
,
Rastislav Bodik
University of Washington
,
Alvin Cheung
University of California, Berkeley
,
Chenglong Wang
University of Washington, USA
15:30 - 16:50
Synthesis II
PLDI
at
Kon-Tiki
Chair(s):
Roopsha Samanta
Purdue University
15:30
20m
Talk
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
PLDI
Wonhyuk Choi
Columbia University
,
Bernd Finkbeiner
CISPA Helmholtz Center for Information Security
,
Ruzica Piskac
Yale University
,
Mark Santolucito
Barnard College, Columbia University, USA
Pre-print
15:50
20m
Talk
Recursion Synthesis with Unrealizability Witnesses
PLDI
Azadeh Farzan
University of Toronto
,
Danya Lette
University of Toronto
,
Victor Nicolet
University of Toronto
16:10
20m
Talk
“Synthesizing Input Grammars”: A Replication Study
PLDI
Bachir Bendrissou
CISPA Helmholtz Center for Information Security
,
Rahul Gopinath
CISPA, Germany
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
16:30
20m
Talk
TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS)
PLDI
Kensen Shi
Stanford University
,
David Bieber
Google Brain
,
Rishabh Singh
Google Brain
Link to publication
DOI
Authorizer link
Pre-print
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:00
Keynote
PLDI
at
Kon-Tiki
Chair(s):
Ranjit Jhala
University of California at San Diego
09:00
60m
Keynote
Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With
PLDI
Margo Seltzer
University of British Columbia
10:30 - 11:50
Distribution
PLDI
at
Kon-Tiki
Chair(s):
Constantin Enea
Ecole Polytechnique / LIX / CNRS
10:30
20m
Talk
Certified Mergeable Replicated Data Types
PLDI
Vimala Soundarapandian
IIT Madras
,
Adharsh Kamath
NITK Surathkal
,
Kartik Nagar
IIT Madras
,
KC Sivaramakrishnan
IIT Madras and Tarides
Pre-print
10:50
20m
Talk
Hamband: RDMA Replicated Data Types
PLDI
Farzin Houshmand
University of California, Riverside
,
Javad Saberlatibari
,
Mohsen Lesani
University of California at Riverside
11:10
20m
Talk
RunTime-Assisted Convergence in Replicated Data Types
PLDI
Gowtham Kaki
University of Colorado Boulder
,
Prasanth Prahladan
University of Colorado Boulder
,
Nicholas V. Lewchenko
University of Colorado Boulder
11:30
20m
Talk
Adore: Atomic Distributed Objects with Certified Reconfiguration
PLDI
Wolf Honore
Yale University
,
Ji-Yong Shin
Northeastern University
,
Jieung Kim
Yale University, USA
,
Zhong Shao
Yale University
Pre-print
13:30 - 14:50
Concurrency
PLDI
at
Kon-Tiki
Chair(s):
Mike Dodds
Galois, Inc.
13:30
20m
Talk
A Flexible Type System for Fearless Concurrency
PLDI
Mae Milano
University of California, Berkeley
,
Joshua Turcotti
University of California, Berkeley
,
Andrew C. Myers
Cornell University
13:50
20m
Talk
A Study of Real-world Data Races in Golang
PLDI
Milind Chabbi
Uber Technologies Inc.
,
Murali Krishna Ramanathan
Uber Technologies Inc.
14:10
20m
Talk
Checking Robustness to Weak Persistency Models
PLDI
Hamed Gorjiara
University of California, Irvine
,
Weiyu Luo
University of California, Irvine
,
Alex Lee
University of California, Irvine
,
Guoqing Harry Xu
University of California at Los Angeles
,
Brian Demsky
University of California, Irvine
14:30
20m
Talk
Sound Sequentialization for Concurrent Program Verification
PLDI
Azadeh Farzan
University of Toronto
,
Dominik Klumpp
University of Freiburg
,
Andreas Podelski
University of Freiburg, Germany
15:30 - 16:50
Semantics
PLDI
at
Kon-Tiki
Chair(s):
Nate Foster
Cornell University
15:30
20m
Talk
A Typed Continuation-Passing Translation for Lexical Effect Handlers
PLDI
Philipp Schuster
University of Tübingen
,
Jonathan Immanuel Brachthäuser
University of Tübingen
,
Marius Müller
University of Tübingen
,
Klaus Ostermann
University of Tuebingen
15:50
20m
Talk
Deep and Shallow Types for Gradual Languages
PLDI
Ben Greenman
Brown University
16:10
20m
Talk
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
PLDI
Michael Greenberg
Stevens Institute of Technology
,
Ryan Beckett
Microsoft Research, USA
,
Eric Campbell
Cornell University
DOI
Pre-print
16:30
20m
Talk
Semantic Soundness for Language Interoperability
PLDI
Daniel Patterson
Northeastern University
,
Noble Mushtak
Northeastern University
,
Andrew Wagner
Northeastern University
,
Amal Ahmed
Northeastern University (USA)
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 11:50
Hardware I
PLDI
at
Kon-Tiki
Chair(s):
Clément Pit-Claudel
EPFL, AWS
10:30
20m
Talk
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
PLDI
Jackson Woodruff
University of Edinburgh
,
Jordi Armengol-Estapé
University of Edinburgh
,
Sam Ainsworth
University of Edinburgh, UK
,
Michael F. P. O'Boyle
University of Edinburgh
10:50
20m
Talk
Exocompilation for Productive Programming of Hardware Accelerators
PLDI
Yuka Ikarashi
MIT
,
Gilbert Louis Bernstein
University of California at Berkeley
,
Alex Reinking
UC Berkeley
,
Hasan Genc
UC Berkeley
,
Jonathan Ragan-Kelley
MIT
11:10
20m
Talk
PDL: A High-Level Hardware Design Language for Pipelined Processors
PLDI
Drew Zagieboylo
Cornell University
,
Charles Sherk
Cornell University
,
G. Edward Suh
Cornell University / Facebook
,
Andrew C. Myers
Cornell University
11:30
20m
Talk
WARio: Efficient Code Generation for Intermittent Computing
PLDI
Vito Kortbeek
Delft University of Technology
,
Souradip Ghosh
Carnegie Mellon University
,
Josiah Hester
Northwestern University
,
Simone Campanoni
Northwestern University, USA
,
Przemysław Pawełczak
Delft University of Technology
DOI
Pre-print
13:30 - 14:50
Verification I
PLDI
at
Kon-Tiki
Chair(s):
Ralf Jung
MPI-SWS
13:30
20m
Talk
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
PLDI
Hoang-Hai Dang
MPI-SWS
,
Jaehwang Jung
KAIST, South Korea
,
Jaemin Choi
KAIST
,
Duc-Than Nguyen
University of Illinois at Chicago
,
William Mansky
University of Illinois at Chicago
,
Jeehoon Kang
KAIST
,
Derek Dreyer
MPI-SWS
13:50
20m
Talk
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
PLDI
Ike Mulder
Radboud University Nijmegen
,
Robbert Krebbers
Radboud University Nijmegen
,
Herman Geuvers
Radboud University Nijmegen, Netherlands
Pre-print
14:10
20m
Talk
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
PLDI
Michael Sammler
MPI-SWS
,
Angus Hammond
University of Cambridge
,
Rodolphe Lepigre
MPI-SWS
,
Brian Campbell
University of Edinburgh
,
Jean Pichon-Pharabod
Aarhus University
,
Derek Dreyer
MPI-SWS
,
Deepak Garg
MPI-SWS
,
Peter Sewell
University of Cambridge
14:30
20m
Talk
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
PLDI
Yusuke Matsushita
The University of Tokyo
,
Xavier Denis
Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles
,
Jacques-Henri Jourdan
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
,
Derek Dreyer
MPI-SWS
15:30 - 16:50
Verification II
PLDI
at
Kon-Tiki
Chair(s):
Thomas Wahl
GrammaTech, Inc.
15:30
20m
Talk
Relational Compilation for Performance-Critical Applications
PLDI
Clément Pit-Claudel
EPFL, AWS
,
Jade Philipoom
MIT CSAIL
,
Dustin Jamner
MIT CSAIL
,
Andres Erbsen
MIT CSAIL
,
Adam Chlipala
MIT CSAIL
15:50
20m
Talk
Formally Verified Lifting of C-compiled x86-64 Binaries
PLDI
Freek Verbeek
Open University of The Netherlands & Virginia Tech
,
Joshua A. Bockenek
Virginia Tech
,
Zhoulai Fu
University of California, Davis
,
Binoy Ravindran
Virginia Tech
16:10
20m
Talk
Leapfrog: Certified Equivalence for Protocol Parsers
PLDI
Ryan Doenges
Cornell University
,
Tobias Kappé
ILLC, University of Amsterdam
,
John Sarracino
Cornell University
,
Nate Foster
Cornell University
,
Greg Morrisett
Cornell Tech
Pre-print
16:30
20m
Talk
Computing Correctly with Inductive Relations
PLDI
Zoe Paraskevopoulou
Northeastern University
,
Aaron Eline
University of Maryland
,
Leonidas Lampropoulos
University of Maryland
Wed 15 Jun
Displayed time zone:
Pacific 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
Kon-Tiki
PLDI
Keynote
PLDI
Security
PLDI
Synthesis I
PLDI
Synthesis II
Thu 16 Jun
Displayed time zone:
Pacific 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
Kon-Tiki
PLDI
Keynote
PLDI
Distribution
PLDI
Concurrency
PLDI
Semantics
Fri 17 Jun
Displayed time zone:
Pacific 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
Kon-Tiki
PLDI
PLDI
Hardware I
PLDI
Verification I
PLDI
Verification II
Wed 15 Jun
Displayed time zone:
Pacific 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
Kon-Tiki
PLDI
Getting Your Research Adopted
09:00 - 10:00
PLDI
Modular Information Flow Through Ownership
10:30 - 10:50
PLDI
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Decla ...
10:50 - 11:10
PLDI
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
11:10 - 11:30
PLDI
P4BID: Information Flow Control in P4
11:30 - 11:50
PLDI
Type-Directed Program Synthesis for RESTful APIs
13:30 - 13:50
PLDI
Visualization Question Answering Using Introspective Program Synthesis
13:50 - 14:10
PLDI
WebRobot: Web Robotic Process Automation using Interactive Programming- ...
14:10 - 14:30
PLDI
Synthesizing Analytical SQL Queries from Computation Demonstration
14:30 - 14:50
PLDI
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
15:30 - 15:50
PLDI
Recursion Synthesis with Unrealizability Witnesses
15:50 - 16:10
PLDI
“Synthesizing Input Grammars”: A Replication Study
16:10 - 16:30
PLDI
TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS)
16:30 - 16:50
Thu 16 Jun
Displayed time zone:
Pacific 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
Kon-Tiki
PLDI
Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need ...
09:00 - 10:00
PLDI
Certified Mergeable Replicated Data Types
10:30 - 10:50
PLDI
Hamband: RDMA Replicated Data Types
10:50 - 11:10
PLDI
RunTime-Assisted Convergence in Replicated Data Types
11:10 - 11:30
PLDI
Adore: Atomic Distributed Objects with Certified Reconfiguration
11:30 - 11:50
PLDI
A Flexible Type System for Fearless Concurrency
13:30 - 13:50
PLDI
A Study of Real-world Data Races in Golang
13:50 - 14:10
PLDI
Checking Robustness to Weak Persistency Models
14:10 - 14:30
PLDI
Sound Sequentialization for Concurrent Program Verification
14:30 - 14:50
PLDI
A Typed Continuation-Passing Translation for Lexical Effect Handlers
15:30 - 15:50
PLDI
Deep and Shallow Types for Gradual Languages
15:50 - 16:10
PLDI
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
16:10 - 16:30
PLDI
Semantic Soundness for Language Interoperability
16:30 - 16:50
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
Kon-Tiki
PLDI
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
10:30 - 10:50
PLDI
Exocompilation for Productive Programming of Hardware Accelerators
10:50 - 11:10
PLDI
PDL: A High-Level Hardware Design Language for Pipelined Processors
11:10 - 11:30
PLDI
WARio: Efficient Code Generation for Intermittent Computing
11:30 - 11:50
PLDI
Compass: Strong and Compositional Library Specifications in Relaxed Mem ...
13:30 - 13:50
PLDI
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in ...
13:50 - 14:10
PLDI
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
14:10 - 14:30
PLDI
RustHornBelt: A Semantic Foundation for Functional Verification of Rust ...
14:30 - 14:50
PLDI
Relational Compilation for Performance-Critical Applications
15:30 - 15:50
PLDI
Formally Verified Lifting of C-compiled x86-64 Binaries
15:50 - 16:10
PLDI
Leapfrog: Certified Equivalence for Protocol Parsers
16:10 - 16:30
PLDI
Computing Correctly with Inductive Relations
16:30 - 16:50
x
Fri 20 May 03:59