Statically Bounded-Memory Delayed Sampling for Probabilistic Streams (SPLASH 2021 - Posters)

Who

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin

Track

SPLASH 2021 Posters

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

When

Wed 20 Oct 2021 17:00 - 19:00 at Zurich A - Posters In-Person Session
Thu 21 Oct 2021 10:20 - 10:50 at Zurich D - Posters Virtual Session
Thu 21 Oct 2021 18:20 - 18:50 at Zurich D - Posters Virtual Session

Eric Atkinson

Massachusetts Institute of Technology

United States

Guillaume Baudart

IBM Research, USA

Louis Mandel

IBM Research

United States

Charles Yuan

Massachusetts Institute of Technology

United States

Michael Carbin

Massachusetts Institute of Technology

United States

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

Display full programSpecify a time band

Save

Session Program

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

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

10:20 - 10:50	Posters Virtual SessionPosters at Zurich D +8h

10:20 30m Poster		Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA Posters Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook
10:20 30m 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
10:20 30m 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
10:20 30m Poster		Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion

18:20 - 18:50	Posters Virtual SessionPosters at Zurich D

18:20 30m Poster		Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion
18:20 30m 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
18:20 30m 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
18:20 30m Poster		Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA Posters Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook