VenueThe Catamaran Resort, San Diego
Room nameCockatoo
Room InformationNo extra information available
Program

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

10:30 - 12:00
Monday MorningCommute at Cockatoo
10:30
10m
Talk
Welcome Remarks
Commute
Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS, Eric Koskinen Stevens Institute of Technology
10:40
30m
Talk
Practical Smart Contract Sharding with Commutativity Analysis
Commute
Ilya Sergey National University of Singapore
11:10
10m
Live Q&A
Discussion
Commute

11:20
30m
Talk
Commutativity reasoning for automated distributed coordination
Commute
Mohsen Lesani University of California at Riverside
11:50
10m
Live Q&A
Discussion
Commute

13:30 - 15:00
Monday AfternoonCommute at Cockatoo
13:30
30m
Talk
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Commute
Andreas Pavlogiannis Aarhus University
14:00
10m
Live Q&A
Discussion
Commute

14:10
30m
Talk
Commutativity condition synthesis and language support for commute blocks
Commute
Eric Koskinen Stevens Institute of Technology
14:40
10m
Live Q&A
Discussion
Commute

14:50
5m
Talk
Lightning: Servois2: An Extended Commutativity Condition Synthesizer
Commute
Adam Chen Stevens Institute of Technology
15:30 - 17:00
Monday EveningCommute at Cockatoo
15:30
30m
Talk
Commutativity Reasoning in the Civl Verifier
Commute
Shaz Qadeer Novi, USA
16:00
10m
Live Q&A
Discussion
Commute

16:10
30m
Talk
Commutativity in quantum computing
Commute
Jens Palsberg University of California, Los Angeles (UCLA)
16:40
10m
Live Q&A
Discussion
Commute

16:50
5m
Talk
Lightning-2
Commute

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Tuesday MorningCommute at Cockatoo
10:30
30m
Talk
Safety Proof Simplification Through Commutativity
Commute
Azadeh Farzan University of Toronto
11:00
10m
Live Q&A
Discussion
Commute

11:10
30m
Talk
Commutativity and Approximate Computing
Commute
Martin C. Rinard Massachusetts Institute of Technology
11:40
10m
Live Q&A
Discussion
Commute

11:50
5m
Talk
Lightning: Extending Commutativity via Safe Abstraction
Commute
Dominik Klumpp University of Freiburg
File Attached
13:30 - 15:00
Tuesday AfternoonCommute at Cockatoo
13:30
30m
Talk
Weakening Mazurkiewicz Traces
Commute
Umang Mathur National University of Singapore
14:00
10m
Live Q&A
Discussion
Commute

14:10
30m
Talk
Mergeable Replicated Datatypes
Commute
Suresh Jagannathan Purdue University
14:40
10m
Live Q&A
Discussion
Commute

14:50
5m
Talk
Lightning-4
Commute

15:30 - 17:00
Tuesday EveningCommute at Cockatoo
15:30
30m
Talk
Testing Distributed Protocols using Communication Closure
Commute
Constantin Enea Ecole Polytechnique / LIX / CNRS
16:00
10m
Live Q&A
Discussion
Commute

16:10
30m
Talk
Pretend synchrony: synchronous verification of asynchronous distributed programs
Commute
Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands
16:40
10m
Live Q&A
Discussion
Commute

