Blogs (61) >>

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 20:00
Welcome: Peyton JonesSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
17:00
3h
Talk
35 years of fun with functional programming
Summer School
S: Simon Peyton Jones Microsoft Research

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Welcome & Keynote: TorlakISSTA Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
15m
Welcome
ISSTA Keynotes
Tijs van der Storm CWI, Frank Tip Northeastern University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15
60m
Talk
Solver-Aided Programming for All
ISSTA Keynotes
Emina Torlak University of Washington
09:15 - 10:20
09:15
15m
Opening Remarks
CurryOn Curry On Keynotes
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:30
50m
Talk
WebAssembly, Past, Present, and FutureKEYNOTE
CurryOn Curry On Keynotes
10:30 - 11:00
10:30
30m
Coffee Break
ISSTA Catering

11:00 - 12:30
Session 1COP at Bangkok
Chair(s): Jens Lincke Hasso Plattner Institute, Tetsuo Kamina Oita University
11:00
30m
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI, University of Potsdam
11:30
30m
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
12:00
30m
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert Hirschfeld HPI, University of Potsdam, Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Tobias Dürschmid Hasso Plattner Institute
11:00 - 12:30
Session 1FTfJP at Hanoi
11:00
30m
Full-paper
Monotonic Gradual Typing in a Common Calculus
FTfJP
Benjamin Chung Northeastern University, Jan Vitek Northeastern University
Pre-print
11:30
30m
Full-paper
Incremental Overload Resolution in Object-Oriented Programming Languages
FTfJP
Tamás Szabó itemis AG / TU Delft, Edlira Kuci TU Darmstadt, Germany, Matthijs Bijman Delft University of Technology, Mira Mezini TU Darmstadt, Sebastian Erdweg TU Delft
Pre-print
12:00
30m
Full-paper
Safely Abstracting Memory Layouts
FTfJP
Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London
Pre-print
11:00 - 12:30
11:00
40m
Talk
Adding kind-polymorphism to the Scala programming language
CurryOn Curry On Talks
Miles Sabin Underscore LLP
11:50
40m
Talk
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
Deian Stefan University of California, San Diego
11:00 - 12:30
11:00
40m
Talk
Your inner compiler engineer wants out!Chess Timer Talk
CurryOn Curry On Talks
Jesse Alama Vicampo
11:50
40m
Talk
Atom Heart Monad: FRP in C++
CurryOn Curry On Talks
Ivan Čukić KDE e.V.
11:00 - 12:30
Secure and SoundISSTA Technical Papers at Zurich II
Chair(s): Cristian Cadar Imperial College London
11:00
20m
Talk
Lightweight Verification of Array Indexing
ISSTA Technical Papers
Martin Kellogg University of Washington, Seattle, Vlastimil Dort Charles University, Suzanne Millstein University of Washington, Michael D. Ernst University of Washington, USA
11:20
20m
Talk
Eliminating Timing Side-channel Leaks Using Program Repair
ISSTA Technical Papers
Meng Wu Virginia Tech, Shengjian (Daniel) Guo Virginia Tech, Patrick Schaumont Virginia Tech, Chao Wang University of Southern California
11:40
20m
Talk
Symbolic Path Cost Analysis for Side-Channel Detection
ISSTA Technical Papers
Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center
12:00
20m
Talk
Safe and Sound Program Analysis with Flix
ISSTA Technical Papers
Magnus Madsen Aalborg University, Ondřej Lhoták University of Waterloo, Canada
12:20
10m
Q&A in groups
ISSTA Technical Papers

12:30 - 14:00
12:30
90m
Lunch
ISSTA Catering

13:50 - 15:20
13:50
40m
Talk
A CRDT Primer: Defanging Order Theory
CurryOn Curry On Talks
John Mumm Vectrology Solutions
14:40
40m
Talk
Better living through incrementality: Immediate static analysis feedback without loss of precision
CurryOn Curry On Talks
Tamás Szabó itemis AG / TU Delft, Sebastian Erdweg TU Delft
14:00 - 15:30
Session 2COP at Bangkok
Chair(s): Tetsuo Kamina Oita University, Jens Lincke Hasso Plattner Institute
14:00
30m
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai Tanabe Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
14:30
30m
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas
15:00
30m
Talk
A Declarative Language for Context Activation
COP
Nicolás Cardozo Universidad de los Andes
14:00 - 15:30
Session 2FTfJP at Hanoi
14:00
60m
Talk
Towards specifications of robustness -- the things that programs do *not* doKeynote
FTfJP
Sophia Drossopoulou Imperial College London
15:00
30m
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David Cok CEA, LIST, Software Safety and Security Laboratory
Pre-print
14:00 - 15:30
Testing and Fault LocalizationISSTA Technical Papers at Zurich II
Chair(s): Cindy Rubio-González University of California, Davis
14:00
20m
Talk
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
ISSTA Technical Papers
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
14:20
20m
Talk
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
ISSTA Technical Papers
Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg
14:40
20m
Talk
Automated Test Mapping and Coverage for Network Topologies
ISSTA Technical Papers
Per Erik Strandberg Westermo Research and Development AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Daniel Sundmark Mälardalen University, Wasif Afzal Mälardalen University
15:00
20m
Talk
Evaluating Test-Suite Reduction in Real-World Software Evolution
ISSTA Technical Papers
August Shi University of Illinois at Urbana-Champaign, Alex Gyori Facebook, Muhammad Suleman Mahmood University of Illinois at Urbana-Champaign, Peiyuan Zhao University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign
15:20
10m
Q&A in groups
ISSTA Technical Papers

