Foyer - IC 2019

VenueRoyal Olympic Hotel

Room nameFoyer

Floor-1

Capacity500

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 23 Oct
Displayed time zone: Beirut change

18:00 - 19:30	Competition - Round 1SPLASH SRC at Foyer

18:00 11m Talk		Is Mutation Score a Fair Metric? SPLASH SRC Beatriz Souza Federal University of Campina Grande
18:11 11m Talk		Designing immersive virtual training environments for experiential learning SPLASH SRC Kalliopi Evangelia Stavroulia Cyprus University of Technology, Andreas Lanitis Cyprus University of Technology
18:22 11m Talk		Debugging Support for Multi-paradigm Concurrent Programs SPLASH SRC Dominik Aumayr Johannes Kepler University Linz, Austria
18:33 11m Talk		Linear capabilities for CHERI SPLASH SRC Aaron Lippeveldts Vrije Universiteit Brussel, Dominique Devriese Vrije Universiteit Brussel
18:45 11m Talk		An Empirical Study of Programming Language Effect on OSS Development Effort SPLASH SRC Muna Altherwi Southampton University
18:56 11m Talk		Practical Second Futamura Projection SPLASH SRC Florian Latifi Johannes Kepler University Linz DOI Pre-print
19:07 11m Talk		Gradual Program Analysis SPLASH 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
19:18 11m Talk		Incremental Scannerless Generalized LR Parsing SPLASH SRC Maarten P. Sijm Delft University of Technology

Thu 24 Oct
Displayed time zone: Beirut change

17:30 - 19:30	Poster #2SPLASH Posters at Foyer

