Zurich G - SAS 2021

VenueSwissotel Chicago

Room nameZurich G

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central 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

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	BCNC Session 1BCNC at Zurich G Chair(s): Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University

09:00 20m Talk		Volatility Metric to Detect Anomalies in Source Code Repositories BCNC Yegor Bugayenko Huawei DOI
09:20 20m Talk		Rapid Prototyping of Chatbots for Data Exploration BCNC Giuseppe Desolda University of Bari, Rosa Lanzilotti University of Bari, Maristella Matera Politecnico di Milano, Emanuele Pucci Awhy DOI Media Attached
09:40 20m Talk		Combining Object-Oriented Paradigm and Controlled Natural Language for Requirements Specification BCNC Yegor Bugayenko Huawei DOI

10:50 - 12:10	BCNC Session 2BCNC at Zurich G Chair(s): Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University

10:50 20m Full-paper		The Pareto Distribution of Software Features and No-Code BCNC Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University Link to publication DOI
11:10 20m Talk		Is Neural Machine Translation Approach Accurate Enough for Coding Assistance? BCNC Yuka Akinobu Japan Women's University, Momoka Obara Japan Women's University, Teruno Kajiura Japan Women's University, Shiho Takano Japan Women's University, Miyu Tamura Japan Women's University, Mayu Tomioka Japan Women's University, Kimio Kuramitsu Japan Women's University DOI
11:30 20m Full-paper		Towards the No-Code Era: A Vision and Plan for the Future of Software Development BCNC Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University Link to publication DOI

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	Welcome to REBLS & KeynoteREBLS at Zurich G Chair(s): Louis Mandel IBM Research

09:00 10m Day opening		Welcome to REBLS REBLS Louis Mandel IBM Research
09:10 60m Keynote		Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)Keynote REBLS Timothy Bourke INRIA DOI

10:50 - 12:10	Session 1REBLS at Zurich G Chair(s): Tian Zhao University of Wisconsin-Milwaukee

10:50 25m Talk		Dyninka: A FaaS Framework for Distributed Dataflow Applications REBLS Patrik Fortier University of Lyon; INSA Lyon; Inria; CITI, Frédéric Le Mouël University of Lyon; INSA Lyon; Inria; CITI, Julien Ponge Red Hat DOI
11:15 25m Talk		Poker: Visual Instrumentation of Reactive Programs with Programmable Probes REBLS Cloé Descheemaeker Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print
11:40 25m Talk		ShapeRank: Rank Polymorphism meets Reactive Streams REBLS Gilad Bracha NOT_PROVIDED

13:50 - 15:10	Session 2REBLS at Zurich G Chair(s): Alan Jeffrey Roblox

13:50 25m Talk		Trampoline Variables: A General Method for State Accumulation in Reactive Programming REBLS Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print
14:15 25m Talk		Symmetric Distributed Applications REBLS Francisco Sant'Anna Rio de Janeiro State University, Rodrigo Santos Microsoft, Noemi Rodriguez PUC-Rio DOI
14:40 25m Talk		Analysing the Performance and Costs of Reactive Programming Libraries in Java REBLS Julien Ponge Red Hat, Arthur Navarro Red Hat, Clément Escoffier Red Hat, Frédéric Le Mouël University of Lyon; INSA Lyon; Inria; CITI DOI

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	Session 1VMIL at Zurich G Chair(s): Stefan Marr University of Kent

09:00 60m Keynote		Reflections on a decade of MoarVM, a runtime for the Raku programming languageKeynote VMIL Jonathan Worthington
10:00 20m Talk		Lightweight IOT abstractions for Embedded WebAssemblyWIP Paper VMIL Tom Lauwaerts Universiteit Gent, Belgium, Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium Media Attached File Attached

10:50 - 12:10	Session 2VMIL at Zurich G Chair(s): Christophe Scholliers Universiteit Gent, Belgium

