SPLASH 2021 (series) / Posters / Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA
Wed 20 Oct 2021 10:20 - 10:50 at Zurich D - Posters Virtual Session
Wed 20 Oct 2021 17:00 - 19:00 at Zurich A - Posters In-Person Session
Wed 20 Oct 2021 18:20 - 18:50 at Zurich D - Posters Virtual Session
Wed 20 Oct 2021 17:00 - 19:00 at Zurich A - Posters In-Person Session
Wed 20 Oct 2021 18:20 - 18:50 at Zurich D - Posters Virtual Session
Wed 20 OctDisplayed time zone: Central Time (US & Canada) change
Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change
10:20 - 10:50 | |||
10:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 | ||
17:00 - 19:00 | |||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | 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 2hPoster | Copy-and-Patch CompilationOOPSLAIn-Person Posters | ||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisOOPSLAIn-Person Posters | ||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | 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 - 18:50 | |||
18:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 | ||