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
COVID
Jobs
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
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 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 2022
(
series
) /
The Catamaran Resort, San Diego
/
Room information: Macaw
Venue
The Catamaran Resort, San Diego
Room name
Macaw
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-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
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:00
Invited Talk
ARRAY
at
Macaw
09:00
60m
Talk
Multidimensional C++
ARRAY
Bryce Lelbach
File Attached
10:30 - 12:00
Array Languages for Applications
ARRAY
at
Macaw
+12h
10:30
22m
Talk
Distributed parallel computing with Futhark
ARRAY
Michaël El Kharroubi
University of Applied Sciences and Arts Western Switzerland
,
Baptiste Coudray
,
Orestis Malaspinas
10:52
22m
Talk
Mech: An Array Programming Language for Robots (extended abstract)
ARRAY
Corey Montella
Lehigh University
11:15
22m
Talk
Probabilistic Array Programming on Galois Fields (extended abstract)
ARRAY
Breandan Considine
McGill University
,
Jin L.C. Guo
McGill University
,
Xujie Si
McGill University, Canada
11:37
22m
Talk
Parallel Scan As a Multidimensional Array Problem
ARRAY
Artjoms Šinkarovs
Heriot-Watt University, UK
,
Sven-Bodo Scholz
Heriot-Watt University
13:30 - 15:00
Language Mechanisms
ARRAY
at
Macaw
+12h
13:30
22m
Talk
Combinatory Logic and Combinators in Array Languages
ARRAY
Conor Hoekstra
NVIDIA
13:52
22m
Talk
From Functional to Imperative: Combining Destination-Passing Style and Views
Virtual
ARRAY
Zhitao Lin
McGill University
,
Christophe Dubach
McGill University
14:37
22m
Talk
Using Q-Learning to Select the Best Among Functionally Equivalent Implementations
Virtual
ARRAY
Meggie van den Oever
Spring Hill College
,
Lauren Grimley
Spring Hill College
,
Richard Veras
University of Oklahoma
22:30 - 00:00
Array Languages for Applications
ARRAY
at
Macaw
22:30
22m
Talk
Distributed parallel computing with Futhark
ARRAY
Michaël El Kharroubi
University of Applied Sciences and Arts Western Switzerland
,
Baptiste Coudray
,
Orestis Malaspinas
22:52
22m
Talk
Mech: An Array Programming Language for Robots (extended abstract)
ARRAY
Corey Montella
Lehigh University
23:15
22m
Talk
Probabilistic Array Programming on Galois Fields (extended abstract)
ARRAY
Breandan Considine
McGill University
,
Jin L.C. Guo
McGill University
,
Xujie Si
McGill University, Canada
23:37
22m
Talk
Parallel Scan As a Multidimensional Array Problem
ARRAY
Artjoms Šinkarovs
Heriot-Watt University, UK
,
Sven-Bodo Scholz
Heriot-Watt University
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
01:30 - 03:00
Language Mechanisms
ARRAY
at
Macaw
01:30
22m
Talk
Combinatory Logic and Combinators in Array Languages
ARRAY
Conor Hoekstra
NVIDIA
01:52
22m
Talk
From Functional to Imperative: Combining Destination-Passing Style and Views
Virtual
ARRAY
Zhitao Lin
McGill University
,
Christophe Dubach
McGill University
02:37
22m
Talk
Using Q-Learning to Select the Best Among Functionally Equivalent Implementations
Virtual
ARRAY
Meggie van den Oever
Spring Hill College
,
Lauren Grimley
Spring Hill College
,
Richard Veras
University of Oklahoma
10:30 - 12:00
AI\ML and Static Analysis
ASA
at
Macaw
+12h
10:30
45m
Talk
Black Box Static Analyses with Deep Learning
virtual
ASA
Miltiadis Allamanis
11:15
45m
Talk
Balancing the use of ML and Program Analysis for Bug finding
ASA
Willem Visser
Amazon Web Services
13:30 - 15:00
Neural Models of Code
ASA
at
Macaw
+12h
13:30
45m
Talk
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
ASA
Michael Pradel
University of Stuttgart
14:15
45m
Talk
Program Synthesis, Program Semantics, and Large Language Models
ASA
Charles Sutton
Google Research
15:30 - 17:00
Complementary Approaches
ASA
at
Macaw
+12h
15:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learning
virtual
ASA
Elizabeth Dinella
University of Pennsylvania
16:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghothaman
University of Southern California
22:30 - 00:00
AI\ML and Static Analysis
ASA
at
Macaw
22:30
45m
Talk
Black Box Static Analyses with Deep Learning
virtual
ASA
Miltiadis Allamanis
23:15
45m
Talk
Balancing the use of ML and Program Analysis for Bug finding
ASA
Willem Visser
Amazon Web Services
Wed 15 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
01:30 - 03:00
Neural Models of Code
ASA
at
Macaw
01:30
45m
Talk
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
ASA
Michael Pradel
University of Stuttgart
02:15
45m
Talk
Program Synthesis, Program Semantics, and Large Language Models
ASA
Charles Sutton
Google Research
03:30 - 05:00
Complementary Approaches
ASA
at
Macaw
03:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learning
virtual
ASA
Elizabeth Dinella
University of Pennsylvania
04:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghothaman
University of Southern California
10:40 - 12:00
Program Analysis
SIGPLAN Track
at
Macaw
Chair(s):
Qirun Zhang
Georgia Institute of Technology, USA
10:40
20m
Talk
(OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
SIGPLAN Track
Caterina Urban
Inria & École Normale Supérieure | Université PSL
,
Maria Christakis
MPI-SWS
,
Valentin Wüstholz
ConsenSys
,
Fuyuan Zhang
MPI-SWS
11:00
20m
Talk
(PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
SIGPLAN Track
Ankush Phulia
IIT Delhi, India
,
Vaibhav Bhagee
IIT Delhi, India
,
Sorav Bansal
IIT Delhi and CompilerAI Labs
11:20
20m
Talk
(POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
SIGPLAN Track
Cambridge Yang
MIT CSAIL
,
Eric Atkinson
MIT CSAIL
,
Michael Carbin
Massachusetts Institute of Technology
11:40
20m
Talk
(POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
SIGPLAN Track
Andreas Pavlogiannis
Aarhus University
,
Anders Alnor Mathiasen
Aarhus University
13:30 - 14:50
Secure Speculation
SIGPLAN Track
at
Macaw
Chair(s):
Marco Patrignani
University of Trento
13:30
20m
Talk
(OOPSLA 2021) Reconciling Optimization with Secure Compilation
SIGPLAN Track
Son Tuan Vu
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
,
Albert Cohen
Google
,
Arnaud de Grandmaison
,
Christophe Guillon
STMicroelectronics
,
Karine Heydemann
Sorbonne University; CNRS; LIP6
Link to publication
DOI
Authorizer link
Pre-print
13:50
20m
Talk
(PLDI 2020) Constant-Time Foundations for the New Spectre Era
SIGPLAN Track
Sunjay Cauligi
University of California at San Diego, USA
,
Craig Disselkoen
University of California at San Diego, USA
,
Klaus v. Gleissenthall
Vrije Universiteit Amsterdam, Netherlands
,
Dean Tullsen
University of California at San Diego, USA
,
Deian Stefan
University of California at San Diego
,
Tamara Rezk
INRIA
,
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
14:10
20m
Talk
(PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Track
Sotiris Apostolakis
Google
,
Ziyang Xu
Princeton University
,
Zujun Tan
Princeton University, USA
,
Greg Chan
Princeton University, USA
,
Simone Campanoni
Northwestern University, USA
,
David I. August
Princeton University
14:30
20m
Talk
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
SIGPLAN Track
Marco Vassena
Utrecht University
,
Craig Disselkoen
University of California at San Diego, USA
,
Klaus v. Gleissenthall
Vrije Universiteit Amsterdam, Netherlands
,
Sunjay Cauligi
University of California at San Diego, USA
,
Rami Gökhan Kıcı
University of California at San Diego, USA
,
Ranjit Jhala
University of California at San Diego; Amazon Web Services
,
Dean Tullsen
University of California at San Diego, USA
,
Deian Stefan
University of California at San Diego
15:30 - 16:50
Neural Networks and Numbers
SIGPLAN Track
at
Macaw
Chair(s):
Madan Musuvathi
Microsoft Research
15:30
20m
Talk
(OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
SIGPLAN Track
Arjun Pitchanathan
University of Edinburgh
,
Christian Ulmann
ETH Zurich
,
Michel Weber
ETH Zurich
,
Torsten Hoefler
ETH Zurich
,
Tobias Grosser
University of Edinburgh
Link to publication
DOI
Authorizer link
Pre-print
15:50
20m
Talk
(PLDI 2021) Provable Repair of Deep Neural Networks
SIGPLAN Track
Matthew Sotoudeh
University of California, Davis
,
Aditya V. Thakur
University of California at Davis
16:10
20m
Talk
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
SIGPLAN Track
Jay P. Lim
Yale University
,
Santosh Nagarakatte
Rutgers University
16:30
20m
Talk
(POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
SIGPLAN Track
Faustyna Krawiec
University of Cambridge
,
Simon Peyton Jones
Microsoft Research
,
Neel Krishnaswami
University of Cambridge
,
Tom Ellis
Microsoft Research
,
Richard A. Eisenberg
Tweag
,
Andrew Fitzgibbon
Graphcore
DOI
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
10:40 - 12:00
Parsing & Verification
SIGPLAN Track
at
Macaw
Chair(s):
Jay P. Lim
Yale University
10:40
20m
Talk
(ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
SIGPLAN Track
Glen Mével
Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles
,
Jacques-Henri Jourdan
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
11:00
20m
Talk
(PLDI 2020) Zippy LL(1) Parsing with Derivatives
SIGPLAN Track
Romain Edelmann
EPFL, Switzerland
,
Jad Hamza
EPFL, Switzerland
,
Viktor Kunčak
EPFL, Switzerland
11:20
20m
Talk
(PLDI 2021) CoStar: A Verified ALL(*) Parser
SIGPLAN Track
Sam Lasser
Tufts University
,
Chris Casinghino
Draper Laboratory
,
Kathleen Fisher
Tufts University
,
Cody Roux
Draper
11:40
20m
Talk
(PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
SIGPLAN Track
Simon Spies
MPI-SWS & Saarland University
,
Lennard Gäher
MPI-SWS & Saarland University
,
Daniel Gratzer
Aarhus University
,
Joseph Tassarotti
Boston College
,
Robbert Krebbers
Radboud University Nijmegen
,
Derek Dreyer
MPI-SWS
,
Lars Birkedal
Aarhus University
13:30 - 14:50
Types
SIGPLAN Track
at
Macaw
Chair(s):
Michael Greenberg
Stevens Institute of Technology
13:30
20m
Talk
(ICFP 2020) Kinds Are Calling Conventions
SIGPLAN Track
Paul Downen
University of Massachusetts Lowell
,
Zena M. Ariola
University of Oregon
,
Simon Peyton Jones
Microsoft Research
,
Richard A. Eisenberg
Tweag
Link to publication
DOI
Authorizer link
Pre-print
13:50
20m
Talk
(OOPSLA 2021) Study of the subtyping machine of nominal subtyping with variance
SIGPLAN Track
Ori Roth
Technion
Link to publication
DOI
Authorizer link
Pre-print
14:10
20m
Talk
(POPL 2021) Fully Abstract from Static to Gradual
SIGPLAN Track
Koen Jacobs
KU Leuven
,
Amin Timany
Aarhus University
,
Dominique Devriese
KU Leuven
14:30
20m
Talk
(POPL 2021) On the Semantic Expressiveness of Recursive Types
SIGPLAN Track
Marco Patrignani
University of Trento
,
Eric Mark Martin
Stanford
,
Dominique Devriese
KU Leuven
15:30 - 16:50
Storage
SIGPLAN Track
at
Macaw
Chair(s):
Albert Cohen
Google
15:30
20m
Talk
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
SIGPLAN Track
Stephen Chou
Massachusetts Institute of Technology
,
Fredrik Kjolstad
Stanford University
,
Saman Amarasinghe
MIT CSAIL
15:50
20m
Talk
(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
SIGPLAN Track
Naama Ben-David
Carnegie Mellon University, USA
,
Guy E. Blelloch
Carnegie Mellon University
,
Michal Friedman
Technion, Israel
,
Erez Petrank
Technion, Israel
,
Yuanhao Wei
Carnegie Mellon University, USA
16:10
20m
Talk
(PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
SIGPLAN Track
Michal Friedman
Technion, Israel
,
Erez Petrank
Technion, Israel
,
Pedro Ramalhete
Cisco Systems
16:30
20m
Talk
(POPL 2021) Provably Space Efficient Parallel Functional Programming
SIGPLAN Track
Jatin Arora
Carnegie Mellon University
,
Sam Westrick
Carnegie Mellon University
,
Umut A. Acar
Carnegie Mellon University
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
10:40 - 12:00
Compilation
SIGPLAN Track
at
Macaw
Chair(s):
Deian Stefan
University of California at San Diego
10:40
20m
Talk
(OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
SIGPLAN Track
Shubhani Gupta
,
Abhishek Rose
IIT Delhi
,
Sorav Bansal
IIT Delhi and CompilerAI Labs
11:00
20m
Talk
(OOPSLA 2021) Formal verification of high-level synthesis
SIGPLAN Track
Yann Herklotz
Imperial College London
,
James D. Pollard
Imperial College London
,
Nadesh Ramanathan
Imperial College London
,
John Wickerson
Imperial College London
Link to publication
DOI
Authorizer link
Pre-print
11:20
20m
Talk
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
SIGPLAN Track
Stefanos Chaliasos
Imperial College London
,
Thodoris Sotiropoulos
Athens University of Economics and Business
,
Georgios-Petros Drosos
Athens University of Economics and Business
,
Charalambos Ioannis Mitropoulos
Technical University of Crete
,
Dimitris Mitropoulos
University of Athens
,
Diomidis Spinellis
Athens University of Economics and Business & Delft University of Technology
Link to publication
DOI
Authorizer link
Pre-print
11:40
20m
Talk
(POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
SIGPLAN Track
Aurèle Barrière
Univ Rennes, IRISA
,
Sandrine Blazy
Univ Rennes, IRISA
,
Olivier Flückiger
Northeastern University
,
David Pichardie
Meta
,
Jan Vitek
Northeastern University; Czech Technical University
13:30 - 14:50
Melange
SIGPLAN Track
at
Macaw
Chair(s):
Rachit Nigam
Cornell University
13:30
20m
Talk
(OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
SIGPLAN Track
Ramy Shahin
University of Toronto
,
Marsha Chechik
University of Toronto
13:50
20m
Talk
(OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
SIGPLAN Track
Natalie Popescu
Princeton University
,
Ziyang Xu
Princeton University
,
Sotiris Apostolakis
Google
,
David I. August
Princeton University
,
Amit Levy
Link to publication
DOI
Authorizer link
Pre-print
14:10
20m
Talk
(OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems
SIGPLAN Track
Dan Iorga
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tyler Sorensen
University of California at Santa Cruz
,
John Wickerson
Imperial College London
Link to publication
DOI
Authorizer link
Pre-print
14:30
20m
Talk
(PLDI 2020) Efficient Handling of String-Number Conversion
SIGPLAN Track
Parosh Aziz Abdulla
Uppsala University, Sweden
,
Mohamed Faouzi Atig
Uppsala University, Sweden
,
Yu-Fang Chen
Academia Sinica, Taiwan
,
Bui Phi Diep
Uppsala University, Sweden
,
Julian Dolby
IBM Research, USA
,
Petr Janků
Brno University of Technology, Czechia
,
Hsin-Hung Lin
Academia Sinica, Taiwan
,
Lukáš Holík
Brno University of Technology
,
Wei-Cheng Wu
University of Southern California, USA
15:30 - 16:50
Refinement Types
SIGPLAN Track
at
Macaw
Chair(s):
Sorav Bansal
IIT Delhi and CompilerAI Labs
15:30
20m
Talk
(OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
SIGPLAN Track
Yiyun Liu
University of Maryland at College Park
,
James Parker
Galois, Inc.
,
Patrick Redmond
University of California at Santa Cruz
,
Lindsey Kuper
University of California at Santa Cruz
,
Michael Hicks
University of Maryland at College Park
,
Niki Vazou
IMDEA Software Institute
15:50
20m
Talk
(PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
SIGPLAN Track
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
Link to publication
DOI
Authorizer link
Pre-print
16:10
20m
Talk
(POPL 2021) Data Flow Refinement Type Inference
SIGPLAN Track
Zvonimir Pavlinovic
Google, USA
,
Yusen Su
University of Waterloo
,
Thomas Wies
New York University
16:30
20m
Talk
(PLDI 2021) RbSyn: type- and effect-guided program synthesis
SIGPLAN Track
Sankha Narayan Guria
University of Maryland, College Park
,
Jeffrey S. Foster
Tufts University
,
David Van Horn
University of Maryland
Link to publication
DOI
Authorizer link
Pre-print
Mon 13 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
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Macaw
ARRAY
Invited Talk
ARRAY
Array Languages for Applications
ARRAY
Language Mechanisms
ARRAY
ARRAY
Array Languages for Applications
Tue 14 Jun
Displayed time zone:
Pacific 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
22:00
30
23:00
30
Macaw
ARRAY
Language Mechanisms
ARRAY
ASA
AI\ML and Static Analysis
ASA
Neural Models of Code
ASA
Complementary Approaches
ASA
AI\ML and Static Analysis
Wed 15 Jun
Displayed time zone:
Pacific 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
Macaw
ASA
Neural Models of Code
ASA
Complementary Approaches
SIGPLAN Track
Program Analysis
SIGPLAN Track
Secure Speculation
SIGPLAN Track
Neural Networks and Numbers
Thu 16 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Macaw
SIGPLAN Track
Parsing & Verification
SIGPLAN Track
Types
SIGPLAN Track
Storage
Fri 17 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Macaw
SIGPLAN Track
Compilation
SIGPLAN Track
Melange
SIGPLAN Track
Refinement Types
Mon 13 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
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
22:00
15
30
45
23:00
15
30
45
Macaw
ARRAY
Multidimensional C++
09:00 - 10:00
ARRAY
Distributed parallel computing with Futhark
10:30 - 10:52
ARRAY
Mech: An Array Programming Language for Robots (extended abstract)
10:52 - 11:15
ARRAY
Probabilistic Array Programming on Galois Fields (extended abstract)
11:15 - 11:37
ARRAY
Parallel Scan As a Multidimensional Array Problem
11:37 - 12:00
ARRAY
Combinatory Logic and Combinators in Array Languages
13:30 - 13:52
ARRAY
Virtual
From Functional to Imperative: Combining Destination-Passing Style and ...
13:52 - 14:15
ARRAY
Virtual
Using Q-Learning to Select the Best Among Functionally Equivalent Imple ...
14:37 - 15:00
ARRAY
Distributed parallel computing with Futhark
22:30 - 22:52
ARRAY
Mech: An Array Programming Language for Robots (extended abstract)
22:52 - 23:15
ARRAY
Probabilistic Array Programming on Galois Fields (extended abstract)
23:15 - 23:37
ARRAY
Parallel Scan As a Multidimensional Array Problem
23:37 - 00:00
Tue 14 Jun
Displayed time zone:
Pacific 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
22:00
15
30
45
23:00
15
30
45
Macaw
ARRAY
Combinatory Logic and Combinators in Array Languages
01:30 - 01:52
ARRAY
Virtual
From Functional to Imperative: Combining Destination-Passing Style and ...
01:52 - 02:15
ARRAY
Virtual
Using Q-Learning to Select the Best Among Functionally Equivalent Imple ...
02:37 - 03:00
ASA
virtual
Black Box Static Analyses with Deep Learning
10:30 - 11:15
ASA
Balancing the use of ML and Program Analysis for Bug finding
11:15 - 12:00
ASA
Thinking Like a Developer? Comparing the Attention of Humans with Neura ...
13:30 - 14:15
ASA
Program Synthesis, Program Semantics, and Large Language Models
14:15 - 15:00
ASA
virtual
Automated Software Testing: Bridging The Gap With Deep Learning
15:30 - 16:15
ASA
Precise Program Reasoning using Probabilistic Methods
16:15 - 17:00
ASA
virtual
Black Box Static Analyses with Deep Learning
22:30 - 23:15
ASA
Balancing the use of ML and Program Analysis for Bug finding
23:15 - 00:00
Wed 15 Jun
Displayed time zone:
Pacific 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
Macaw
ASA
Thinking Like a Developer? Comparing the Attention of Humans with Neura ...
01:30 - 02:15
ASA
Program Synthesis, Program Semantics, and Large Language Models
02:15 - 03:00
ASA
virtual
Automated Software Testing: Bridging The Gap With Deep Learning
03:30 - 04:15
ASA
Precise Program Reasoning using Probabilistic Methods
04:15 - 05:00
PLDI SIGPLAN Track
(OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
10:40 - 11:00
PLDI SIGPLAN Track
(PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for comp ...
11:00 - 11:20
PLDI SIGPLAN Track
(POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
11:20 - 11:40
PLDI SIGPLAN Track
(POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Poin ...
11:40 - 12:00
PLDI SIGPLAN Track
(OOPSLA 2021) Reconciling Optimization with Secure Compilation
13:30 - 13:50
PLDI SIGPLAN Track
(PLDI 2020) Constant-Time Foundations for the New Spectre Era
13:50 - 14:10
PLDI SIGPLAN Track
(PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis ...
14:10 - 14:30
PLDI SIGPLAN Track
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptograp ...
14:30 - 14:50
PLDI SIGPLAN Track
(OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
15:30 - 15:50
PLDI SIGPLAN Track
(PLDI 2021) Provable Repair of Deep Neural Networks
15:50 - 16:10
PLDI SIGPLAN Track
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded R ...
16:10 - 16:30
PLDI SIGPLAN Track
(POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Re ...
16:30 - 16:50
Thu 16 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
Macaw
PLDI SIGPLAN Track
(ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak ...
10:40 - 11:00
PLDI SIGPLAN Track
(PLDI 2020) Zippy LL(1) Parsing with Derivatives
11:00 - 11:20
PLDI SIGPLAN Track
(PLDI 2021) CoStar: A Verified ALL(*) Parser
11:20 - 11:40
PLDI SIGPLAN Track
(PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step- ...
11:40 - 12:00
PLDI SIGPLAN Track
(ICFP 2020) Kinds Are Calling Conventions
13:30 - 13:50
PLDI SIGPLAN Track
(OOPSLA 2021) Study of the subtyping machine of nominal subtyping with ...
13:50 - 14:10
PLDI SIGPLAN Track
(POPL 2021) Fully Abstract from Static to Gradual
14:10 - 14:30
PLDI SIGPLAN Track
(POPL 2021) On the Semantic Expressiveness of Recursive Types
14:30 - 14:50
PLDI SIGPLAN Track
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conv ...
15:30 - 15:50
PLDI SIGPLAN Track
(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is Mo ...
15:50 - 16:10
PLDI SIGPLAN Track
(PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
16:10 - 16:30
PLDI SIGPLAN Track
(POPL 2021) Provably Space Efficient Parallel Functional Programming
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
Macaw
PLDI SIGPLAN Track
(OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translati ...
10:40 - 11:00
PLDI SIGPLAN Track
(OOPSLA 2021) Formal verification of high-level synthesis
11:00 - 11:20
PLDI SIGPLAN Track
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-relat ...
11:20 - 11:40
PLDI SIGPLAN Track
(POPL 2021) Formally Verified Speculation and Deoptimization in a JIT C ...
11:40 - 12:00
PLDI SIGPLAN Track
(OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Func ...
13:30 - 13:50
PLDI SIGPLAN Track
(OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhanc ...
13:50 - 14:10
PLDI SIGPLAN Track
(OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems
14:10 - 14:30
PLDI SIGPLAN Track
(PLDI 2020) Efficient Handling of String-Number Conversion
14:30 - 14:50
PLDI SIGPLAN Track
(OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinement ...
15:30 - 15:50
PLDI SIGPLAN Track
(PLDI 2021) RefinedC: Automating the Foundational Verification of C Co ...
15:50 - 16:10
PLDI SIGPLAN Track
(POPL 2021) Data Flow Refinement Type Inference
16:10 - 16:30
PLDI SIGPLAN Track
(PLDI 2021) RbSyn: type- and effect-guided program synthesis
16:30 - 16:50
x
Tue 8 Oct 01:09