Zurich F - SAS 2021

VenueSwissotel Chicago

Room nameZurich F

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	Opening and keynoteAGERE at Zurich F Chair(s): Elias Castegren Uppsala University, Sweden

09:00 10m Day opening		Opening AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium
09:10 60m Keynote		Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation AGERE Stefan Marr University of Kent Pre-print Media Attached

10:50 - 12:10	Behavioural TypesAGERE at Zurich F Chair(s): Simon Fowler University of Glasgow

10:50 25m Full-paper		Session Types in Elixir AGERE Gerard Tabone University of Malta, Adrian Francalanza University of Malta DOI File Attached
11:15 25m Talk		Towards Practical Protocol Verification via Minimal Orchestration in ACP AGERE Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands File Attached

13:50 - 15:10	Safety and FailuresAGERE at Zurich F Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium

13:50 25m Full-paper		Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions AGERE Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology DOI Pre-print File Attached
14:15 25m Talk		A model of actors and grey failures AGERE Laura Bocchi University of Kent, Julien Lange Royal Holloway University of London, Simon Thompson IOHK, University of Kent, and ELTE, A. Laura Voinea University of Kent, UK
14:40 25m Full-paper		What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs AGERE Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI Pre-print File Attached
15:05 5m Day closing		Closing AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium

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

09:00 - 10:20	Introduction and CasesDSM at Zurich F Chair(s): Jeff Gray University of Alabama Introduction of the workshop Cases and experiences on applying Domain-Specific Modeling

09:00 20m Talk		Introduction DSM Jeff Gray University of Alabama, Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase
09:20 20m Talk		MOLEGA: Modeling Language for Educational Card Games DSM Kaylynn Borror Miami University, Eric Rapos Miami University DOI
09:40 20m Talk		PrintTalk: A Constraint-Based Imperative DSL for 3D Printing DSM Jef Jacobs Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Christophe De Troyer Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI
10:00 20m Talk		Industrial Experiences with the Evolution of a DSL DSM Mathijs Schuts Philips; Radboud University Nijmegen, Marco Alonso Philips, Jozef Hooman TNO; Radboud University Nijmegen DOI

10:50 - 12:10	Verification and validation, ToolingDSM at Zurich F Chair(s): Matti Rossi Aalto University School of Business Verification and validation with DSM, Tool development, Workshop summary and discussion

10:50 20m Talk		Co-designing DSL Quality Assurance Measures for and with Non-programming Experts DSM Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Peter Sestoft IT University of Copenhagen DOI
11:10 20m Talk		Integration of Modeling and Verification for System Model Based on KARMA Language DSM Jie Ding Beijing Institute of Technology, Michel Reniers Eindhoven University of Technology, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH, Dimitris Kiritsis EPFL DOI
11:30 20m Talk		Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling DSM Qishen Zhang Vanderbilt University, Daniel Balasubramanian Vanderbilt University, Tamas Kecskes Vanderbilt University, Janos Sztipanovits Vanderbilt University DOI
11:50 20m Other		Discussion and summary DSM Jonathan Sprinkle University of Arizona, Matti Rossi Aalto University School of Business, Jeff Gray University of Alabama, Juha-Pekka Tolvanen MetaCase

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

09:00 - 10:20	Keynote and Talks ILIVE at Zurich F Chair(s): Brian Hempel University of Chicago

09:00 60m Keynote		Software as Computational MediaKeynote LIVE Clemens Nylandsted Klokmose Aarhus University
10:00 20m Talk		Joker: A Unified Interaction Model For Web Customization LIVE Kapaya Katongo Massachusetts Institute of Technology (MIT), Geoffrey Litt MIT, Kathryn Jin , Daniel Jackson MIT

10:50 - 12:10	Talks IILIVE at Zurich F Chair(s): Sam Lau University of California San Diego

10:50 20m Talk		Instadeq: A Live Programming Environment for End User Data Analysis and Visualization LIVE Mariano Guerra Instadeq
11:10 20m Talk		Modifiable Software Systems: Smalltalk and HyperCard LIVE Josh Justice Big Nerd Ranch
11:30 20m Talk		Peer-to-peer Syncing and Live Editing of Shared Virtual 3D Spaces: Challenges and Opportunities LIVE Edward Misback University of Washington, USA, Steven L. Tanimoto University of Washington, USA
11:50 20m Talk		Enhancing Liveness with Exemplars in the Newspeak IDE LIVE Gilad Bracha F5 Networks

