Macaw - ISMM 2022

VenueThe Catamaran Resort, San Diego

Room nameMacaw

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

09:00 - 10:00	Invited TalkARRAY at Macaw

09:00 60m Talk		Multidimensional C++ ARRAY Bryce Lelbach 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

13:30 - 15:00	Language MechanismsARRAY 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 ViewsVirtual ARRAY Zhitao Lin McGill University, Christophe Dubach McGill University
14:37 22m Talk		Using Q-Learning to Select the Best Among Functionally Equivalent ImplementationsVirtual 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 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

01:30 - 03:00	Language MechanismsARRAY 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 ViewsVirtual ARRAY Zhitao Lin McGill University, Christophe Dubach McGill University
02:37 22m Talk		Using Q-Learning to Select the Best Among Functionally Equivalent ImplementationsVirtual 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 AnalysisASA at Macaw +12h

10:30 45m Talk		Black Box Static Analyses with Deep Learningvirtual 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 CodeASA 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 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

22:30 - 00:00	AI\ML and Static AnalysisASA at Macaw

22:30 45m Talk		Black Box Static Analyses with Deep Learningvirtual 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 CodeASA 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 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


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																																																																																		PLDI SIGPLAN Track Program Analysis																																		PLDI SIGPLAN Track Secure Speculation																								PLDI 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									PLDI SIGPLAN Track Parsing & Verification																																		PLDI SIGPLAN Track Types																								PLDI 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									PLDI SIGPLAN Track Compilation																																		PLDI SIGPLAN Track Melange																								PLDI 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				ARRAYVirtual From Functional to Imperative: Combining Destination-Passing Style and ... 13:52 - 14:15									ARRAYVirtual 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				ARRAYVirtual From Functional to Imperative: Combining Destination-Passing Style and ... 01:52 - 02:15									ARRAYVirtual Using Q-Learning to Select the Best Among Functionally Equivalent Imple ... 02:37 - 03:00																																																																					ASAvirtual 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															ASAvirtual Automated Software Testing: Bridging The Gap With Deep Learning 15:30 - 16:15									ASA Precise Program Reasoning using Probabilistic Methods 16:15 - 17:00																																																																									ASAvirtual 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															ASAvirtual 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

Room information: Macaw

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

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

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

ARRAY

ARRAY

ASA

ASA

ASA

ASA

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

ASA

ASA

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: Macaw

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

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

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

ARRAY

ARRAY

ASA

ASA

ASA

ASA

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

ASA

ASA

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