DSM 2021
Sun 17 - Fri 22 October 2021
Chicago, Illinois, United States
co-located with
SPLASH 2021
Toggle navigation
Attending
Venue: Swissotel Chicago
Program
DSM Program
Your Program
Sun 17 Oct
Mon 18 Oct
Tue 19 Oct
Wed 20 Oct
Thu 21 Oct
Fri 22 Oct
Track/Call
Organization
DSM 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
DSM 2021
DSM'19
DSM 2016
DSM 2015
DSM
DSM 2012
DSM 2011
Sign in
Sign up
SPLASH 2021
(
series
) /
DSM 2021 (
series
) /
Swissotel Chicago
/
Room information: Zurich A
Venue
Swissotel Chicago
Room name
Zurich A
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
17:00 - 19:00
Posters In-Person Session
SPLASH Posters
at
Zurich A
17:00
2h
Poster
Programming and Execution Models for Parallel Bounded Exhaustive Testing
OOPSLA
In-Person
SPLASH 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 Usage
Onward! Papers
Demo
In-Person
SPLASH 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 Structures
OOPSLA
In-Person
SPLASH 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 Compilation
OOPSLA
In-Person
SPLASH Posters
Haoran Xu
Stanford University
,
Fredrik Kjolstad
Stanford University
17:00
2h
Poster
Compilation of Sparse Array Programming Models
In-Person and Virtual
OOPSLA
SPLASH 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 Saturation
OOPSLA
In-Person
SPLASH 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 Analysis
OOPSLA
In-Person
SPLASH 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 Streams
In-Person and Virtual
OOPSLA
SPLASH 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 Programs
Onward! Papers
In-Person
SPLASH 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 Programs
In-Person and Virtual
OOPSLA
SPLASH 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
Posters
SPLASH Student Research Competition
at
Zurich A
17:00
2h
Poster
Implementation of an End-to-End Gradual Verification System
SPLASH 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
SPLASH 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
SPLASH Student Research Competition
Shmuel Berman
Columbia University
DOI
17:00
2h
Poster
Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
SPLASH Student Research Competition
Sophie Kaleba
University of Kent
DOI
17:00
2h
Poster
A Study of Call Graph Effectiveness for Framework-Based Web Applications
SPLASH Student Research Competition
Madhurima Chakraborty
University of California at Riverside
DOI
17:00
2h
Poster
Run-Time Data Analysis to Drive Compiler Optimizations
SPLASH Student Research Competition
Sebastian Kloibhofer
JKU Linz
DOI
17:00
2h
Poster
Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
SPLASH 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
SPLASH Student Research Competition
Alina Bogdanova
Innopolis University
DOI
17:00
2h
Poster
Run-Time Data Analysis in Dynamic Runtimes
SPLASH Student Research Competition
Lukas Makor
JKU Linz
DOI
17:00
2h
Poster
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
SPLASH Student Research Competition
Wonhyuk Choi
Columbia University
DOI
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
17:00
30
18:00
30
Zurich A
SPLASH Posters
Posters In-Person Session
SPLASH Student Research Competition
Posters
17:00 - 19:00
Wed 20 Oct
Displayed time zone:
Central Time (US & Canada)
change
Room
17:00
15
30
45
18:00
15
30
45
Zurich A
SPLASH Posters
OOPSLA
In-Person
Programming and Execution Models for Parallel Bounded Exhaustive Testing
17:00 - 19:00
Onward! Papers
Demo
In-Person
Motivating Complexity Understanding By Profiling Energy Usage
17:00 - 19:00
OOPSLA
In-Person
Verifying Concurrent Multicopy Search Structures
17:00 - 19:00
OOPSLA
In-Person
Copy-and-Patch Compilation
17:00 - 19:00
In-Person and Virtual
OOPSLA
Compilation of Sparse Array Programming Models
17:00 - 19:00
OOPSLA
In-Person
Rewrite Rule Inference Using Equality Saturation
17:00 - 19:00
OOPSLA
In-Person
Static Detection of Silent Misconfigurations with Deep Interaction Analysis
17:00 - 19:00
In-Person and Virtual
OOPSLA
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
17:00 - 19:00
Onward! Papers
In-Person
Programming with Neural Surrogates of Programs
17:00 - 19:00
In-Person and Virtual
OOPSLA
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
x
Mon 9 Dec 08:40