13:50 - 15:10	Talks IIILIVE at Zurich F Chair(s): Brian Hempel University of Chicago

13:50 20m Talk		Supporting Network Editing and Experimentation for Novice Deep Learning Programmers LIVE Chunqi Zhao , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Takeo Igarashi The University of Tokyo
14:10 20m Talk		TypeCell: A New Live Programming Environment for the Web LIVE Yousef El-Dardiry
14:30 20m Talk		Restructuring Structure Editing LIVE David Moon University of Michigan, Cyrus Omar University of Michigan
14:50 20m Talk		Inkbase: Programmable Ink LIVE Joshua Horowitz , Szymon Kaliski , James Lindenbaum

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

10:50 - 12:10	CARESSPLASH CARES at Zurich F Chair(s): Kathryn S McKinley Google

10:50 80m Talk		CARES SessionVirtual SPLASH CARES

13:50 - 15:10	Graduate Student PerspectivesSPLASH PLMW at Zurich F +8h

13:50 80m Panel		Current Student Panel SPLASH PLMW Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University

15:40 - 17:00	More MentoringSPLASH PLMW at Zurich F

15:40 60m Other		Mentoring Sessions SPLASH PLMW
16:40 20m Talk		Closing Remarks SPLASH PLMW

18:50 - 20:10	CARESSPLASH CARES at Zurich F Chair(s): Michelle Strout University of Arizona

18:50 80m Talk		CARES SessionVirtual SPLASH CARES

21:50 - 23:10	Graduate Student PerspectivesSPLASH PLMW at Zurich F

21:50 80m Panel		Current Student Panel SPLASH PLMW Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University

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

10:50 - 12:10	PLDI 2020 Papers 1SPLASH SIGPLAN Papers at Zurich F Chair(s): Luís Pina University of Illinois at Chicago

10:50 15m Talk		Armada: Low-Effort Verification of High-Performance Concurrent Programs SPLASH SIGPLAN Papers Jacob R. Lorch Microsoft Research, n.n., Yixuan Chen Yale University, USA, Manos Kapritsos University of Michigan, USA, Bryan Parno Carnegie Mellon University, USA, Shaz Qadeer Novi, USA, Upamanyu Sharma University of Michigan, USA, James R. Wilcox University of Washington, Xueyuan Zhao Carnegie Mellon University, USA DOI
11:05 15m Talk		Decidable Verification under a Causally Consistent Shared Memory SPLASH SIGPLAN Papers Ori Lahav Tel Aviv University, Udi Boker IDC Herzliya, Israel
11:20 15m Talk		Efficient Handling of String-Number Conversion SPLASH SIGPLAN Papers 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
11:35 15m Talk		Verifying Concurrent Search Structure Templates SPLASH SIGPLAN Papers Siddharth Krishna Microsoft Research, Nisarg Patel New York University, Dennis Shasha New York University, Thomas Wies New York University
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

13:50 - 15:10	PLDI 2020 Papers 2SPLASH SIGPLAN Papers at Zurich F Chair(s): Tyler Sorensen University of California at Santa Cruz

13:50 15m Talk		Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs SPLASH SIGPLAN Papers Auguste Olivry Inria, France, Julien Langou , Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
14:05 15m Talk		Responsive Parallelism with Futures and State SPLASH SIGPLAN Papers Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Noah Goldstein Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA
14:20 15m Talk		The Essence of Bluespec: A Core Language for Rule-Based Hardware Design SPLASH SIGPLAN Papers Thomas Bourgeat , Clément Pit-Claudel MIT CSAIL, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA
14:35 15m Paper		Semantic Code Search via Equational Reasoning SPLASH SIGPLAN Papers Varot Premtoon Massachusetts Institute of Technology, USA, James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology Link to publication
14:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

15:40 - 17:00	PLDI 2020 Papers 3SPLASH SIGPLAN Papers at Zurich F Chair(s): Suresh Jagannathan Purdue University

15:40 15m Talk		A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) SPLASH SIGPLAN Papers Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, Marko Vasic University of Texas at Austin, USA, Kaiyuan Wang Google, Inc., Haris Vikalo University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin
15:55 15m Talk		Data-Driven Inference of Representation Invariants SPLASH SIGPLAN Papers Anders Miltner The University of Texas at Austin, Texas, USA, Saswat Padhi Amazon Web Services, USA, Todd Millstein University of California, Los Angeles, David Walker Princeton University, USA
16:10 15m Talk		Reconciling Enumerative and Deductive Program Synthesis SPLASH SIGPLAN Papers Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA, Peiyuan Shen Purdue University, USA, Yanjun Wang Purdue University, USA
16:25 15m Talk		Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations SPLASH SIGPLAN Papers Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Adam Anderson University of Washington, James R. Wilcox University of Washington, Eva Darulova Uppsala University, Dan Grossman University of Washington, Zachary Tatlock University of Washington
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 2021 Papers 4SPLASH SIGPLAN Papers at Zurich F Chair(s): Baris Kasikci University of Michigan, USA

10:50 15m Talk		Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming SPLASH SIGPLAN Papers Guillaume Baudart IBM Research, USA, Javier Burroni , Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research
11:05 15m Talk		On Probabilistic Termination of Functional Programs with Continuous Distributions SPLASH SIGPLAN Papers Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford
11:20 15m Talk		SPPL: Probabilistic Programming with Fast Exact Symbolic Inference SPLASH SIGPLAN Papers Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka MIT DOI
11:35 15m Talk		Cyclic Program Synthesis SPLASH SIGPLAN Papers Shachar Itzhaky Technion, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego, Reuben N. S. Rowe University of Kent, Ilya Sergey National University of Singapore DOI
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH SIGPLAN Papers

13:50 - 15:10	PLDI 2021 Papers 5SPLASH SIGPLAN Papers at Zurich F Chair(s): Feras Saad Massachusetts Institute of Technology

