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

09:00 - 10:00
Invited TalkARRAY at Macaw
09:00
60m
Talk
Multidimensional C++
ARRAY
File Attached
10:30 - 12:00
Array Languages for ApplicationsARRAY 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
22:30 - 00:00
Array Languages for ApplicationsARRAY 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

15:30 - 17:00
Complementary ApproachesASA at Macaw +12h
15:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learningvirtual
ASA
Elizabeth Dinella University of Pennsylvania
16:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghothaman University of Southern California

Wed 15 Jun

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

03:30 - 05:00
Complementary ApproachesASA at Macaw
03:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learningvirtual
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 AnalysisPLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI SIGPLAN Track
Andreas Pavlogiannis Aarhus University, Anders Alnor Mathiasen Aarhus University
13:30 - 14:50
Secure SpeculationPLDI SIGPLAN Track at Macaw
Chair(s): Marco Patrignani University of Trento
13:30
20m
Talk
(OOPSLA 2021) Reconciling Optimization with Secure Compilation
PLDI 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
PLDI 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
PLDI 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
PLDI 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 NumbersPLDI SIGPLAN Track at Macaw
Chair(s): Madan Musuvathi Microsoft Research
15:30
20m
Talk
(OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
PLDI 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
PLDI 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
PLDI 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
PLDI 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 & VerificationPLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
TypesPLDI SIGPLAN Track at Macaw
Chair(s): Michael Greenberg Stevens Institute of Technology
13:30
20m
Talk
(ICFP 2020) Kinds Are Calling Conventions
PLDI 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
PLDI 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
PLDI 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
PLDI SIGPLAN Track
Marco Patrignani University of Trento, Eric Mark Martin Stanford, Dominique Devriese KU Leuven
15:30 - 16:50
StoragePLDI SIGPLAN Track at Macaw
Chair(s): Albert Cohen Google
15:30
20m
Talk
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
PLDI 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
PLDI 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
PLDI 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
PLDI 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
CompilationPLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
MelangePLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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 TypesPLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Macaw

Tue 14 Jun

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Macaw

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

Wed 15 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Macaw