STOKED 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / STOKED 2019 (series) / Royal Olympic Hotel /

Room information: Foyer

VenueRoyal Olympic Hotel
Room nameFoyer
Floor-1
Capacity500
Room InformationNo extra information available
Program

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

Room18:003019:0030
Foyer

SPLASH SRC

Competition - Round 1

Thu 24 Oct

Displayed time zone: Beirut change

Room17:003018:003019:0030
Foyer

SPLASH Posters

Poster #2

Wed 23 Oct

Displayed time zone: Beirut change

Room18:0015304519:00153045
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

Room17:0015304518:0015304519:00153045
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