10:50 30m Talk		A Small Scheme VM, Compiler and REPL in 4KResearch Paper VMIL Samuel Yvon , Marc Feeley Université de Montréal DOI
11:20 30m Talk		Lightweight On-Stack Replacement in Languages with Unstructured LoopsResearch Paper VMIL Matt D'Souza University of Waterloo, Gilles Duboscq Oracle Labs
11:50 20m Talk		WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applicationsWIP Paper VMIL Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel Pre-print

13:50 - 15:10	Session 3VMIL at Zurich G Chair(s): Matthew Flatt University of Utah

13:50 60m Keynote		Cross-Domain Compilation: Exploiting Synergies Across the CS CommunityKeynote VMIL Tobias Grosser University of Edinburgh
14:50 20m Talk		YJIT: A Basic Block Versioning JIT Compiler for CRubyWIP Paper VMIL Maxime Chevalier-Boisvert Shopify, Noah Gibbs Shopify, Jean Boussier Shopify, Si Xing "Alan" Wu Shopify, Aaron Patterson Shopify, Kevin Newton Shopify, John Hawthorn GitHub

15:40 - 17:00	Session 4VMIL at Zurich G Chair(s): Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich

15:40 60m Keynote		GraalVM Native Image: Large-scale static analysis for JavaKeynote VMIL Christian Wimmer Oracle Labs
16:40 10m Talk		Closing VMIL Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10	OOPSLA 2020 Papers 1SPLASH SIGPLAN Papers at Zurich G Chair(s): John Renner University of California at San Diego, USA

10:50 15m Talk		Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian SPLASH SIGPLAN Papers Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication
11:05 15m Talk		Designing Types for R, Empirically SPLASH SIGPLAN Papers Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University; Czech Technical University
11:20 15m Talk		Deductive Optimization of Relational Data Storage SPLASH SIGPLAN Papers Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology
11:35 15m Talk		Digging for Fold: Synthesis-Aided API Discovery for Haskell SPLASH SIGPLAN Papers Michael B. James University of California at San Diego, Zheng Guo University of California, San Diego, Ziteng Wang University of California at San Diego, Shivani Doshi University of California at San Diego, Hila Peleg Technion, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

13:50 - 15:10	OOPSLA and Onward! 2020 Papers 2SPLASH SIGPLAN Papers at Zurich G Chair(s): Michael Coblenz University of Maryland at College Park

13:50 15m Talk		Programming and Reasoning with Partial Observability SPLASH SIGPLAN Papers Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
14:05 15m Talk		Pomsets with Preconditions: A Simple Model of Relaxed Memory SPLASH SIGPLAN Papers Radha Jagadeesan DePaul University, Alan Jeffrey Roblox, James Riely DePaul University
14:20 15m Talk		Koord: a language for programming and verifying distributed robotics applications SPLASH SIGPLAN Papers Ritwika Ghosh University of Illinois at Urbana-Champaign, Chiao Hsieh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign
14:35 15m Paper		Demystifying Dependence SPLASH SIGPLAN Papers James Koppel Massachusetts Institute of Technology, USA, Daniel Jackson MIT Link to publication Pre-print
14:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

15:40 - 17:00	OOPSLA 2020 Papers 3SPLASH SIGPLAN Papers at Zurich G Chair(s): Anders Miltner The University of Texas at Austin, Texas, USA

15:40 15m Talk		DynamiTe: Dynamic Termination and Non-termination Proofs SPLASH SIGPLAN Papers Ton Chanh Le Stevens Institute of Technology, Timos Antonopoulos Yale University, Parisa Fathololumi Stevens Institute of Technology, Eric Koskinen Stevens Institute of Technology, ThanhVu Nguyen George Mason University
15:55 15m Talk		TacTok: Semantics-Aware Proof Synthesis SPLASH SIGPLAN Papers Emily First University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha Northeastern University Link to publication DOI Pre-print
16:10 15m Talk		Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic SPLASH SIGPLAN Papers Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
16:25 15m Talk		Verifying and Improving Halide’s Term Rewriting System with Program Synthesis SPLASH SIGPLAN Papers Julie L. Newcomb University of Washington, Andrew Adams Adobe, Steven Johnson Google, Rastislav Bodík University of Washington, Shoaib Kamil Adobe Research
16:40 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10	PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1SPLASH SIGPLAN Papers at Zurich G Chair(s): James Koppel Massachusetts Institute of Technology, USA

