SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
SPLASH 2021 (series) / Swissotel Chicago /

Room information: Zurich A

VenueSwissotel Chicago
Room nameZurich A
Floor0
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

Wed 20 Oct

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

17:00 - 19:00
Posters In-Person SessionPosters at Zurich A
17:00
2h
Poster
Programming and Execution Models for Parallel Bounded Exhaustive TestingOOPSLAIn-Person
Posters
Nader Al Awar University of Texas at Austin, Kush Jain University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric University of Texas at Austin
17:00
2h
Poster
Motivating Complexity Understanding By Profiling Energy UsageOnward! PapersDemoIn-Person
Posters
Joshua B. Gross California State University at Monterey Bay, Kevin Coogan Hampton University, Daniel Jacoby California State University at Monterey Bay, Aaron Helman California State University at Monterey Bay
17:00
2h
Poster
Verifying Concurrent Multicopy Search StructuresOOPSLAIn-Person
Posters
Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University
17:00
2h
Poster
Copy-and-Patch CompilationOOPSLAIn-Person
Posters
Haoran Xu Stanford University, Fredrik Kjolstad Stanford University
17:00
2h
Poster
Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA
Posters
Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
17:00
2h
Poster
Rewrite Rule Inference Using Equality SaturationOOPSLAIn-Person
Posters
Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Amy Zhu University of Washington, Yisu Remy Wang University of Washington, Brett Saiki University of Washington, Adam Anderson University of Washington, Adriana Schulz University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington
17:00
2h
Poster
Static Detection of Silent Misconfigurations with Deep Interaction AnalysisOOPSLAIn-Person
Posters
Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu
17:00
2h
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA
Posters
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
17:00
2h
Poster
Programming with Neural Surrogates of ProgramsOnward! PapersIn-Person
Posters
Alex Renda , Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
17:00
2h
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA
Posters
Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
17:00 - 19:00
PostersStudent Research Competition at Zurich A
17:00
2h
Poster
Implementation of an End-to-End Gradual Verification System
Student Research Competition
Hemant Gouni University of Minnesota at Twin Cities, Conrad Zimmerman Brown University
DOI
17:00
2h
Poster
Towards Decidable and Expressive DOT
Student Research Competition
Sophia Roshal Cornell University; Carnegie Mellon University
DOI
17:00
2h
Poster
Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs
Student Research Competition
Shmuel Berman Columbia University
DOI
17:00
2h
Poster
Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
Student Research Competition
Sophie Kaleba University of Kent
DOI
17:00
2h
Poster
A Study of Call Graph Effectiveness for Framework-Based Web Applications
Student Research Competition
Madhurima Chakraborty University of California at Riverside
DOI
17:00
2h
Poster
Run-Time Data Analysis to Drive Compiler Optimizations
Student Research Competition
Sebastian Kloibhofer JKU Linz
DOI
17:00
2h
Poster
Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
Student Research Competition
Hwei-Shin Harriman Olin College of Engineering; Carnegie Mellon University
DOI
17:00
2h
Poster
Source Code Authorship Attribution using File Embeddings
Student Research Competition
Alina Bogdanova Innopolis University
DOI
17:00
2h
Poster
Run-Time Data Analysis in Dynamic Runtimes
Student Research Competition
Lukas Makor JKU Linz
DOI
17:00
2h
Poster
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Student Research Competition
Wonhyuk Choi Columbia University
DOI

Wed 20 Oct

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

Room17:003018:0030
Zurich A

Posters

Posters In-Person Session

Student Research Competition

Posters
17:00 - 19:00

Wed 20 Oct

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

Room17:0015304518:00153045
Zurich A
SPLASH PostersOOPSLAIn-Person
Programming and Execution Models for Parallel Bounded Exhaustive Testing
17:00 - 19:00
Onward! PapersDemoIn-Person
Motivating Complexity Understanding By Profiling Energy Usage
17:00 - 19:00
OOPSLAIn-Person
Verifying Concurrent Multicopy Search Structures
17:00 - 19:00
OOPSLAIn-Person
Copy-and-Patch Compilation
17:00 - 19:00
In-Person and VirtualOOPSLA
Compilation of Sparse Array Programming Models
17:00 - 19:00
OOPSLAIn-Person
Rewrite Rule Inference Using Equality Saturation
17:00 - 19:00
OOPSLAIn-Person
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
17:00 - 19:00
In-Person and VirtualOOPSLA
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
17:00 - 19:00
Onward! PapersIn-Person
Programming with Neural Surrogates of Programs
17:00 - 19:00
In-Person and VirtualOOPSLA
Reachability Types: Tracking Aliasing and Separation in Higher-Order Fu ...
17:00 - 19:00
SPLASH Student Research Competition
Implementation of an End-to-End Gradual Verification System
17:00 - 19:00
Towards Decidable and Expressive DOT
17:00 - 19:00
Programming-by-Example by Programming-by-Example: Synthesis of Looping ...
17:00 - 19:00
Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
17:00 - 19:00
A Study of Call Graph Effectiveness for Framework-Based Web Applications
17:00 - 19:00
Run-Time Data Analysis to Drive Compiler Optimizations
17:00 - 19:00
Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
17:00 - 19:00
Source Code Authorship Attribution using File Embeddings
17:00 - 19:00
Run-Time Data Analysis in Dynamic Runtimes
17:00 - 19:00
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
17:00 - 19:00