17:30 2m Poster		Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts SPLASH Posters Mohammadreza Ashouri University of Potsdam, Germany
17:32 2m Poster		Language-Parametric Semantic Editor Services based on Declarative Type System Specifications SPLASH Posters Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
17:35 2m Poster		NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories SPLASH Posters Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
17:38 2m Poster		A Symmetry-Based $N$-Body Solver Compiler SPLASH Posters Shigeyuki Sato The University of Tokyo
17:40 2m Poster		Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM SPLASH Posters Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
17:43 2m Poster		MetaDL : Declarative Program Analysis for the Masses SPLASH Posters Alexandru Dura Lund University, Hampus Balldin Lund University
17:46 2m Poster		Obsidian: Typestate and Assets for Safer Smart Contracts SPLASH Posters Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
17:49 2m Poster		Component-Based Computation-Energy Modeling for Embedded Systems SPLASH Posters Adam Seewald University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark, Julius Roede University of Amsterdam, Benjamin Rouxel University of Amsterdam, Clemens Grelck University of Amsterdam
17:51 2m Poster		Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT SPLASH Posters Nafise Eskandani Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
17:54 2m Poster		Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction SPLASH Posters Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, South Korea, Hakjoo Oh Korea University
17:57 2m Poster		Automatically Fixing Memory-Leaks SPLASH Posters Seongjoon Hong Korea University, Junhee Lee Korea University, South Korea, Jeongsoo Lee Korea University, Hakjoo Oh Korea University
18:00 2m Poster		Precise Safety Verification of Smart Contracts SPLASH Posters Sunbeom So Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
18:02 2m Poster		Towards a WebAssembly Standalone Runtime on GraalVM SPLASH Posters Salim S. Salim University of Manchester, Andrew Nisbet The University of Manchester, Mikel Luján University of Manchester
18:05 2m Poster		Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures SPLASH Posters Ari Rasch University of Münster, Richard Schulze University of Münster, Sergei Gorlatch
18:08 2m Poster		Squirrel: An Extensible Distributed KV Store SPLASH Posters Kevin De Porre , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication
18:10 2m Poster		Memory efficient CRDTs in dynamic environments SPLASH Posters Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication
18:13 2m Poster		Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education SPLASH Posters Ikuta Tanigawa Kyusyu University, Harumi Watanabe Tokai University, Nobuhiro Ohe Tokai Univ., Mikiko Sato Tokai University, Nobuhiko Ogura Tokyo City University, Takeshi Ohkawa Tokai Univ., Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University Link to publication
18:16 2m Poster		Generating a Fluent API with Syntax Checking from an LR Grammar SPLASH Posters Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo Link to publication
18:19 2m Poster		Multitier Reactive Programming in High Performance Computing SPLASH Posters Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt Link to publication
18:21 2m Poster		Certifying Graph-Manipulating C Programs via Localizations within Data Structures SPLASH Posters Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore Link to publication DOI
18:24 2m Poster		Aroma: Code Recommendation via Structural Code Search SPLASH Posters Sifei Luan Facebook, Inc., Di Yang University of California, Irvine, Celeste Barnaby Facebook, Inc., Koushik Sen University of California, Berkeley, Satish Chandra Facebook Link to publication
18:27 2m Poster		System FR: Formalized Foundations for the Stainless Verifier SPLASH Posters Jad Hamza EPFL, Switzerland, Nicolas Voirol EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland Link to publication
18:30 2m Poster		A Fault-Tolerant Programming Model for Distributed Interactive Applications SPLASH Posters Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt Link to publication
18:32 2m Poster		WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers SPLASH Posters Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium Link to publication
18:35 2m Poster		Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments SPLASH Posters Dowon Song Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University Link to publication
18:38 2m Poster		Asphalion: Trustworthy Shielding against Byzantine Faults SPLASH Posters Ivana Vukotic SnT, University of Luxembourg, Vincent Rahli University of Birmingham, Paulo Esteves-Veríssimo SnT, University of Luxembourg Link to publication
18:40 2m Poster		IVT: An Efficient Method for Sharing Subtype Polymorphic Objects SPLASH Posters Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China Link to publication
18:43 2m Poster		Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks SPLASH Posters David Richter Technical University of Darmstadt, Ragnar Mogk Technische Universität Darmstadt Link to publication
18:46 2m Poster		TLA+ model checking made symbolic SPLASH Posters Igor Konnov Inria Nancy - Grand Est, France, Jure Kukovec TU Wien, Austria, Thanh-Hai Tran TU Wien, Austria Link to publication
18:49 2m Poster		Getafix: Learning to Fix Bugs Automatically SPLASH Posters Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook Link to publication
18:51 2m Poster		Dependence-Aware, Unbounded Sound Predictive Race Detection SPLASH Posters Kaan Genç Ohio State University, Jake Roemer Ohio State University, Yufan Xu Ohio State University, Michael D. Bond Ohio State University Link to publication
18:54 2m Poster		Effective Lock Handling in Stateless Model Checking SPLASH Posters Michalis Kokologiannakis MPI-SWS, Germany, Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany Link to publication
18:57 2m Poster		Language-Integrated Privacy-Aware Distributed Queries SPLASH Posters Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt Link to publication
19:00 2m Poster		I/O Dependent Idempotence Bugs in Intermittent Systems SPLASH Posters Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University Link to publication
19:02 2m Poster		Vision Paper: Generating Incremental Type Services SPLASH Posters André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz Link to publication
19:05 2m Poster		Static Analysis with Demand-Driven Value Refinement SPLASH Posters Benno Stein University of Colorado Boulder, Benjamin Barslev Nielsen Aarhus University, Bor-Yuh Evan Chang University of Colorado Boulder \| Amazon, Anders Møller Aarhus University Link to publication
19:08 2m Poster		Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks SPLASH Posters Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas, Son Nguyen The University of Texas at Dallas Link to publication
19:10 2m Poster		Reflection in Attribute Grammars SPLASH Posters Lucas Kramer University of Minnesota, Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication
19:13 2m Poster		DeepSEA: A Language for Certified System Software SPLASH Posters Vilhelm Sjöberg Yale University, Yuyang Sang Yale University, Shu-chun Weng Yale University, Zhong Shao Yale University Link to publication
19:16 2m Poster		Practical Second Futamura Projection SPLASH Posters Florian Latifi Johannes Kepler University Linz
19:19 2m Poster		Gradual Program Analysis SPLASH Posters 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
19:21 2m Poster		Incremental Scannerless Generalized LR Parsing SPLASH Posters Maarten P. Sijm Delft University of Technology
19:24 2m Poster		Improving Performance and Quality of Database-Backed Software SPLASH Posters Junwen Yang university of chicago, Cong Yan University of Washington, Chengcheng Wan The University of Chicago, Alvin Cheung University of California, Berkeley, Shan Lu University of Chicago
19:27 2m Poster		On the Fly Synthesis of Edit Suggestions SPLASH Posters Anders Miltner Princeton University, Sumit Gulwani Microsoft, Vu Le Microsoft, Alan Leung Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft, Abhishek Udupa Microsoft Link to publication