14:30 - 17:00
Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S. Păsăreanu NASA Ames Research Center
15:30 - 16:00
15:30
30m
Coffee Break
ISSTA Catering

15:55 - 17:25
15:55
40m
Talk
Spoofax: Live Programming Language Design
CurryOn Curry On Talks
Eelco Visser Delft University of Technology
16:45
40m
Talk
Transducing for fun and profitChess Timer Talk
CurryOn Curry On Talks
Simon Belak Metabase
15:55 - 17:25
15:55
40m
Talk
It Ain't Necessarily So
CurryOn Curry On Talks
Chris Ford ThoughtWorks (UK) Ltd.
16:45
40m
Talk
Language Design in the Open
CurryOn Curry On Talks
15:55 - 17:25
15:55
40m
Talk
Papers we love - Elixir edition
CurryOn Curry On Talks
16:45
40m
Talk
Hackett: a metaprogrammable Haskell
CurryOn Curry On Talks
Alexis King Northwestern University
16:00 - 18:15
Session 3FTfJP at Hanoi
16:00
25m
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David Cok CEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25
25m
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Franceschini DIBRIS, University of Genova
Pre-print
16:50
25m
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal Weisenburger Technische Universität Darmstadt, Tobias Reinhard Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
Pre-print
17:15
30m
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse Oortwijn University of Twente, The Netherlands
Pre-print
17:45
30m
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten , Wytse Oortwijn University of Twente, The Netherlands, Mohsen Safari University of Twente, The Netherlands, Marieke Huisman University of Twente
Pre-print
16:00 - 17:30
Machine LearningISSTA Technical Papers at Zurich II
Chair(s): Alex Orso Georgia Institute of Technology
16:00
20m
Talk
Compiler Fuzzing through Deep LearningDistinguished Paper
ISSTA Technical Papers
Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
16:20
20m
Talk
Deep Specification Mining
ISSTA Technical Papers
Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University
16:40
20m
Talk
Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
ISSTA Technical Papers
Anurag Dwarakanath Accenture Labs, Manish Ahuja Accenture Labs, Samarth Sikand Accenture Labs, Raghotham M Rao Accenture Labs, R.P. Jagadeesh Chandra Bose Accenture Labs, Neville Dubash Accenture Labs, Sanjay Podder
17:00
20m
Talk
An Empirical Study on TensorFlow Program Bugs
ISSTA Technical Papers
Yuhao Zhang Peking University, Yifan Chen Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei Xiong Peking University, Lu Zhang Peking University
Pre-print
17:20
10m
Q&A in groups
ISSTA Technical Papers

19:30 - 23:00
19:30
3h30m
Curry On Party
CurryOn Catering

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
MobileISSTA Technical Papers at Zurich II
Chair(s): Andreas Zeller Saarland University
09:00
20m
Talk
Automatically Translating Bug Reports into Test Cases for Mobile Apps
ISSTA Technical Papers
Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
09:20
20m
Talk
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
ISSTA Technical Papers
Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
09:40
20m
Talk
Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
ISSTA Technical Papers
Farnaz Behrang Georgia Institute of Technology, Alessandro Orso Georgia Tech
10:00
20m
Talk
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeDistinguished Paper
ISSTA Technical Papers
Lina Qiu University of British Columbia, YINGYING WANG , Julia Rubin University of British Columbia
10:20
10m
Q&A in groups
ISSTA Technical Papers

09:15 - 10:20
09:15
15m
Opening Remarks
CurryOn Curry On Keynotes
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:30
50m
Talk
How does code sound?KEYNOTE
CurryOn Curry On Keynotes
10:30 - 11:00
10:30
30m
Coffee Break
ISSTA Catering

11:00 - 12:30
Session 1VORTEX at Bangkok
Chair(s): Davide Ancona University of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin Leucker University of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang Ahrendt Chalmers University of Technology
11:00 - 12:30
Session 1ICOOOLPS at Hanoi
11:00
60m
Talk
Polymorphic Inline Caching in JavaScriptCoreKeynote
ICOOOLPS
12:05
25m
Research paper
Assessing primitives performance on multi-stage execution
ICOOOLPS
Sophie Kaleba INRIA, Clément Béra RMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille
11:00 - 12:30
11:00
40m
Talk
Little Languages
CurryOn Curry On Talks
Chris Laffra Uber Technologies
11:50
40m
Talk
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Edd Barrett King's College London
11:00 - 12:30
11:00
40m
Talk
Strategies for Streaming
CurryOn Curry On Talks
Arnout Engelen Lightbend
11:50
40m
Talk
Distributed Systems Protocols and their Vulnerabilities
CurryOn Curry On Talks
11:00 - 12:30
Static AnalysisISSTA Technical Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
20m
Talk
Repositioning of Static Analysis Alarms
ISSTA Technical Papers
Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
11:20
20m
Talk
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
ISSTA Technical Papers
Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
11:40
20m
Talk
Static Analysis of Java Dynamic Proxies
ISSTA Technical Papers
George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
12:00
20m
Talk
Practical Detection of Concurrency Issues at Coding Time
ISSTA Technical Papers
Luc Bläser Hochschule für Technik Rapperswil
12:20
10m
Q&A in groups
ISSTA Technical Papers