13:50 15m Talk		Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring SPLASH SIGPLAN Papers Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
14:05 15m Talk		Scooter & Sidecar: A domain-specific approach to writing secure migrations SPLASH SIGPLAN Papers John Renner University of California at San Diego, USA, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, USA, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego, USA
14:20 15m Talk		Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints SPLASH SIGPLAN Papers Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft, Nikolaj Bjørner Microsoft Research
14:35 15m Talk		Filling Typed Holes with Live GUIs SPLASH SIGPLAN Papers Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago
14:50 20m 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 F	AGERE Opening and keynote																						AGERE Behavioural Types																																				AGERE Safety and Failures																						AGERE

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 F	DSM Introduction and Cases																						DSM Verification and validation, Tooling																																				DSM																						DSM

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 F	LIVE Keynote and Talks I																						LIVE Talks II																																				LIVE Talks III																						LIVE

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						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich F											SPLASH CARES CARES																																				SPLASH PLMW Graduate Student Perspectives																						SPLASH PLMW More Mentoring																																						SPLASH CARES CARES																																				SPLASH PLMW Graduate Student Perspectives

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 F											SPLASH SIGPLAN Papers PLDI 2020 Papers 1																																				SPLASH SIGPLAN Papers PLDI 2020 Papers 2																						SPLASH SIGPLAN Papers PLDI 2020 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 F											SPLASH SIGPLAN Papers PLDI 2021 Papers 4																																				SPLASH SIGPLAN Papers PLDI 2021 Papers 5

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			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Zurich F	AGERE Opening 09:00 - 09:10		AGERE Actors! And now? An Implementer's Perspective on High-level Concurrency ... 09:10 - 10:10																				AGERE Session Types in Elixir 10:50 - 11:15					AGERE Towards Practical Protocol Verification via Minimal Orchestration in ACP 11:15 - 11:40																															AGERE Contract-Based Return-Value Commutativity: Safely Exploiting Contract-B ... 13:50 - 14:15					AGERE A model of actors and grey failures 14:15 - 14:40					AGERE What’s the Problem? Interrogating Actors to Identify the Root Cause of ... 14:40 - 15:05					AGERE Closing 15:05 - 15:10

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
Zurich F	DSM Introduction 09:00 - 09:20				DSM MOLEGA: Modeling Language for Educational Card Games 09:20 - 09:40				DSM PrintTalk: A Constraint-Based Imperative DSL for 3D Printing 09:40 - 10:00				DSM Industrial Experiences with the Evolution of a DSL 10:00 - 10:20										DSM Co-designing DSL Quality Assurance Measures for and with Non-programmin ... 10:50 - 11:10				DSM Integration of Modeling and Verification for System Model Based on KARM ... 11:10 - 11:30				DSM Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling 11:30 - 11:50				DSM Discussion and summary 11:50 - 12:10

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
Zurich F	LIVEKeynote Software as Computational Media 09:00 - 10:00												LIVE Joker: A Unified Interaction Model For Web Customization 10:00 - 10:20										LIVE Instadeq: A Live Programming Environment for End User Data Analysis and ... 10:50 - 11:10				LIVE Modifiable Software Systems: Smalltalk and HyperCard 11:10 - 11:30				LIVE Peer-to-peer Syncing and Live Editing of Shared Virtual 3D Spaces: Chal ... 11:30 - 11:50				LIVE Enhancing Liveness with Exemplars in the Newspeak IDE 11:50 - 12:10																								LIVE Supporting Network Editing and Experimentation for Novice Deep Learning ... 13:50 - 14:10				LIVE TypeCell: A New Live Programming Environment for the Web 14:10 - 14:30				LIVE Restructuring Structure Editing 14:30 - 14:50				LIVE Inkbase: Programmable Ink 14:50 - 15:10

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			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
Zurich F											SPLASH CARESVirtual CARES Session 10:50 - 12:10																																				SPLASH PLMW Current Student Panel 13:50 - 15:10																						SPLASH PLMW Mentoring Sessions 15:40 - 16:40												SPLASH PLMW Closing Remarks 16:40 - 17:00																										SPLASH CARESVirtual CARES Session 18:50 - 20:10																																				SPLASH PLMW Current Student Panel 21:50 - 23:10

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 F											SPLASH SIGPLAN Papers Armada: Low-Effort Verification of High-Performance Concurrent Programs 10:50 - 11:05			SPLASH SIGPLAN Papers Decidable Verification under a Causally Consistent Shared Memory 11:05 - 11:20			SPLASH SIGPLAN Papers Efficient Handling of String-Number Conversion 11:20 - 11:35			SPLASH SIGPLAN Papers Verifying Concurrent Search Structure Templates 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Automated Derivation of Parametric Data Movement Lower Bounds for Affin ... 13:50 - 14:05			SPLASH SIGPLAN Papers Responsive Parallelism with Futures and State 14:05 - 14:20			SPLASH SIGPLAN Papers The Essence of Bluespec: A Core Language for Rule-Based Hardware Design 14:20 - 14:35			SPLASH SIGPLAN Papers Semantic Code Search via Equational Reasoning 14:35 - 14:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:50 - 15:10										SPLASH SIGPLAN Papers A Study of the Learnability of Relational Properties: Model Counting Me ... 15:40 - 15:55			SPLASH SIGPLAN Papers Data-Driven Inference of Representation Invariants 15:55 - 16:10			SPLASH SIGPLAN Papers Reconciling Enumerative and Deductive Program Synthesis 16:10 - 16:25			SPLASH SIGPLAN Papers Synthesizing Structured CAD Models with Equality Saturation and Inverse ... 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			15:00			15			30			45
Zurich F											SPLASH SIGPLAN Papers Compiling Stan to Generative Probabilistic Languages and Extension to D ... 10:50 - 11:05			SPLASH SIGPLAN Papers On Probabilistic Termination of Functional Programs with Continuous Dis ... 11:05 - 11:20			SPLASH SIGPLAN Papers SPPL: Probabilistic Programming with Fast Exact Symbolic Inference 11:20 - 11:35			SPLASH SIGPLAN Papers Cyclic Program Synthesis 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Repairing Serializability Bugs in Distributed Database Programs via Aut ... 13:50 - 14:05			SPLASH SIGPLAN Papers Scooter & Sidecar: A domain-specific approach to writing secure migrations 14:05 - 14:20			SPLASH SIGPLAN Papers Symbolic Boolean Derivatives for Efficiently Solving Extended Regular E ... 14:20 - 14:35			SPLASH SIGPLAN Papers Filling Typed Holes with Live GUIs 14:35 - 14:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:50 - 15:10

Room information: Zurich F

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

AGERE

AGERE

AGERE

AGERE

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

DSM

DSM

DSM

DSM

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

LIVE

LIVE

LIVE

LIVE

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

SPLASH CARES

SPLASH PLMW

SPLASH PLMW

SPLASH CARES

SPLASH PLMW

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