10:50 15m Talk		Example-Guided Synthesis of Relational Queries SPLASH SIGPLAN Papers Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Mukund Raghothaman University of Southern California, Mayur Naik University of Pennsylvania, Rajeev Alur University of Pennsylvania
11:05 15m Talk		Web Question Answering with Neurosymbolic Program Synthesis SPLASH SIGPLAN Papers Jocelyn (Qiaochu) Chen University of Texas at Austin, USA, Aaron Lamoreaux University of Texas at Austin, Xinyu Wang University of Michigan, Greg Durrett University of Texas at Austin, USA, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin
11:20 15m Talk		Reactive Probabilistic Programming SPLASH SIGPLAN Papers Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Eric Atkinson Massachusetts Institute of Technology, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology DOI Pre-print
11:35 15m Talk		A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra SPLASH SIGPLAN Papers Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

13:50 - 15:10	PLDI 2021 Papers 2SPLASH SIGPLAN Papers at Zurich G Chair(s): Michael D. Bond Ohio State University, USA

13:50 15m Talk		Concurrent Deferred Reference Counting for Non-garbage-collected Languages SPLASH SIGPLAN Papers Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA
14:05 15m Talk		Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures SPLASH SIGPLAN Papers Ruslan Nikolaev Virginia Tech, Binoy Ravindran Virginia Tech
14:20 15m Talk		SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis SPLASH SIGPLAN Papers Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University
14:35 15m Talk		Vectorized Secure Evaluation of Decision Forests SPLASH SIGPLAN Papers Raghav Malik Purdue University, Vidush Singhal Purdue University, Benjamin Gottfried Purdue University, Milind Kulkarni Purdue University
14:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

15:40 - 17:00	PLDI 2021 Papers 3SPLASH SIGPLAN Papers at Zurich G Chair(s): Fredrik Kjolstad Stanford University

15:40 15m Talk		Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems SPLASH SIGPLAN Papers Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA
15:55 15m Talk		IOOpt- Automatic Derivation of I/O complexity bounds for affine programs SPLASH SIGPLAN Papers Auguste Olivry Inria, France, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:10 15m Talk		Integration Verification Across Software and Hardware for a Simple Embedded System SPLASH SIGPLAN Papers Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
16:25 15m Talk		Execution reconstruction: Harnessing failure reoccurrences for failure reproduction SPLASH SIGPLAN Papers Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia University of Edinburgh, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan, USA
16:40 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10	PLDI 2020 Papers 4SPLASH SIGPLAN Papers at Zurich G Chair(s): Muhammad Usman University of Texas at Austin, USA

10:50 15m Talk		BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t SPLASH SIGPLAN Papers Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology
11:05 15m Talk		Crafty: Efficient, HTM-Compatible Persistent Transactions SPLASH SIGPLAN Papers Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles
11:20 15m Talk		SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework SPLASH SIGPLAN Papers 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 DOI Pre-print
11:35 15m Talk		Towards a Verified Range Analysis for JavaScript JITs SPLASH SIGPLAN Papers Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, USA Link to publication DOI
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

13:50 - 15:10	SLE and DLS 2020SPLASH SIGPLAN Papers at Zurich G Chair(s): James Riely DePaul University

13:50 15m Talk		Untangling mechanized proofs SPLASH SIGPLAN Papers Clément Pit-Claudel MIT CSAIL Link to publication
14:20 15m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems SPLASH SIGPLAN Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA Link to publication Pre-print
14:35 15m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