12:30 - 14:00
12:30
90m
Lunch
ISSTA Catering

13:50 - 15:20
13:50
40m
Talk
Rethinking Modern Web Browsers
CurryOn Curry On Talks
Ben Livshits Imperial College London, UK
14:40
40m
Talk
Lessons from a Big Data Machine Learning Startup
CurryOn Curry On Talks
13:50 - 15:20
13:50
40m
Talk
Simplicity - The Road Not Taken?
CurryOn Curry On Talks
Dave Thomas Kx Systems
14:40
40m
Talk
Serverless Computing with FunctionsChess Timer Talk
CurryOn Curry On Talks
13:50 - 15:20
13:50
40m
Talk
SuperRecord: Practical Anonymous Records for Haskell
CurryOn Curry On Talks
14:40
40m
Talk
Lector in Codigo
CurryOn Curry On Talks
14:00 - 15:30
Session 2VORTEX at Bangkok
Chair(s): Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo , João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
14:30
30m
Talk
Implementing security protocol monitors
VORTEX
15:00
30m
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio Audrito Università di Torino, P: Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
14:00 - 15:30
Session 2ICOOOLPS at Hanoi
14:00
25m
Research paper
Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
ICOOOLPS
Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London, Susan Eisenbach Imperial College London
14:30
25m
Research paper
Maintaining Canonical Form After Edge Deletion
ICOOOLPS
Eric Fritz University of Wisconsin, Milwaukee
15:00
25m
Research paper
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS
Micha Hergarden Open University of the Netherlands, The Netherlands, Sung-Shik Jongmans Open University of the Netherlands, The Netherlands
14:00 - 17:30
Lecture: AhmedSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
Summer School
S: Amal Ahmed Northeastern University
14:00 - 15:30
Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik Bultan University of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nicolás Rosner University of California, Santa Barbara, Ben Hermann University of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid Bagheri University of Nebraska-Lincoln, USA, Kathryn Stolee North Carolina State University
15:30 - 16:00
15:30
30m
Coffee Break
ISSTA Catering

15:55 - 17:25
15:55
40m
Talk
Do-It-Yourself Functional Reactive Programming
CurryOn Curry On Talks
Manuel Chakravarty Tweag I/O & IOHK
16:45
40m
Talk
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Michael Arntzenius University of Birmingham, UK
15:55 - 17:25
15:55
40m
Talk
Isolation Without Containers
CurryOn Curry On Talks
16:45
40m
Talk
Using APIs and micro-services as the glue between observed and derived facts
CurryOn Curry On Talks
Faraz Babar American Express
15:55 - 17:25
15:55
40m
Talk
Type-Safe GraphQL Servers with GADTs
CurryOn Curry On Talks
16:45
40m
Talk
Luna - overview
CurryOn Curry On Talks
16:00 - 18:00
Session 3VORTEX at Bangkok
Chair(s): Martin Leucker University of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Elena Giachino , P: Stijn De Gouw , Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Cosimo Laneve , Violet Ka I Pun , Gianluigi Zavattaro
16:00 - 18:00
Session 3ICOOOLPS at Hanoi
16:00
60m
Talk
The first 15 years of PyPy: A retrospectiveKeynote
ICOOOLPS
17:05
25m
Research paper
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
ICOOOLPS
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld HPI, University of Potsdam
Link to publication DOI Pre-print
16:00 - 17:30
Test and Oracle GenerationISSTA Technical Papers at Zurich II
Chair(s): Sarfraz Khurshid University of Texas at Austin
16:00
20m
Talk
Tests from Traces: Automated Unit Test Extraction for R
ISSTA Technical Papers
Filip Křikava Czech Technical University, Jan Vitek Northeastern University
16:20
20m
Talk
Translating Code Comments to Procedure Specifications
ISSTA Technical Papers
Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezzè University of Milano-Bicocca, Italy, Sergio Delgado Castellanos IMDEA Software Institute
16:40
20m
Talk
PerfFuzz: Automatically Generating Pathological InputsDistinguished Paper
ISSTA Technical Papers
Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:20
10m
Q&A in groups
ISSTA Technical Papers

