PLDI 2022
Mon 13 - Fri 17 June 2022 San Diego, California, United States
PLDI 2022 (series) / The Catamaran Resort, San Diego /

Room information: Cockatoo

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 SystemsSIGPLAN Track at Cockatoo
Chair(s): Adam Chlipala MIT CSAIL
10:40
20m
Talk
(ICFP 2020) TLC: Temporal Logic of Distributed Components
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
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
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
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 LanguagesSIGPLAN Track at Cockatoo
Chair(s): Zachary Tatlock University of Washington
13:30
20m
Talk
(POPL 2021) Petr4: Formal Foundations for P4 Data Planes
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
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
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
SIGPLAN Track
Devon Loehr Princeton University, David Walker Princeton University
15:30 - 16:50
ConcurrencySIGPLAN Track at Cockatoo
Chair(s): Umang Mathur National University of Singapore
15:30
20m
Talk
(PLDI 2020) Inductive Sequentialization of Asynchronous Programs
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
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
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
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 ISIGPLAN 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
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
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
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
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 IISIGPLAN 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
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
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
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
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
TestingSIGPLAN 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
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
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
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
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
ProbabilitySIGPLAN Track at Cockatoo
Chair(s): Eric Atkinson MIT CSAIL
10:40
20m
Talk
(OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
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
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
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
SIGPLAN Track
Jules Jacobs Radboud University
13:30 - 14:50
Special EffectsSIGPLAN 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
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
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
SIGPLAN Track
Eddie Jones University of Bristol, Steven Ramsay University of Bristol
14:30
20m
Talk
(POPL 2021) A Verified Optimizer for Quantum Circuits
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
RewritingSIGPLAN 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
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
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
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
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

Commute

Monday Morning

Commute

Monday Afternoon

Commute

Monday Evening

Tue 14 Jun

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

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

Commute

Tuesday Morning

Commute

Tuesday Afternoon

Commute

Tuesday Evening

Wed 15 Jun

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

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

SIGPLAN Track

Distributed Systems

SIGPLAN Track

Domain Specific Languages

SIGPLAN Track

Concurrency

Thu 16 Jun

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

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

SIGPLAN Track

Synthesis I

SIGPLAN Track

Synthesis II

SIGPLAN Track

Testing

Fri 17 Jun

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

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

SIGPLAN Track

Probability

SIGPLAN Track

Special Effects

SIGPLAN Track

Rewriting

Mon 13 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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