16:50
10m
Day closing
Closing Remarks & Business Meeting
Commute
Eric Koskinen Stevens Institute of Technology, Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:00
Distributed SystemsPLDI SIGPLAN Track at Cockatoo
Chair(s): Adam Chlipala MIT CSAIL
10:40
20m
Talk
(ICFP 2020) TLC: Temporal Logic of Distributed Components
PLDI SIGPLAN Track
Jeremiah Griffin University of California, Riverside, Mohsen Lesani University of California at Riverside, Narges Shadab University of California at Riverside, Xizhe Yin University of California, Riverside
Link to publication DOI Authorizer link Pre-print
11:00
20m
Talk
(OOPSLA 2021) Durable functions: semantics for stateful serverless
PLDI SIGPLAN Track
Sebastian Burckhardt Microsoft Research, Chris Gillum Microsoft Azure, David Justo Microsoft Azure, Konstantinos Kallas University of Pennsylvania, Connor McMahon Microsoft Azure, Christopher Meiklejohn Carnegie Mellon University
Link to publication DOI Authorizer link Pre-print
11:20
20m
Talk
(OOPSLA 2021) ECROs: building global scale systems from sequential code
PLDI SIGPLAN Track
Kevin De Porre Vrije Universiteit Brussel, Carla Ferreira NOVA School of Science and Technology, Nuno Preguica , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication DOI Authorizer link Pre-print
11:40
20m
Talk
(POPL 2022) Induction Duality: Primal-Dual Search for Invariants
PLDI SIGPLAN Track
Oded Padon VMware Research, James R. Wilcox Certora, Jason R. Koenig Stanford University, Kenneth L. McMillan University of Texas at Austin, Alex Aiken Stanford Univeristy
13:30 - 14:50
Domain Specific LanguagesPLDI SIGPLAN Track at Cockatoo
Chair(s): Zachary Tatlock University of Washington
13:30
20m
Talk
(POPL 2021) Petr4: Formal Foundations for P4 Data Planes
PLDI SIGPLAN Track
Ryan Doenges Cornell University, Mina Tahmasbi Arashloo Cornell University, Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Alexander Chang Cornell University, Newton Ni Cornell University, Samwise Parkinson Cornell University, Rudy Peterson Cornell University, Alaia Solko-Breslin Cornell University, Amanda Xu Cornell University, Nate Foster Cornell University
13:50
20m
Talk
(PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
PLDI SIGPLAN Track
Rachit Nigam Cornell University, Sachille Atapattu Cornell University, USA, Samuel Thomas Cornell University, USA, Theodore Bauer AWS Inc, Apurva Koti Cornell University, USA, Zhijing Li Cornell University, USA, Yuwei Ye Cornell University, USA, Adrian Sampson Cornell University, Zhiru Zhang Cornell University, USA
14:10
20m
Talk
(POPL 2022) Dependently-Typed Data Plane Programming
PLDI SIGPLAN Track
Matthias Eichholz Technical University of Darmstadt, Eric Campbell Cornell University, Matthias Krebs TU Darmstadt, Nate Foster Cornell University, Mira Mezini TU Darmstadt
14:30
20m
Talk
(POPL 2022) Safe, Modular Packet Pipeline Programming
PLDI SIGPLAN Track
Devon Loehr Princeton University, David Walker Princeton University
15:30 - 16:50
ConcurrencyPLDI SIGPLAN Track at Cockatoo
Chair(s): Umang Mathur National University of Singapore
15:30
20m
Talk
(PLDI 2020) Inductive Sequentialization of Asynchronous Programs
PLDI SIGPLAN Track
Constantin Enea Ecole Polytechnique / LIX / CNRS, Thomas A. Henzinger IST Austria, Austria, Bernhard Kragl IST Austria, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Shaz Qadeer Novi, USA
15:50
20m
Talk
(PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI SIGPLAN Track
Bozhen Liu Texas A&M University, USA, Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M, Jeff Huang Texas A&M University
16:10
20m
Talk
(POPL 2021) Optimal Prediction of Synchronization-Preserving Races
PLDI SIGPLAN Track
Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign
16:30
20m
Talk
(POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
PLDI SIGPLAN Track
Joakim Öhman IMDEA Software Institute; Universidad Politécnica de Madrid, Aleksandar Nanevski IMDEA Software Institute

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:00
Synthesis IPLDI SIGPLAN Track at Cockatoo
Chair(s): Xinyu Wang University of Michigan
10:40
20m
Talk
(PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
PLDI SIGPLAN Track
Kevin Ellis Cornell University, Lionel Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum MIT
11:00
20m
Talk
(POPL 2021) egg: Fast and Extensible Equality Saturation
PLDI SIGPLAN Track
Max Willsey University of Washington, Chandrakana Nandi Certora, inc., Yisu Remy Wang University of Washington, Oliver Flatt University of Utah, Zachary Tatlock University of Washington, Pavel Panchekha University of Utah
11:20
20m
Talk
(POPL 2022) Relational E-Matching
PLDI SIGPLAN Track
Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Max Willsey University of Washington, Zachary Tatlock University of Washington
11:40
20m
Talk
(OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis
PLDI SIGPLAN Track
Shraddha Barke University of California at San Diego, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego
13:30 - 14:50
Synthesis IIPLDI SIGPLAN Track at Cockatoo
Chair(s): Mohsen Lesani University of California at Riverside
13:30
20m
Talk
(PLDI 2021) Phased Synthesis of Divide and Conquer Programs
PLDI SIGPLAN Track
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
13:50
20m
Talk
(OOPSLA 2021) LooPy: interactive program synthesis with control structures
PLDI SIGPLAN Track
Kasra Ferdowsi University of California at San Diego, Shraddha Barke , Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
Link to publication DOI Authorizer link Pre-print
14:10
20m
Talk
(OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
PLDI SIGPLAN Track
Xiang Gao Beihang University, China, Shraddha Barke University of California at San Diego, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Sumit Gulwani Microsoft, Alan Leung Microsoft, Nachiappan Nagappan Facebook, Ashish Tiwari Microsoft
14:30
20m
Talk
(PLDI 2021) Proof Repair Across Type Equivalences
PLDI SIGPLAN Track
Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani University of Washington, Seattle, John Leo Halfaya Research, Dan Grossman University of Washington
Link to publication DOI Authorizer link Pre-print
15:30 - 16:50
TestingPLDI SIGPLAN Track at Cockatoo
Chair(s): Yu Feng University of California, Santa Barbara
15:30
20m
Talk
(OOPSLA 2020) A Model for Detecting Faults in Build Specifications
PLDI SIGPLAN Track
Thodoris Sotiropoulos Athens University of Economics and Business, Stefanos Chaliasos Imperial College London, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology
15:50
20m
Talk
(OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
PLDI SIGPLAN Track
Pengyu Nie University of Texas at Austin, Marinela Parovic University of Texas at Austin, Zhiqiang Zang University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Aleksandar Milicevic Microsoft, Milos Gligoric University of Texas at Austin
16:10
20m
Talk
(PLDI 2021) Logical Bytecode Reduction
PLDI SIGPLAN Track
Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California, Los Angeles (UCLA)
16:30
20m
Talk
(PLDI 2021) Quantum abstract interpretation
PLDI SIGPLAN Track
Nengkun Yu UTS, Jens Palsberg University of California, Los Angeles (UCLA)
Link to publication DOI Authorizer link Pre-print

Fri 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:00
ProbabilityPLDI SIGPLAN Track at Cockatoo
Chair(s): Eric Atkinson MIT CSAIL
10:40
20m
Talk
(OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
PLDI SIGPLAN Track
Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles
11:00
20m
Talk
(POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
PLDI SIGPLAN Track
Alejandro Aguirre IMDEA Software Institute and T.U. of Madrid (UPM), Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Justin Hsu Cornell University, Benjamin Lucien Kaminski Saarland University and University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja Technical University of Denmark
11:20
20m
Talk
(PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI SIGPLAN Track
Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford
11:40
20m
Talk
(POPL 2021) Paradoxes of probabilistic programming
PLDI SIGPLAN Track
Jules Jacobs Radboud University
13:30 - 14:50
Special EffectsPLDI SIGPLAN Track at Cockatoo
Chair(s): Steven Holtzen Northeastern University
13:30
20m
Talk
(POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
PLDI SIGPLAN Track
Charles Yuan Massachusetts Institute of Technology, Christopher McNally Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
Link to publication DOI Authorizer link Pre-print
13:50
20m
Talk
(ICFP 2020) Compiling effect handlers in capability-passing style
PLDI SIGPLAN Track
Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tuebingen
Link to publication DOI Authorizer link Pre-print
14:10
20m
Talk
(POPL 2021) Intensional Datatype Refinement
PLDI SIGPLAN Track
Eddie Jones University of Bristol, Steven Ramsay University of Bristol
14:30
20m
Talk
(POPL 2021) A Verified Optimizer for Quantum Circuits
PLDI SIGPLAN Track
Kesha Hietala University of Maryland, Robert Rand University of Chicago, Shih-Han Hung University of Maryland, USA, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD, Michael Hicks University of Maryland at College Park
15:30 - 16:50
RewritingPLDI SIGPLAN Track at Cockatoo
Chair(s): Chandrakana Nandi Certora, inc.
15:30
20m
Talk
(ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
PLDI SIGPLAN Track
Bastian Hagedorn NVIDIA, Johannes Lenfers University of Münster, Thomas Koehler University of Glasgow, Xueying Qin University of Glasgow, United Kingdom, Sergei Gorlatch University of Münster, Germany, Michel Steuwer University of Edinburgh
Link to publication DOI Authorizer link Pre-print
15:50
20m
Talk
(PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
PLDI SIGPLAN Track
DongKwon Lee Seoul National University, South Korea, Woosuk Lee Hanyang University, Hakjoo Oh Korea University, Kwangkeun Yi Seoul National University
16:10
20m
Talk
(ICFP 2021) Grafs: Declarative Graph Analytics
PLDI SIGPLAN Track
Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California at Riverside, Keval Vora Simon Fraser University
16:30
20m
Talk
(POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
PLDI SIGPLAN Track
Amanda Liu Massachusetts Institute of Technology, Gilbert Bernstein University of California at Berkeley, Adam Chlipala MIT CSAIL, Jonathan Ragan-Kelley MIT

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Cockatoo

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Cockatoo

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

Fri 17 Jun

Displayed time zone: Pacific Time (US & Canada) change