19:30 - 23:00
19:30
3h30m
Banquet
ISSTA Catering

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00
60m
Talk
Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. Ernst University of Washington, USA
10:00
30m
ISSTA 2019 Preview
ISSTA Keynotes
Anders Møller Aarhus University, Dongmei Zhang Microsoft Research, China
10:30 - 11:00
10:30
30m
Coffee Break
ISSTA Catering

11:00 - 12:30
Session #1ML4PL at Bangkok
Chair(s): Hila Peleg Technion, Israel, Artem Pelenitsyn Czech Technical University in Prague
11:00
60m
Talk
Inferring Input Structure for Machine LearningKeynote
ML4PL
Andreas Zeller Saarland University
12:00
30m
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila Peleg Technion, Israel
11:00 - 12:30
Session IDPA at Cairo
Chair(s): Max Schaefer Semmle
11:00
30m
Talk
Program Analysis with Flix
DPA
Magnus Madsen Aalborg University
11:30
30m
Talk
IncAL - Incrementalizing Lattice-Based Program Analyses
DPA
Tamás Szabó itemis AG / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian Erdweg TU Delft, Markus Voelter itemis
File Attached
12:00
30m
Talk
Simple encoding of lattices in Datalog
DPA
Rei Thiessen Google Inc.
File Attached
11:00 - 12:30
Real-World BenchmarkingBenchWork at Hanoi
11:00
10m
Opening Remarks
BenchWork
Karim Ali University of Alberta, Cristina Cifuentes Oracle Labs
11:10
30m
Real World Benchmarks for JavaScript
BenchWork
File Attached
11:40
20m
In Search of Accurate Benchmarking
BenchWork
Edd Barrett King's College London, Sarah Mount King's College London, Laurence Tratt King's College London
File Attached
12:00
30m
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
BenchWork
Kevin Allix University of Luxembourg
11:00 - 12:30
11:00
4m
Day opening
Welcome
Doc Symposium

11:04
20m
Talk
Lightning Talks
Doc Symposium

File Attached
11:24
16m
Doctoral symposium paper
A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning
Doc Symposium
Mohammadreza Ashouri University of Potsdam, Germany
File Attached
11:40
16m
Doctoral symposium paper
Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics
Doc Symposium
Asanka Sayakkara University College Dublin
File Attached
11:56
30m
Talk
Looking ahead: what can we do during the PhD for a future career?
Doc Symposium
Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
File Attached
11:00 - 12:30
Porting and RepairISSTA Technical Papers at Zurich II
Chair(s): Julian Dolby IBM Thomas J. Watson Research Center
11:00
20m
Talk
Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
ISSTA Technical Papers
Mohammad M. Almasi University of Manitoba, Hadi Hemmati University of Calgary, Gordon Fraser University of Passau, Phil McMinn University of Sheffield, Janis Benefelds SEB Life and Pensions Holding AB
11:20
20m
Talk
Making Data-Driven Porting Decisions with Tuscan
ISSTA Technical Papers
Kareem Khazem University College London, Earl T. Barr University College London, Petr Hosek Google, Inc.
11:40
20m
Talk
Comparing developer-provided to user-provided tests for fault localization and automated program repair
ISSTA Technical Papers
René Just University of Massachusetts, USA, Chris Parnin NCSU, Ian Drosos University of California, San Diego, Michael D. Ernst University of Washington, USA
12:00
20m
Talk
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA Technical Papers
Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University
Pre-print
12:20
10m
Q&A in groups
ISSTA Technical Papers

12:30 - 14:00
12:30
90m
Lunch
ISSTA Catering

