Cockatoo - ISMM 2022

VenueThe Catamaran Resort, San Diego

Room nameCockatoo

Room InformationNo extra information available

Program

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

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 programSpecify 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

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Cockatoo							Commute Monday Morning																																				Commute Monday Afternoon																								Commute Monday Evening

Tue 14 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
Cockatoo							Commute Tuesday Morning																																				Commute Tuesday Afternoon																								Commute Tuesday Evening

Wed 15 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
Cockatoo									PLDI SIGPLAN Track Distributed Systems																																		PLDI SIGPLAN Track Domain Specific Languages																								PLDI SIGPLAN Track Concurrency

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
Cockatoo									PLDI SIGPLAN Track Synthesis I																																		PLDI SIGPLAN Track Synthesis II																								PLDI SIGPLAN Track Testing

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
Cockatoo									PLDI SIGPLAN Track Probability																																		PLDI SIGPLAN Track Special Effects																								PLDI SIGPLAN Track Rewriting

Mon 13 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
Cockatoo							Commute Welcome Remarks 10:30 - 10:40		Commute Practical Smart Contract Sharding with Commutativity Analysis 10:40 - 11:10						Commute Discussion 11:10 - 11:20		Commute Commutativity reasoning for automated distributed coordination 11:20 - 11:50						Commute Discussion 11:50 - 12:00																				Commute A Tree Clock Data Structure for Causal Orderings in Concurrent Executions 13:30 - 14:00						Commute Discussion 14:00 - 14:10		Commute Commutativity condition synthesis and language support for commute blocks 14:10 - 14:40						Commute Discussion 14:40 - 14:50		Commute Lightning: Servois2: An Extended Commutativity Condition Synthesizer 14:50 - 14:55								Commute Commutativity Reasoning in the Civl Verifier 15:30 - 16:00						Commute Discussion 16:00 - 16:10		Commute Commutativity in quantum computing 16:10 - 16:40						Commute Discussion 16:40 - 16:50		Commute Lightning-2 16:50 - 16:55

Tue 14 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
Cockatoo							Commute Safety Proof Simplification Through Commutativity 10:30 - 11:00						Commute Discussion 11:00 - 11:10		Commute Commutativity and Approximate Computing 11:10 - 11:40						Commute Discussion 11:40 - 11:50		Commute Lightning: Extending Commutativity via Safe Abstraction 11:50 - 11:55																				Commute Weakening Mazurkiewicz Traces 13:30 - 14:00						Commute Discussion 14:00 - 14:10		Commute Mergeable Replicated Datatypes 14:10 - 14:40						Commute Discussion 14:40 - 14:50		Commute Lightning-4 14:50 - 14:55								Commute Testing Distributed Protocols using Communication Closure 15:30 - 16:00						Commute Discussion 16:00 - 16:10		Commute Pretend synchrony: synchronous verification of asynchronous distributed ... 16:10 - 16:40						Commute Discussion 16:40 - 16:50		Commute Closing Remarks & Business Meeting 16:50 - 17:00

Wed 15 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
Cockatoo									PLDI SIGPLAN Track (ICFP 2020) TLC: Temporal Logic of Distributed Components 10:40 - 11:00				PLDI SIGPLAN Track (OOPSLA 2021) Durable functions: semantics for stateful serverless 11:00 - 11:20				PLDI SIGPLAN Track (OOPSLA 2021) ECROs: building global scale systems from sequential code 11:20 - 11:40				PLDI SIGPLAN Track (POPL 2022) Induction Duality: Primal-Dual Search for Invariants 11:40 - 12:00																						PLDI SIGPLAN Track (POPL 2021) Petr4: Formal Foundations for P4 Data Planes 13:30 - 13:50				PLDI SIGPLAN Track (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types 13:50 - 14:10				PLDI SIGPLAN Track (POPL 2022) Dependently-Typed Data Plane Programming 14:10 - 14:30				PLDI SIGPLAN Track (POPL 2022) Safe, Modular Packet Pipeline Programming 14:30 - 14:50												PLDI SIGPLAN Track (PLDI 2020) Inductive Sequentialization of Asynchronous Programs 15:30 - 15:50				PLDI SIGPLAN Track (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race ... 15:50 - 16:10				PLDI SIGPLAN Track (POPL 2021) Optimal Prediction of Synchronization-Preserving Races 16:10 - 16:30				PLDI SIGPLAN Track (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms 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
Cockatoo									PLDI SIGPLAN Track (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with ... 10:40 - 11:00				PLDI SIGPLAN Track (POPL 2021) egg: Fast and Extensible Equality Saturation 11:00 - 11:20				PLDI SIGPLAN Track (POPL 2022) Relational E-Matching 11:20 - 11:40				PLDI SIGPLAN Track (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis 11:40 - 12:00																						PLDI SIGPLAN Track (PLDI 2021) Phased Synthesis of Divide and Conquer Programs 13:30 - 13:50				PLDI SIGPLAN Track (OOPSLA 2021) LooPy: interactive program synthesis with control structures 13:50 - 14:10				PLDI SIGPLAN Track (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Tran ... 14:10 - 14:30				PLDI SIGPLAN Track (PLDI 2021) Proof Repair Across Type Equivalences 14:30 - 14:50												PLDI SIGPLAN Track (OOPSLA 2020) A Model for Detecting Faults in Build Specifications 15:30 - 15:50				PLDI SIGPLAN Track (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarati ... 15:50 - 16:10				PLDI SIGPLAN Track (PLDI 2021) Logical Bytecode Reduction 16:10 - 16:30				PLDI SIGPLAN Track (PLDI 2021) Quantum abstract interpretation 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
Cockatoo									PLDI SIGPLAN Track (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs 10:40 - 11:00				PLDI SIGPLAN Track (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity 11:00 - 11:20				PLDI SIGPLAN Track (PLDI 2021) On Probabilistic Termination of Functional Programs with Co ... 11:20 - 11:40				PLDI SIGPLAN Track (POPL 2021) Paradoxes of probabilistic programming 11:40 - 12:00																						PLDI SIGPLAN Track (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quant ... 13:30 - 13:50				PLDI SIGPLAN Track (ICFP 2020) Compiling effect handlers in capability-passing style 13:50 - 14:10				PLDI SIGPLAN Track (POPL 2021) Intensional Datatype Refinement 14:10 - 14:30				PLDI SIGPLAN Track (POPL 2021) A Verified Optimizer for Quantum Circuits 14:30 - 14:50												PLDI SIGPLAN Track (ICFP 2020) Achieving high-performance the functional way: a functional ... 15:30 - 15:50				PLDI SIGPLAN Track (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synth ... 15:50 - 16:10				PLDI SIGPLAN Track (ICFP 2021) Grafs: Declarative Graph Analytics 16:10 - 16:30				PLDI SIGPLAN Track (POPL 2022) Verified Tensor-Program Optimization Via High-level Schedul ... 16:30 - 16:50

Room information: Cockatoo

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

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

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

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

Commute

Commute

Commute

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

Commute

Commute

Commute

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

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

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

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

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

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

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

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

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

Tracks

Room information: Cockatoo

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Commute

Commute

Commute

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Commute

Commute

Commute

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI SIGPLAN Track

PLDI SIGPLAN Track

PLDI SIGPLAN Track

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

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

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

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

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

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

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

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

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

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