Sun 17 Oct
Displayed time zone: Central 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
Zurich G	BCNC BCNC Session 1																						BCNC BCNC Session 2																																				BCNC																						BCNC

Mon 18 Oct
Displayed time zone: Central 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
Zurich G	REBLS Welcome to REBLS & Keynote																						REBLS Session 1																																				REBLS Session 2																						REBLS

Tue 19 Oct
Displayed time zone: Central 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
Zurich G	VMIL Session 1																						VMIL Session 2																																				VMIL Session 3																						VMIL Session 4

Wed 20 Oct
Displayed time zone: Central 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
Zurich G											SPLASH SIGPLAN Papers OOPSLA 2020 Papers 1																																				SPLASH SIGPLAN Papers OOPSLA and Onward! 2020 Papers 2																						SPLASH SIGPLAN Papers OOPSLA 2020 Papers 3

Thu 21 Oct
Displayed time zone: Central 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
Zurich G											SPLASH SIGPLAN Papers PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1																																				SPLASH SIGPLAN Papers PLDI 2021 Papers 2																						SPLASH SIGPLAN Papers PLDI 2021 Papers 3

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Zurich G											SPLASH SIGPLAN Papers PLDI 2020 Papers 4																																				SPLASH SIGPLAN Papers SLE and DLS 2020

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Zurich G	BCNC Volatility Metric to Detect Anomalies in Source Code Repositories 09:00 - 09:20				BCNC Rapid Prototyping of Chatbots for Data Exploration 09:20 - 09:40				BCNC Combining Object-Oriented Paradigm and Controlled Natural Language for ... 09:40 - 10:00														BCNC The Pareto Distribution of Software Features and No-Code 10:50 - 11:10				BCNC Is Neural Machine Translation Approach Accurate Enough for Coding Assis ... 11:10 - 11:30				BCNC Towards the No-Code Era: A Vision and Plan for the Future of Software D ... 11:30 - 11:50

Mon 18 Oct
Displayed time zone: Central 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
Zurich G	REBLS Welcome to REBLS 09:00 - 09:10		REBLSKeynote Specification and End-to-End Proof of a Reactive Language and Its Compi ... 09:10 - 10:10																				REBLS Dyninka: A FaaS Framework for Distributed Dataflow Applications 10:50 - 11:15					REBLS Poker: Visual Instrumentation of Reactive Programs with Programmable Probes 11:15 - 11:40					REBLS ShapeRank: Rank Polymorphism meets Reactive Streams 11:40 - 12:05																										REBLS Trampoline Variables: A General Method for State Accumulation in Reacti ... 13:50 - 14:15					REBLS Symmetric Distributed Applications 14:15 - 14:40					REBLS Analysing the Performance and Costs of Reactive Programming Libraries i ... 14:40 - 15:05

Tue 19 Oct
Displayed time zone: Central 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
Zurich G	VMILKeynote Reflections on a decade of MoarVM, a runtime for the Raku programming l ... 09:00 - 10:00												VMILWIP Paper Lightweight IOT abstractions for Embedded WebAssembly 10:00 - 10:20										VMILResearch Paper A Small Scheme VM, Compiler and REPL in 4K 10:50 - 11:20						VMILResearch Paper Lightweight On-Stack Replacement in Languages with Unstructured Loops 11:20 - 11:50						VMILWIP Paper WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT ap ... 11:50 - 12:10																								VMILKeynote Cross-Domain Compilation: Exploiting Synergies Across the CS Community 13:50 - 14:50												VMILWIP Paper YJIT: A Basic Block Versioning JIT Compiler for CRuby 14:50 - 15:10										VMILKeynote GraalVM Native Image: Large-scale static analysis for Java 15:40 - 16:40												VMIL Closing 16:40 - 16:50

