SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Wed 20 Oct 2021 10:20 - 10:50 at Zurich D - Posters Virtual Session
Wed 20 Oct 2021 18:20 - 18:50 at Zurich D - Posters Virtual Session

Wed 20 Oct

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

10:20 - 10:50
Posters Virtual SessionPosters at Zurich D +8h
10:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers
Posters
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
10:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers
Posters
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
10:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA
Posters
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
10:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA
Posters
Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London
10:20
30m
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
10:20
30m
Poster
Towards Self-Adaptable LanguagesVirtualOnward! Papers
Posters
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
18:20 - 18:50
Posters Virtual SessionPosters at Zurich D
18:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers
Posters
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
18:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA
Posters
Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London
18:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers
Posters
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
18:20
30m
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
18:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA
Posters
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
18:20
30m
Poster
Towards Self-Adaptable LanguagesVirtualOnward! Papers
Posters
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University