13:30 - 15:24
14:00
25m
Doctoral symposium paper
Optimization based on Facts and Fiction
Doc Symposium
Olivier Flückiger Northeastern University, USA
File Attached
14:25
16m
Doctoral symposium paper
Two-phase Analysis for Precision and Scalability
Doc Symposium
Anastasios Antoniadis University of Athens, Greece
File Attached
14:41
16m
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
Doc Symposium
Goran Piskachev Fraunhofer IEM
File Attached
14:57
16m
Doctoral symposium paper
Improving Symbolic Flat Memory Models with Pointer Alias Analysis
Doc Symposium
Timotej Kapus Imperial College London
File Attached
15:13
16m
Doctoral symposium paper
Auto-tuning Framework for Multi-core Interference Analysis
Doc Symposium
Dan Iorga Imperial College London, UK
14:00 - 15:30
Session #2ML4PL at Bangkok
Chair(s): Artem Pelenitsyn Czech Technical University in Prague
14:00
30m
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina Cifuentes Oracle Labs, Yang Zhao Oracle Labs, Xingzhong Du Oracle Labs, Paddy Krishnan
14:30
30m
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
15:00
30m
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin , Victor Petukhov ITMO University, Kirill Smirenko Saint Petersburg State University, Nikita Povarov JetBrains
14:00 - 15:30
WoSSCA 2WoSSCA at Hamburg
Chair(s): Eric Jul University of Oslo
14:00
30m
Talk
Peering behind the Turing Mirror
WoSSCA
14:30
30m
Talk
Hardware and Software Mitigations
WoSSCA
15:00
30m
Talk
Pacer: Efficient I/O Side-Channel Mitigation in the Cloud
WoSSCA
Aastha Mehta MPI-SWS
14:00 - 15:30
JavaScript & Dynamic BehaviourBenchWork at Hanoi
14:00
30m
Benchmarking WebKit
BenchWork
File Attached
14:30
20m
Analyzing Duplication in JavaScript
BenchWork
Petr Maj Czech Technical University, Celeste Hollenbeck Northeastern University, USA, Shabbir Hussain Northeastern University, Jan Vitek Northeastern University
14:50
20m
Building a Node.js Benchmark: Initial Steps
BenchWork
Petr Maj Czech Technical University, François Gauthier Oracle Labs, Celeste Hollenbeck Northeastern University, USA, Jan Vitek Northeastern University, Cristina Cifuentes Oracle Labs
File Attached
15:10
20m
A Micro-Benchmark for Dynamic Program Behaviour
BenchWork
Li Sui Massey University, New Zealand, Jens Dietrich Massey University, Michael Emery Massey University, Amjed Tahir Massey University, Shawn Rasheed Massey University
14:00 - 17:30
Lecture: MøllerSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:00
3h30m
Talk
Static Program Analysis
Summer School
Anders Møller Aarhus University
14:00 - 15:30
Optimization and PerformanceISSTA Technical Papers at Zurich II
Chair(s): Tevfik Bultan University of California, Santa Barbara
14:00
20m
Talk
Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
ISSTA Technical Papers
Yingjun Lyu University of Southern California, Ding Li NEC Labs, William G.J. Halfond University of Southern California
14:20
20m
Talk
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
ISSTA Technical Papers
Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
14:40
20m
Talk
Exploiting Community Structure for Floating-Point Precision Tuning
ISSTA Technical Papers
Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
15:00
20m
Talk
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
ISSTA Technical Papers
Karl Palmskog University of Texas at Austin, Ahmet Celik University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin
15:20
10m
Q&A in groups
ISSTA Technical Papers

15:30 - 16:00
15:30
30m
Coffee Break
ISSTA Catering

16:00 - 18:00
Session #3ML4PL at Bangkok
Chair(s): Hila Peleg Technion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry Swan University of York, Colin Johnson University of Kent, Edwin Brady University of St. Andrews, UK
16:30
30m
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem Pelenitsyn Czech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL

16:00 - 17:30
Session IIIDPA at Cairo
Chair(s): Neville Grech University of Athens
16:00
30m
Talk
Horn Clause-based Program Analysis with CiaoPP
DPA
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
16:30
30m
Talk
QL + LGTM = Declarative Program Analysis for the Masses
DPA
File Attached
16:00 - 17:30
WoSSCA 3WoSSCA at Hamburg
Chair(s): Jan Vitek Northeastern University
16:00
45m
Talk
Software Diversity vs. Side Channels
WoSSCA
Stefan Brunthaler Bundeswehr University Munich
16:45
45m
Talk
Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis
WoSSCA
Asanka Sayakkara University College Dublin
16:00 - 17:40
Software Engineering & CompilersBenchWork at Hanoi
16:00
30m
InspectorClone: Evaluating Precision of Clone Detection Tools
BenchWork
16:30
20m
Towards a Data-Curation Platform for Code-Centric Research
BenchWork
Ben Hermann University of Paderborn, Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
16:50
20m
The Architecture Independent Workload Characterization
BenchWork
Beau Johnston Australian National University
File Attached
17:10
30m
Performance Monitoring in Eclipse OpenJ9
BenchWork
16:00 - 17:43
16:00
25m
Doctoral symposium paper
Probabilistic Software Modeling
Doc Symposium
Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz
Pre-print
16:25
16m
Doctoral symposium paper
Testing for Performance Issues in OS Kernels
Doc Symposium
File Attached
16:41
16m
Doctoral symposium paper
Automated End To End Testing of Single Page Web Applications
Doc Symposium
Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy
File Attached
16:57
30m
Talk
Landing your Dream Job After Graduate School
Doc Symposium
Cindy Rubio-González University of California, Davis
16:00 - 17:00
Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba Alimadadi Northeastern University
16:00
10m
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
16:10
10m
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
16:20
10m
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu
16:30
10m
OASIs: Oracle Assessment and Improvement Tool
ISSTA Tool Demonstrations
Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
16:40
10m
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
MalViz: An Interactive Visualization Tool for Tracing Malware
ISSTA Tool Demonstrations
Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University
17:00 - 20:00
Poster sessionPosters at Matterhorn
Chair(s): Lisa Nguyen Quang Do Paderborn University
17:00
3h
Poster
Typed First-Class TraitsECOOP paper
Posters
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
17:00
3h
Poster
PerfFuzz: Automatically Generating Pathological InputsISSTA paperDistinguished paper
Posters
Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:00
3h
Poster
Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper
Posters
Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas
17:00
3h
Poster
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper
Posters
Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg
17:00
3h
Poster
Targeted Test Generation for Actor SystemsECOOP paper
Posters
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
17:00
3h
Poster
Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk
Posters
Asanka Sayakkara University College Dublin, Nhien-An Le-Khac University College Dublin, Mark Scanlon University College Dublin
17:00
3h
Poster
Practical Detection of Concurrency Issues at Coding TimeISSTA paperDemonstration
Posters
Luc Bläser Hochschule für Technik Rapperswil
17:00
3h
Poster
Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paperDistinguished paper
Posters
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
17:00
3h
Poster
Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper
Posters
Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University
17:00
3h
Poster
Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper
Posters
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
17:00
3h
Poster
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper
Posters
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
17:00
3h
Poster
Making Data-Driven Porting Decisions with TuscanISSTA paper
Posters
Kareem Khazem University College London, Earl T. Barr , Petr Hosek Google, Inc.
17:00
3h
Poster
Advances in the ANaConDA FrameworkDemonstrationISSTA demonstrationBest tool demo
Posters
Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
17:00
3h
Poster
Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper
Posters
Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy, Paolo Tonella Fondazione Bruno Kessler, Filippo Ricca DIBRIS, University of Genova, Italy
17:00
3h
Poster
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper
Posters
Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie
17:00
3h
Poster
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper
Posters
Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
17:00
3h
Poster
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsDemonstrationECOOP paper
Posters
Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia
17:00
3h
Poster
Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersDemonstrationICOOOLPS paper
Posters
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld HPI, University of Potsdam
17:00
3h
Poster
OASIs: Oracle Assessment and Improvement ToolDemonstrationISSTA demonstration
Posters
Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
17:00
3h
Poster
Deep Learning over CodeISSTA paperDistinguished paper
Posters
Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
17:00
3h
Poster
Translating Code Comments to Procedure SpecificationsISSTA paperDemonstration
Posters
Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado Castellanos IMDEA Software Institute
17:00
3h
Poster
Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper
Posters
Goran Piskachev Fraunhofer IEM
17:00
3h
Poster
Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper
Posters
Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center
17:00
3h
Poster
FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper
Posters
Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
17:00
3h
Poster
Incrementalizing Lattice-Based Program AnalysesFTfJP paper
Posters
17:00
3h
Poster
Secure integration of cryptographic softwareDemonstrationECOOP paper
Posters
Stefan Krüger University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00
3h
Poster
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paperDistinguished paper
Posters
Lina Qiu University of British Columbia, YINGYING WANG , Julia Rubin University of British Columbia
17:00
3h
Poster
Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper
Posters
Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
17:00
3h
Poster
Efficient Reflection String Analysis via Graph ColoringECOOP paper
Posters
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
17:00
3h
Poster
Tests from Traces: Automated Unit Test Extraction for RISSTA paperDistinguished artifact award
Posters
Filip Křikava Czech Technical University, Jan Vitek Northeastern University
17:00
3h
Poster
CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper
Posters
Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
17:00
3h
Poster
Modelling infinite behaviour by corulesECOOP paper
Posters
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
17:00
3h
Poster
Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper
Posters
Andreas Schuler University of Applied Sciences Upper Austria, Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria
17:00
3h
Poster
Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper
Posters
Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
17:00
3h
Poster
Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper
Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
17:00
3h
Poster
SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper
Posters
Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London
17:00
3h
Poster
Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper
Posters
Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
17:00
3h
Poster
Theory and Practice of Coroutines with SnapshotsECOOP paper
Posters
Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
17:00
3h
Poster
Fault-tolerant Distributed Reactive ProgrammingECOOP paper
Posters
Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt
17:00
3h
Poster
A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper
Posters
Dan Iorga Imperial College London, UK, Alastair F. Donaldson Imperial College London
17:00
3h
Poster
Probabilistic Software ModelingDoctoral symposium paper
Posters
Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz
17:00
3h
Demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing ToolDemonstrationISSTA demonstration
Posters
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
17:00
3h
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper
Posters
Jonathan Bell George Mason University, Luís Pina George Mason University
Media Attached
17:00
3h
Poster
Testing for Performance Issues in OS KernelsDoctoral symposium paper
Posters
17:00
3h
Poster
The Essence of Nested CompositionECOOP paper
Posters
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
17:00
3h
Poster
Generating software adaptations using machine learningML4PL talk
Posters
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
17:00
3h
Poster
Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper
Posters
Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
17:00
3h
Poster
Repositioning of Static Analysis AlarmsISSTA paper
Posters
Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
18:00 - 20:00
Poster ReceptionCatering at Matterhorn
18:00
2h
Poster
Poster reception
Catering

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Welcome & Keynote: De MoorECOOP Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
15m
Welcome
ECOOP Keynotes
Tijs van der Storm CWI, Frank Tip Northeastern University, Todd Millstein University of California, Los Angeles
09:15
60m
Talk
Program Analysis for Everyone
ECOOP Keynotes
10:30 - 11:00
10:30
30m
Coffee Break
ECOOP Catering