Wed 20 Oct
Displayed time zone: Central 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
Zurich G											SPLASH SIGPLAN Papers Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, A ... 10:50 - 11:05			SPLASH SIGPLAN Papers Designing Types for R, Empirically 11:05 - 11:20			SPLASH SIGPLAN Papers Deductive Optimization of Relational Data Storage 11:20 - 11:35			SPLASH SIGPLAN Papers Digging for Fold: Synthesis-Aided API Discovery for Haskell 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Programming and Reasoning with Partial Observability 13:50 - 14:05			SPLASH SIGPLAN Papers Pomsets with Preconditions: A Simple Model of Relaxed Memory 14:05 - 14:20			SPLASH SIGPLAN Papers Koord: a language for programming and verifying distributed robotics ap ... 14:20 - 14:35			SPLASH SIGPLAN Papers Demystifying Dependence 14:35 - 14:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:50 - 15:10										SPLASH SIGPLAN Papers DynamiTe: Dynamic Termination and Non-termination Proofs 15:40 - 15:55			SPLASH SIGPLAN Papers TacTok: Semantics-Aware Proof Synthesis 15:55 - 16:10			SPLASH SIGPLAN Papers Towards A Unified Proof Framework for Automated Fixpoint Reasoning Usin ... 16:10 - 16:25			SPLASH SIGPLAN Papers Verifying and Improving Halide’s Term Rewriting System with Program Syn ... 16:25 - 16:40			SPLASH SIGPLAN Papers Discussion, Questions and Answers 16:40 - 17:00

Thu 21 Oct
Displayed time zone: Central 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
Zurich G											SPLASH SIGPLAN Papers Example-Guided Synthesis of Relational Queries 10:50 - 11:05			SPLASH SIGPLAN Papers Web Question Answering with Neurosymbolic Program Synthesis 11:05 - 11:20			SPLASH SIGPLAN Papers Reactive Probabilistic Programming 11:20 - 11:35			SPLASH SIGPLAN Papers A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Concurrent Deferred Reference Counting for Non-garbage-collected Languages 13:50 - 14:05			SPLASH SIGPLAN Papers Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free ... 14:05 - 14:20			SPLASH SIGPLAN Papers SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program ... 14:20 - 14:35			SPLASH SIGPLAN Papers Vectorized Secure Evaluation of Decision Forests 14:35 - 14:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:50 - 15:10										SPLASH SIGPLAN Papers Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 15:40 - 15:55			SPLASH SIGPLAN Papers IOOpt- Automatic Derivation of I/O complexity bounds for affine programs 15:55 - 16:10			SPLASH SIGPLAN Papers Integration Verification Across Software and Hardware for a Simple Embe ... 16:10 - 16:25			SPLASH SIGPLAN Papers Execution reconstruction: Harnessing failure reoccurrences for failure ... 16:25 - 16:40			SPLASH SIGPLAN Papers Discussion, Questions and Answers 16:40 - 17:00

Fri 22 Oct
Displayed time zone: Central 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
Zurich G											SPLASH SIGPLAN Papers BlankIt Library Debloating: Getting What You Want Instead of Cutting Wh ... 10:50 - 11:05			SPLASH SIGPLAN Papers Crafty: Efficient, HTM-Compatible Persistent Transactions 11:05 - 11:20			SPLASH SIGPLAN Papers SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework 11:20 - 11:35			SPLASH SIGPLAN Papers Towards a Verified Range Analysis for JavaScript JITs 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Untangling mechanized proofs 13:50 - 14:05						SPLASH SIGPLAN Papers Python 3 Types in the Wild: A Tale of Two Type Systems 14:20 - 14:35			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:35 - 14:50

Room information: Zurich G

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

BCNC

BCNC

BCNC

BCNC

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

REBLS

REBLS

REBLS

REBLS

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

VMIL

VMIL

VMIL

VMIL

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

Tracks

Room information: Zurich G

Program Display Configuration

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

BCNC

BCNC

BCNC

BCNC

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

REBLS

REBLS

REBLS

REBLS

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

VMIL

VMIL

VMIL

VMIL

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change

Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change

Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change

Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change

Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change

Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change