AGERE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
VenueSwissotel Chicago
Room nameZurich G
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

Sun 17 Oct

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

10:50 - 12:10
BCNC Session 2BCNC at Zurich G
Chair(s): Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University
10:50
20m
Talk
The Pareto Distribution of Software Features and No-Code
BCNC
Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University
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
Talk
Towards the No-Code Era: A Vision and Plan for the Future of Software Development
BCNC
Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University
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
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 g.bracha@f5.com
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

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 Javier Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
Pre-print
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
John 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 Bodik 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
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, Isil 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
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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

Mon 18 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

Tue 19 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

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

Thu 21 Oct

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