SPLASH 2019 (series) / Student Research Competition /
Debugging Support for Multi-paradigm Concurrent Programs
Wed 23 Oct 2019 18:22 - 18:33 at Foyer - Competition - Round 1
Thu 24 Oct 2019 17:00 - 17:15 at Room 1 - Competition - Round 2
Thu 24 Oct 2019 17:00 - 17:15 at Room 1 - Competition - Round 2
With the widespread adoption of concurrent programming, debugging of non-deterministic failures becomes increasingly important. Record & replay debugging aids developers in this effort by reliably reproducing recorded bugs. Because each concurrency model is particularly suited for different tasks, developers started combining them within the same application. Record & replay solutions are typically designed for one concurrency model only. In this paper we investigate a novel multi-paradigm record & replay that is based on abstracting concurrency models to a common set of concepts and events for unified ordering-based record & replay.
Wed 23 OctDisplayed time zone: Beirut change
Wed 23 Oct
Displayed time zone: Beirut change
Thu 24 OctDisplayed time zone: Beirut change
Thu 24 Oct
Displayed time zone: Beirut change
16:00 - 17:30 | |||
16:00 15mTalk | Designing immersive virtual training environments for experiential learning SRC Kalliopi Evangelia Stavroulia Cyprus University of Technology, Andreas Lanitis Cyprus University of Technology | ||
16:15 15mTalk | Linear capabilities for CHERI SRC | ||
16:30 15mTalk | Gradual Program Analysis SRC Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook | ||
16:45 15mTalk | Incremental Scannerless Generalized LR Parsing SRC Maarten P. Sijm Delft University of Technology | ||
17:00 15mTalk | Debugging Support for Multi-paradigm Concurrent Programs SRC Dominik Aumayr Johannes Kepler University Linz, Austria | ||
17:15 15mTalk | Practical Second Futamura Projection SRC Florian Latifi Johannes Kepler University Linz DOI Pre-print | ||