11:00 - 12:30
Welcome and KeynoteTAV-CPS/IoT at Bangkok
11:00
60m
Talk
Computing Paradigms for Emerging Pervasive & IoT-based Applications
TAV-CPS/IoT
Archan Misra Singapore Management University, Singapore
12:00
30m
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron Yang Carnegie Mellon University, Robert Morris MIT, Corina S. Păsăreanu NASA Ames Research Center
11:00 - 12:30
Session 1Panathon at Hamburg
11:00
5m
Opening Remarks
Panathon

11:05
25m
Project Introductions
Panathon

11:30
60m
Work in Groups
Panathon

11:00 - 12:30
Session 1INTUITESTBEDS at Hanoi
11:00
10m
Welcome
INTUITESTBEDS

11:10
50m
Keynote: Alégroth, Amalfitano, Vos, and Aho
INTUITESTBEDS
Emil Alégroth Blekinge Institute of Technology, Domenico Amalfitano University of Naples Federico II, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Pekka Aho Open University of the Netherlands
12:00
30m
Talk
Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art
INTUITESTBEDS
Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Università della Svizzera italiana (USI), Paolo Rondena
11:00 - 12:30
SALAD 1SALAD at Paris
Chair(s): Harry Xu University of California, Los Angeles
11:00
15m
Talk
ONR's perspective on debloating
SALAD
11:15
40m
Talk
Degunking the CloudKeynote
SALAD
Nick Mitchell IBM TJ Watson Research Center
11:55
35m
Talk
Application Extraction for Java: A retrospective report of the Jax project
SALAD
Frank Tip Northeastern University, Chris Laffra Uber Technologies
11:00 - 13:00
Lecture: OrsoSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
11:00
2h
Talk
Software Testing and Debugging: State of the Art and Open Issues
Summer School
Alex Orso Georgia Institute of Technology
11:00 - 12:40
Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd Millstein University of California, Los Angeles
11:00
25m
Research paper
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt
DOI
11:25
25m
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
DOI
11:50
25m
Research paper
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
DOI
12:15
25m
Research paper
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London
DOI
12:40 - 14:00
12:40
80m
Lunch
ECOOP Catering

13:30 - 15:30
SALAD 2SALAD at Paris
Chair(s): Harry Xu University of California, Los Angeles
13:30
30m
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
14:00
30m
Talk
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Bjorn De Sutter Ghent University, Belgium
14:30
30m
Talk
Delta Debugging of Java Bytecode
SALAD
Jens Palsberg University of California, Los Angeles
15:00
30m
Talk
Fine-Grained Library Customization
SALAD
Linhai Song Pennsylvania State University, USA, Xinyu Xing
13:50 - 15:30
TestingECOOP Research Papers at Zurich II
Chair(s): Alastair F. Donaldson Imperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
DOI
14:00 - 15:30
14:00
60m
Talk
Conformance Testing as a Tool for Designing Connected Vehicle Functions
TAV-CPS/IoT
Mohammad Mousavi University of Leicester, UK
15:00
30m
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins Pontes Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
14:00 - 15:30
Session 2Panathon at Hamburg
14:00
90m
Work in Groups
Panathon

14:00 - 15:30
Session 2INTUITESTBEDS at Hanoi
14:00
30m
Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
INTUITESTBEDS
Riccardo Coppola Politecnico di Torino, Emil Alégroth Blekinge Institute of Technology, Luca Ardito , Marco Torchiano
14:30
30m
Talk
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities
INTUITESTBEDS
Domenico Amalfitano University of Naples Federico II, Anna Rita Fasolino Federico II University of Naples, Vincenzo Riccio University of Naples Federico II
15:00
30m
Talk
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
INTUITESTBEDS
Rudolf Ramler Software Competence Center Hagenberg, Thomas Wetzlmaier , Robert Hoschek
14:30 - 17:00
Lecture: ClickSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
Summer School
15:30 - 16:00
15:30
30m
Coffee Break
ECOOP Catering

16:00 - 17:30
Session 3Panathon at Hamburg
16:00
60m
Work in Groups
Panathon

17:00
25m
Progress Reports
Panathon

17:25
5m
Closing Remarks
Panathon

16:00 - 17:30
Session 3INTUITESTBEDS at Hanoi
16:00
30m
Tool Demos
INTUITESTBEDS

16:30
30m
Talk
Student Presentation: Conny Hagelukken
INTUITESTBEDS

17:00
30m
Talk
Student Presentation: Marion de Groot
INTUITESTBEDS

16:00 - 18:30
SALAD 3SALAD at Paris
Chair(s): Jan Vitek Northeastern University
16:00
37m
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi , Hong Hu Georgia Institute of Technology, Hyungon Moon Georgia Tech, Taesoo Kim Georgia Tech
16:37
37m
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian Dolby IBM Thomas J. Watson Research Center
17:15
37m
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer Tripp Google Inc.
17:52
37m
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus Kroes Vrije Universiteit Amsterdam, Anil Altinay , Joseph Nash , Yeoul Na , Stijn Volckaert University of California, Irvine, Herbert Bos , Michael Franz University of California, Irvine, Cristiano Giuffrida
16:00 - 17:15
LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David Liu State University of New York, Binghamton
16:00
25m
Research paper
Typed First-Class Traits
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
16:25
25m
Research paper
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
ECOOP Research Papers
Stefan Krüger University of Paderborn, Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira Mezini TU Darmstadt
DOI
16:50
25m
Research paper
Safe Transferable Regions
ECOOP Research Papers
Gowtham Kaki Purdue University, G. Ramalingam Microsoft Research
DOI

