TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands
co-located with
ECOOP and ISSTA 2018
Toggle navigation
Attending
Venue: ISSTA Steering Committee Meeting
Restaurant: Cafe de Jaren
Venue: Uber
Venue: Mövenpick Hotel Amsterdam City Centre
Restaurant: Tobacco Theater
Restaurant: Zaalverhuur Pakhuis de Zwijger
Restaurant: De Koninklijke Industrieele Groote Club
Program
TAV-CPS/IoT Program
Your Program
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
TAV-CPS/IoT 2018
TAV-CPS/IoT
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Keynotes
ECOOP
Research Papers
ECOOP
Journal-First
ISSTA
ISSTA
ISSTA
Artifacts
ISSTA
Keynotes
ISSTA
Steering Committee Meeting (By Invitation Only)
ISSTA
Technical Papers
ISSTA
Tool Demonstrations
Workshops
BenchWork
COP
DPA
FTfJP
ICOOOLPS
INTUITESTBEDS
ISAGT
ML4PL
Panathon
SALAD
SOAP
VORTEX
WoSSCA
Organization
TAV-CPS/IoT 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
ECOOP Research Papers
ISSTA
Organizing Committee
ISSTA Artifacts
ISSTA Technical Papers
ISSTA Tool Demonstrations
Workshops
BenchWork
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
DPA
Organizing Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ISAGT
Organizing Committee
Program Committee
ML4PL
Organizing Committee
Program Committee
Panathon
Organizers
SALAD
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WoSSCA
Attendees
Program Committee
Organizing Committee
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2018
(
series
) /
TAV-CPS/IoT 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Matterhorn
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Matterhorn
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:15 - 10:20
Keynote
CurryOn Curry On Keynotes
at
Matterhorn
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 Future
KEYNOTE
CurryOn Curry On Keynotes
Ben L. Titzer
Google
,
Andreas Rossberg
Google
17:50 - 18:40
Keynote
CurryOn Curry On Keynotes
at
Matterhorn
17:50
50m
Talk
Linear Haskell: practical linearity in a higher-order polymorphic language
KEYNOTE
CurryOn Curry On Keynotes
Simon Peyton Jones
Microsoft Research
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:15 - 10:20
Keynote
CurryOn Curry On Keynotes
at
Matterhorn
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
Felienne Hermans
17:50 - 18:40
Keynote
CurryOn Curry On Keynotes
at
Matterhorn
17:50
50m
Talk
Go: building on the shoulders of giants and stepping on a few toes
KEYNOTE
CurryOn Curry On Keynotes
Steve Francia
Google
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
17:00 - 20:00
Poster session
ECOOP and ISSTA Posters
at
Matterhorn
Chair(s):
Lisa Nguyen Quang Do
Paderborn University
17:00
3h
Poster
Typed First-Class Traits
ECOOP paper
ECOOP and ISSTA 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 Inputs
ISSTA paper
ECOOP and ISSTA 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 Programming
COP paper
ECOOP and ISSTA 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 Localization
ISSTA paper
ECOOP and ISSTA 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 Systems
ECOOP paper
ECOOP and ISSTA 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 Forensics
WoSSCA talk
ECOOP and ISSTA 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 Time
ISSTA paper
ECOOP and ISSTA Posters
Luc Bläser
Hochschule für Technik Rapperswil
17:00
3h
Poster
Defensive Points-To Analysis: Effective Soundness via Laziness
ECOOP paper
ECOOP and ISSTA Posters
Yannis Smaragdakis
University of Athens
,
George Kastrinis
University of Athens
17:00
3h
Poster
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA paper
ECOOP and ISSTA 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 Libraries
ECOOP paper
ECOOP and ISSTA 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 Approach
ISSTA paper
ECOOP and ISSTA 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 Tuscan
ISSTA paper
ECOOP and ISSTA Posters
Kareem Khazem
University College London
,
Earl T. Barr
,
Petr Hosek
Google, Inc.
17:00
3h
Poster
Advances in the ANaConDA Framework
ISSTA demonstration
ECOOP and ISSTA 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 Applications
Doctoral symposium paper
ECOOP and ISSTA 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 Projects
ECOOP paper
ECOOP and ISSTA 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 Snapshots
ISSTA paper
ECOOP and ISSTA 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 Applications
ECOOP paper
ECOOP and ISSTA 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 Developers
ICOOOLPS paper
ECOOP and ISSTA Posters
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
HPI, University of Potsdam
17:00
3h
Poster
OASIs: Oracle Assessment and Improvement Tool
ISSTA demonstration
ECOOP and ISSTA 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 Code
ISSTA paper
ECOOP and ISSTA 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 Specifications
ISSTA paper
ECOOP and ISSTA 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 Vulnerabilities
Doctoral symposium paper
ECOOP and ISSTA Posters
Goran Piskachev
Fraunhofer IEM
17:00
3h
Poster
Symbolic Path Cost Analysis for Side-Channel Detection
ISSTA paper
ECOOP and ISSTA 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 Overriding
ECOOP paper
ECOOP and ISSTA 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 Analyses
FTfJP paper
ECOOP and ISSTA Posters
Tamás Szabó
,
Sebastian Erdweg
TU Delft
17:00
3h
Poster
Secure integration of cryptographic software
ECOOP paper
ECOOP and ISSTA 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 DroidSafe
ISSTA paper
ECOOP and ISSTA 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 Execution
ISSTA paper
ECOOP and ISSTA 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 Coloring
ECOOP paper
ECOOP and ISSTA 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 R
ISSTA paper
ECOOP and ISSTA 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 Apps
ISSTA paper
ECOOP and ISSTA 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 corules
ECOOP paper
ECOOP and ISSTA 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 Overview
SOAP paper
ECOOP and ISSTA 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 Transformation
ECOOP paper
ECOOP and ISSTA 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 ScalaLoci
FTfJP paper
ECOOP and ISSTA 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 languages
ICOOOLPS paper
ECOOP and ISSTA 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 Synthesis
ECOOP paper
ECOOP and ISSTA 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 Snapshots
ECOOP paper
ECOOP and ISSTA Posters
Aleksandar Prokopec
Oracle Labs
,
Fengyun Liu
EPFL, Switzerland
17:00
3h
Poster
Fault-tolerant Distributed Reactive Programming
ECOOP paper
ECOOP and ISSTA 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 Analysis
Doctoral symposium paper
ECOOP and ISSTA Posters
Dan Iorga
Imperial College London, UK
,
Alastair F. Donaldson
Imperial College London
17:00
3h
Poster
Probabilistic Software Modeling
Doctoral symposium paper
ECOOP and ISSTA Posters
Hannes Thaller
Institute for Software Systems Engineering, Johannes Kepler University, Linz
17:00
3h
Demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA demonstration
ECOOP and ISSTA 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 JVMs
ECOOP paper
ECOOP and ISSTA Posters
Jonathan Bell
George Mason University
,
Luís Pina
George Mason University
Media Attached
17:00
3h
Poster
Testing for Performance Issues in OS Kernels
Doctoral symposium paper
ECOOP and ISSTA Posters
Yiqun Chen
17:00
3h
Poster
The Essence of Nested Composition
ECOOP paper
ECOOP and ISSTA 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 learning
ML4PL talk
ECOOP and ISSTA 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 Apps
ISSTA paper
ECOOP and ISSTA 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 Alarms
ISSTA paper
ECOOP and ISSTA Posters
Tukaram Muske
Tata Consultancy Services Ltd
,
Rohith Talluri
Tata Consultancy Services Ltd
,
Alexander Serebrenik
Eindhoven University of Technology
18:00 - 20:00
Poster Reception
ECOOP and ISSTA Catering
at
Matterhorn
18:00
2h
Poster
Poster reception
ECOOP and ISSTA Catering
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Matterhorn
CurryOn Curry On Keynotes
Keynote
CurryOn Curry On Keynotes
Keynote
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Matterhorn
CurryOn Curry On Keynotes
Keynote
CurryOn Curry On Keynotes
Keynote
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
17:00
30
18:00
30
19:00
30
Matterhorn
ECOOP and ISSTA Posters
Poster session
ECOOP and ISSTA Catering
Poster Reception
18:00 - 20:00
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Matterhorn
CurryOn Curry On Keynotes
Opening Remarks
09:15 - 09:30
CurryOn Curry On Keynotes
KEYNOTE
WebAssembly, Past, Present, and Future
09:30 - 10:20
CurryOn Curry On Keynotes
KEYNOTE
Linear Haskell: practical linearity in a higher-order polymorphic language
17:50 - 18:40
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Matterhorn
CurryOn Curry On Keynotes
Opening Remarks
09:15 - 09:30
CurryOn Curry On Keynotes
KEYNOTE
How does code sound?
09:30 - 10:20
CurryOn Curry On Keynotes
KEYNOTE
Go: building on the shoulders of giants and stepping on a few toes
17:50 - 18:40
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Matterhorn
ECOOP and ISSTA Posters
ECOOP paper
Typed First-Class Traits
17:00 - 20:00
ISSTA paper
PerfFuzz: Automatically Generating Pathological Inputs
17:00 - 20:00
COP paper
Feature Visualiser: an Inspection Tool for Programmers in Context-Orien ...
17:00 - 20:00
ISSTA paper
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ...
17:00 - 20:00
ECOOP paper
Targeted Test Generation for Actor Systems
17:00 - 20:00
WoSSCA talk
Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics
17:00 - 20:00
ISSTA paper
Practical Detection of Concurrency Issues at Coding Time
17:00 - 20:00
ECOOP paper
Defensive Points-To Analysis: Effective Soundness via Laziness
17:00 - 20:00
ISSTA paper
Shaping Program Repair Space with Existing Patches and Similar Code
17:00 - 20:00
ECOOP paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
17:00 - 20:00
ISSTA paper
Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ...
17:00 - 20:00
ISSTA paper
Making Data-Driven Porting Decisions with Tuscan
17:00 - 20:00
ISSTA demonstration
Advances in the ANaConDA Framework
17:00 - 20:00
Doctoral symposium paper
Automated End To End Testing of Single Page Web Applications
17:00 - 20:00
ECOOP paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ...
17:00 - 20:00
ISSTA paper
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
17:00 - 20:00
ECOOP paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ...
17:00 - 20:00
ICOOOLPS paper
Polyglot Programming - Opportunities of Language Implementation Framewo ...
17:00 - 20:00
ISSTA demonstration
OASIs: Oracle Assessment and Improvement Tool
17:00 - 20:00
ISSTA paper
Deep Learning over Code
17:00 - 20:00
ISSTA paper
Translating Code Comments to Procedure Specifications
17:00 - 20:00
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
17:00 - 20:00
ISSTA paper
Symbolic Path Cost Analysis for Side-Channel Detection
17:00 - 20:00
ECOOP paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
17:00 - 20:00
FTfJP paper
Incrementalizing Lattice-Based Program Analyses
17:00 - 20:00
ECOOP paper
Secure integration of cryptographic software
17:00 - 20:00
ISSTA paper
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
17:00 - 20:00
ISSTA paper
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
17:00 - 20:00
ECOOP paper
Efficient Reflection String Analysis via Graph Coloring
17:00 - 20:00
ISSTA paper
Tests from Traces: Automated Unit Test Extraction for R
17:00 - 20:00
ISSTA paper
CiD: Automating the Detection of API-related Compatibility Issues in An ...
17:00 - 20:00
ECOOP paper
Modelling infinite behaviour by corules
17:00 - 20:00
SOAP paper
Towards a Framework for Detecting Energy Drain in Mobile Applications - ...
17:00 - 20:00
ECOOP paper
Learning to Accelerate Symbolic Execution via Code Transformation
17:00 - 20:00
FTfJP paper
Distributed Multitier Programming with Placement Types using ScalaLoci
17:00 - 20:00
ICOOOLPS paper
SHAPES: Adding memory layouts and SIMD capabilities to high-level languages
17:00 - 20:00
ECOOP paper
Automating Object Transformations for Dynamic Software Updating via Onl ...
17:00 - 20:00
ECOOP paper
Theory and Practice of Coroutines with Snapshots
17:00 - 20:00
ECOOP paper
Fault-tolerant Distributed Reactive Programming
17:00 - 20:00
Doctoral symposium paper
A Portable Framework for Multi-core Interference Tuning and Analysis
17:00 - 20:00
Doctoral symposium paper
Probabilistic Software Modeling
17:00 - 20:00
ISSTA demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
17:00 - 20:00
ECOOP paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
17:00 - 20:00
Doctoral symposium paper
Testing for Performance Issues in OS Kernels
17:00 - 20:00
ECOOP paper
The Essence of Nested Composition
17:00 - 20:00
ML4PL talk
Generating software adaptations using machine learning
17:00 - 20:00
ISSTA paper
Automatically Translating Bug Reports into Test Cases for Mobile Apps
17:00 - 20:00
ISSTA paper
Repositioning of Static Analysis Alarms
17:00 - 20:00
ECOOP and ISSTA Catering
Poster reception
18:00 - 20:00
x
Fri 27 Dec 05:36