Wed 23 Oct
Displayed time zone: Beirut change


Room	18:00						30						19:00						30
Foyer	SPLASH SRC Competition - Round 1

Thu 24 Oct
Displayed time zone: Beirut change


Room	17:00						30						18:00						30						19:00						30
Foyer							SPLASH Posters Poster #2

Wed 23 Oct
Displayed time zone: Beirut change


Room	18:00			15			30			45			19:00			15			30			45
Foyer	SPLASH SRC Is Mutation Score a Fair Metric? 18:00 - 18:11		SPLASH SRC Designing immersive virtual training environments for experiential learning 18:11 - 18:22		SPLASH SRC Debugging Support for Multi-paradigm Concurrent Programs 18:22 - 18:33			SPLASH SRC Linear capabilities for CHERI 18:33 - 18:45		SPLASH SRC An Empirical Study of Programming Language Effect on OSS Development Effort 18:45 - 18:56		SPLASH SRC Practical Second Futamura Projection 18:56 - 19:07		SPLASH SRC Gradual Program Analysis 19:07 - 19:18			SPLASH SRC Incremental Scannerless Generalized LR Parsing 19:18 - 19:30

Thu 24 Oct
Displayed time zone: Beirut change


Room	17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
Foyer							SPLASH Posters Etherolic: A Concolic Execution System for Security Analysis of Smart C ... 17:30 - 17:32	SPLASH Posters Language-Parametric Semantic Editor Services based on Declarative Type ... 17:32 - 17:35	SPLASH Posters NAB: Automated Large-scale Multi-language Dynamic Program Analysis in P ... 17:35 - 17:38	SPLASH Posters A Symmetry-Based $N$-Body Solver Compiler 17:38 - 17:40	SPLASH Posters Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM 17:40 - 17:43	SPLASH Posters MetaDL : Declarative Program Analysis for the Masses 17:43 - 17:46	SPLASH Posters Obsidian: Typestate and Assets for Safer Smart Contracts 17:46 - 17:49	SPLASH Posters Component-Based Computation-Energy Modeling for Embedded Systems 17:49 - 17:51	SPLASH Posters Distributed Object-oriented Programming with Multiple Consistency Level ... 17:51 - 17:54	SPLASH Posters Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Gene ... 17:54 - 17:57	SPLASH Posters Automatically Fixing Memory-Leaks 17:57 - 18:00	SPLASH Posters Precise Safety Verification of Smart Contracts 18:00 - 18:02	SPLASH Posters Towards a WebAssembly Standalone Runtime on GraalVM 18:02 - 18:05	SPLASH Posters Performance, Portability, and Productivity for Data-Parallel Applicatio ... 18:05 - 18:08	SPLASH Posters Squirrel: An Extensible Distributed KV Store 18:08 - 18:10	SPLASH Posters Memory efficient CRDTs in dynamic environments 18:10 - 18:13	SPLASH Posters Context-Oriented Live Programming Environments with Mixed Reality Syste ... 18:13 - 18:16	SPLASH Posters Generating a Fluent API with Syntax Checking from an LR Grammar 18:16 - 18:19	SPLASH Posters Multitier Reactive Programming in High Performance Computing 18:19 - 18:21	SPLASH Posters Certifying Graph-Manipulating C Programs via Localizations within Data ... 18:21 - 18:24	SPLASH Posters Aroma: Code Recommendation via Structural Code Search 18:24 - 18:27	SPLASH Posters System FR: Formalized Foundations for the Stainless Verifier 18:27 - 18:30	SPLASH Posters A Fault-Tolerant Programming Model for Distributed Interactive Applications 18:30 - 18:32	SPLASH Posters WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microco ... 18:32 - 18:35	SPLASH Posters Automatic and Scalable Detection of Logical Errors in Functional Progra ... 18:35 - 18:38	SPLASH Posters Asphalion: Trustworthy Shielding against Byzantine Faults 18:38 - 18:40	SPLASH Posters IVT: An Efficient Method for Sharing Subtype Polymorphic Objects 18:40 - 18:43	SPLASH Posters Turning Unobservable into Unreachable: Dynamic Reactive Programming wit ... 18:43 - 18:46	SPLASH Posters TLA+ model checking made symbolic 18:46 - 18:49	SPLASH Posters Getafix: Learning to Fix Bugs Automatically 18:49 - 18:51	SPLASH Posters Dependence-Aware, Unbounded Sound Predictive Race Detection 18:51 - 18:54	SPLASH Posters Effective Lock Handling in Stateless Model Checking 18:54 - 18:57	SPLASH Posters Language-Integrated Privacy-Aware Distributed Queries 18:57 - 19:00	SPLASH Posters I/O Dependent Idempotence Bugs in Intermittent Systems 19:00 - 19:02	SPLASH Posters Vision Paper: Generating Incremental Type Services 19:02 - 19:05	SPLASH Posters Static Analysis with Demand-Driven Value Refinement 19:05 - 19:08	SPLASH Posters Improving Bug Detection via Context-based Code Representation Learning ... 19:08 - 19:10	SPLASH Posters Reflection in Attribute Grammars 19:10 - 19:13	SPLASH Posters DeepSEA: A Language for Certified System Software 19:13 - 19:16	SPLASH Posters Practical Second Futamura Projection 19:16 - 19:19	SPLASH Posters Gradual Program Analysis 19:19 - 19:21	SPLASH Posters Incremental Scannerless Generalized LR Parsing 19:21 - 19:24	SPLASH Posters Improving Performance and Quality of Database-Backed Software 19:24 - 19:27	SPLASH Posters On the Fly Synthesis of Edit Suggestions 19:27 - 19:30

Room information: Foyer

Wed 23 Oct
Displayed time zone: Beirut change

Thu 24 Oct
Displayed time zone: Beirut change

Wed 23 Oct
Displayed time zone: Beirut change

SPLASH SRC

Thu 24 Oct
Displayed time zone: Beirut change

SPLASH Posters

Wed 23 Oct
Displayed time zone: Beirut change

Thu 24 Oct
Displayed time zone: Beirut change

Tracks

Room information: Foyer

Program Display Configuration

Wed 23 OctDisplayed time zone: Beirut change

Thu 24 OctDisplayed time zone: Beirut change

Wed 23 OctDisplayed time zone: Beirut change

SPLASH SRC

Thu 24 OctDisplayed time zone: Beirut change

SPLASH Posters

Wed 23 OctDisplayed time zone: Beirut change

Thu 24 OctDisplayed time zone: Beirut change

Wed 23 Oct
Displayed time zone: Beirut change

Thu 24 Oct
Displayed time zone: Beirut change

Wed 23 Oct
Displayed time zone: Beirut change

Thu 24 Oct
Displayed time zone: Beirut change

Wed 23 Oct
Displayed time zone: Beirut change

Thu 24 Oct
Displayed time zone: Beirut change