Fri 20 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Awards & Keynote: XuECOOP Keynotes at Zurich II
Chair(s): Eric Jul University of Oslo
09:00
3m
Awards
Distinguished Paper Award
ECOOP Keynotes
Todd Millstein University of California, Los Angeles
09:03
3m
Awards
Distinguished Artifact Award
ECOOP Keynotes
Philipp Haller KTH Royal Institute of Technology, Marianna Rapoport University of Waterloo, Maria Christakis MPI-SWS
09:06
3m
Awards
Test of Time Award
ECOOP Keynotes
Eric Jul University of Oslo, Davide Ancona University of Genova
09:09
6m
Awards
Dahl-Nygaard Awards
ECOOP Keynotes
Eric Jul University of Oslo
09:15
60m
Talk
Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design
ECOOP Keynotes
Harry Xu University of California, Los Angeles
10:30 - 11:00
10:30
30m
Coffee Break
ECOOP Catering

11:00 - 12:30
Morning SessionISAGT at Berlin
Chair(s): Chris Laffra Uber Technologies
11:00
5m
Day opening
Welcome
ISAGT
Chris Laffra Uber Technologies
11:05
25m
Talk
Automatic Python test generation
ISAGT
Chris Laffra Uber Technologies
11:30
30m
Talk
Extracting tests from runtime behavior for R
ISAGT
Filip Křikava Czech Technical University
12:00
30m
Talk
Computer-aided unit-test generation with UTA
ISAGT
11:00 - 12:40
TypesECOOP Research Papers at Zurich II
Chair(s): Philipp Haller KTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana Campos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin, Italy
DOI
12:40 - 14:00
12:40
80m
Lunch
ECOOP Catering

13:50 - 15:30
Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian Hammer University of Potsdam
13:50
25m
Research paper
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
Mohaned Qunaibit University of California, Irvine, Stefan Brunthaler Bundeswehr University Munich, Yeoul Na , Stijn Volckaert University of California, Irvine, Michael Franz University of California, Irvine
DOI
14:15
25m
Research paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
Jonathan Bell George Mason University, Luís Pina George Mason University
DOI Pre-print Media Attached
14:40
25m
Research paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
ECOOP Research Papers
Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia
DOI
15:05
25m
Research paper
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
ECOOP Research Papers
Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
DOI
14:00 - 15:30
After Lunch SessionISAGT at Berlin
Chair(s): Chris Laffra Uber Technologies
14:00
45m
Talk
Checking Non-Deterministic Behavior in Unit Tests
ISAGT
Luc Bläser Hochschule für Technik Rapperswil
14:45
45m
Talk
Generating tests for mobile platforms
ISAGT
Li Li Monash University, Australia, Jacques Klein University of Luxembourg, SnT, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg
14:30 - 17:00
Lecture: BriandSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
Summer School
Lionel Briand SnT Centre/University of Luxembourg
15:30 - 16:00
15:30
30m
Coffee Break
ECOOP Catering

16:00 - 17:30
After Tea SessionISAGT at Berlin
Chair(s): Chris Laffra Uber Technologies
16:00
30m
Talk
Analyzing the analyzers
ISAGT
Julia Rubin University of British Columbia
16:30
30m
Talk
Machine learning for compilers
ISAGT
Chris Cummins University of Edinburgh
17:00
25m
Meeting
Plenary Discussion
ISAGT
Chris Laffra Uber Technologies
17:25
5m
Day closing
Closing
ISAGT
Chris Laffra Uber Technologies
16:00 - 17:15
Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi Igarashi Kyoto University, Japan
16:00
25m
Research paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
DOI
16:25
25m
Research paper
Modeling infinite behaviour by corules
ECOOP Research Papers
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
DOI
16:50
25m
Research paper
The Essence of Nested Composition
ECOOP Research Papers
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
DOI
19:30 - 23:00
19:30
3h30m
Banquet
ECOOP Catering

Sat 21 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Keynote: Zeller & ECOOP 2019 PreviewECOOP Keynotes at Zurich II
Chair(s): Frank Tip Northeastern University
09:00
60m
Talk
Parser-Directed Test Generation
ECOOP Keynotes
Andreas Zeller Saarland University
10:00
15m
ECOOP 2019 Preview
ECOOP Keynotes
Jan Vitek Northeastern University
10:30 - 11:00
10:30
30m
Coffee Break
ECOOP Catering

11:00 - 12:40
Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
25m
Research paper
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
DOI
11:25
25m
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
DOI Pre-print
11:50
25m
Research paper
Definite Reference Mutability
ECOOP Research Papers
Ana Milanova Rensselaer Polytechnic Institute
DOI
12:15
25m
Research paper
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI