WoSSCA 2018
Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands
co-located with
ECOOP and ISSTA
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
Complete Program
Your Program
Sun 15 Jul
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
WoSSCA 2018
WoSSCA 2018
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
TAV-CPS/IoT
VORTEX
Organization
WoSSCA 2018
WoSSCA 2018
Attendees
WoSSCA 2018
Program Committee
WoSSCA 2018
Organizing Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
Artifact Evaluation Committee
ECOOP Research Papers
Program Committee
ISSTA
Organizing Committee
ISSTA Artifacts
Artifact Evaluation Committee
ISSTA Technical Papers
Program Committee
ISSTA Tool Demonstrations
Program Committee
Workshops
BenchWork
BenchWork
Organizing Committee
BenchWork
Program Committee
COP
COP
Organizing Committee
COP
Program Committee
DPA
DPA
Organizing Committee
FTfJP
FTfJP
Program Committee
FTfJP
Steering Committee
ICOOOLPS
ICOOOLPS
Organizing Committee
ICOOOLPS
Program Committee
INTUITESTBEDS
INTUITESTBEDS
Organizing Committee
INTUITESTBEDS
Program Committee
ISAGT
ISAGT 2018
Organizing Committee
ISAGT 2018
Program Committee
ML4PL
ML4PL
Organizing Committee
ML4PL
Program Committee
Panathon
Panathon
Organizers
SALAD
SALAD
Organizing Committee
SALAD
Program Committee
SOAP
SOAP
Organizing Committee
SOAP
Program Committee
TAV-CPS/IoT
TAV-CPS/IoT
Organizing Committee
TAV-CPS/IoT
Program Committee
VORTEX
VORTEX
Organizing Committee
VORTEX
Program Committee
Search
Series
Sign in
Sign up
ECOOP and ISSTA
(
series
) /
WoSSCA 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Zurich II
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Zurich II
Floor
0
Room number
Capacity
50
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 16 Jul
issta-2018-Keynotes
09:00 - 10:30:
ISSTA Keynotes
- Welcome & Keynote: Torlak at
Zurich II
Chair(s):
Frank Tip
Northeastern University
issta-2018-Keynotes
09:00 - 09:15
Welcome
Tijs van der Storm
CWI
,
Frank Tip
Northeastern University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes
09:15 - 10:15
Talk
Solver-Aided Programming for All
Emina Torlak
University of Washington
issta-2018-Technical-Papers
11:00 - 12:30:
ISSTA Technical Papers
- Secure and Sound at
Zurich II
Chair(s):
Cristian Cadar
Imperial College London
issta-2018-Technical-Papers
11:00 - 11:20
Talk
Lightweight Verification of Array Indexing
Martin Kellogg
University of Washington, Seattle
,
Vlastimil Dort
Charles University
,
Suzanne Millstein
University of Washington
,
Michael D. Ernst
University of Washington, USA
issta-2018-Technical-Papers
11:20 - 11:40
Talk
Eliminating Timing Side-channel Leaks Using Program Repair
Meng Wu
Virginia Tech
,
Shengjian (Daniel) Guo
Virginia Tech
,
Patrick Schaumont
Virginia Tech
,
Chao Wang
University of Southern California
issta-2018-Technical-Papers
11:40 - 12:00
Talk
Symbolic Path Cost Analysis for Side-Channel Detection
Tegan Brennan
,
Seemanta Saha
University of California Santa Barbara
,
Tevfik Bultan
University of California, Santa Barbara
,
Corina S Pasareanu
NASA Ames Research Center
issta-2018-Technical-Papers
12:00 - 12:20
Talk
Safe and Sound Program Analysis with Flix
Magnus Madsen
Aalborg University
,
Ondřej Lhoták
University of Waterloo, Canada
issta-2018-Technical-Papers
12:20 - 12:30
Q&A in groups
issta-2018-Technical-Papers
14:00 - 15:30:
ISSTA Technical Papers
- Testing and Fault Localization at
Zurich II
Chair(s):
Cindy Rubio-Gonzalez
University of California, Davis
issta-2018-Technical-Papers
14:00 - 14:20
Talk
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
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
issta-2018-Technical-Papers
14:20 - 14:40
Talk
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
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
issta-2018-Technical-Papers
14:40 - 15:00
Talk
Automated Test Mapping and Coverage for Network Topologies
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
issta-2018-Technical-Papers
15:00 - 15:20
Talk
Evaluating Test-Suite Reduction in Real-World Software Evolution
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
issta-2018-Technical-Papers
15:20 - 15:30
Q&A in groups
issta-2018-Technical-Papers
16:00 - 17:30:
ISSTA Technical Papers
- Machine Learning at
Zurich II
Chair(s):
Alex Orso
Georgia Institute of Technology
issta-2018-Technical-Papers
16:00 - 16:20
Talk
Compiler Fuzzing through Deep Learning
Chris Cummins
University of Edinburgh
,
Pavlos Petoumenos
University of Edinburgh
,
Alastair Murray
Codeplay Software
,
Hugh Leather
University of Edinburgh
issta-2018-Technical-Papers
16:20 - 16:40
Talk
Deep Specification Mining
Tien-Duy B. Le
School of Information Systems, Singapore Management University
,
David Lo
Singapore Management University
issta-2018-Technical-Papers
16:40 - 17:00
Talk
Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
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
issta-2018-Technical-Papers
17:00 - 17:20
Talk
An Empirical Study on TensorFlow Program Bugs
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
issta-2018-Technical-Papers
17:20 - 17:30
Q&A in groups
Tue 17 Jul
issta-2018-Technical-Papers
09:00 - 10:30:
ISSTA Technical Papers
- Mobile at
Zurich II
Chair(s):
Andreas Zeller
Saarland University
issta-2018-Technical-Papers
09:00 - 09:20
Talk
Automatically Translating Bug Reports into Test Cases for Mobile Apps
Mattia Fazzini
Georgia Institute of Technology
,
Martin Prammer
Georgia Institute of Technology
,
Marcelo d'Amorim
Federal University of Pernambuco
,
Alessandro Orso
Georgia Tech
issta-2018-Technical-Papers
09:20 - 09:40
Talk
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
Li Li
Monash University, Australia
,
Tegawendé F. Bissyandé
University of Luxembourg, Luxembourg
,
Haoyu Wang
,
Jacques Klein
University of Luxembourg, SnT
issta-2018-Technical-Papers
09:40 - 10:00
Talk
Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
Farnaz Behrang
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
issta-2018-Technical-Papers
10:00 - 10:20
Talk
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Lina Qiu
University of British Columbia
,
YINGYING WANG
,
Julia Rubin
University of British Columbia
issta-2018-Technical-Papers
10:20 - 10:30
Q&A in groups
issta-2018-Technical-Papers
11:00 - 12:30:
ISSTA Technical Papers
- Static Analysis at
Zurich II
Chair(s):
Karim Ali
University of Alberta
issta-2018-Technical-Papers
11:00 - 11:20
Talk
Repositioning of Static Analysis Alarms
Tukaram Muske
Tata Consultancy Services Ltd
,
Rohith Talluri
Tata Consultancy Services Ltd
,
Alexander Serebrenik
Eindhoven University of Technology
issta-2018-Technical-Papers
11:20 - 11:40
Talk
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
Neville Grech
University of Athens
,
George Fourtounis
University of Athens
,
Adrian Francalanza
University of Malta
,
Yannis Smaragdakis
University of Athens
issta-2018-Technical-Papers
11:40 - 12:00
Talk
Static Analysis of Java Dynamic Proxies
George Fourtounis
University of Athens
,
George Kastrinis
University of Athens
,
Yannis Smaragdakis
University of Athens
issta-2018-Technical-Papers
12:00 - 12:20
Talk
Practical Detection of Concurrency Issues at Coding Time
Luc Bläser
Hochschule für Technik Rapperswil
issta-2018-Technical-Papers
12:20 - 12:30
Q&A in groups
issta-2018-Keynotes
14:00 - 15:30:
ISSTA Keynotes
- Keynote: Visser, Khurshid, and Pasareanu & Awards at
Zurich II
Chair(s):
Frank Tip
Northeastern University
,
Tevfik Bultan
University of California, Santa Barbara
issta-2018-Keynotes
14:00 - 15:00
Talk
Test input generation with Java PathFinder: Then and Now
Willem Visser
Stellenbosch University
,
Sarfraz Khurshid
University of Texas at Austin
,
Corina S Pasareanu
NASA Ames Research Center
issta-2018-Keynotes
15:00 - 15:07
Impact Paper Awards
Tevfik Bultan
University of California, Santa Barbara
issta-2018-Keynotes
15:07 - 15:14
Distinguished Paper Awards
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes
15:14 - 15:21
Talk
Distinguished Artifact Award
Nico Rosner
University of California, Santa Barbara
,
Ben Hermann
University of Paderborn
issta-2018-Keynotes
15:21 - 15:28
Best Tool Demonstration Award
Hamid Bagheri
University of Nebraska-Lincoln, USA
,
Kathryn Stolee
North Carolina State University
issta-2018-Technical-Papers
16:00 - 17:30:
ISSTA Technical Papers
- Test and Oracle Generation at
Zurich II
Chair(s):
Sarfraz Khurshid
University of Texas at Austin
issta-2018-Technical-Papers
16:00 - 16:20
Talk
Tests from Traces: Automated Unit Test Extraction for R
Filip Krikava
Czech Technical University
,
Jan Vitek
Northeastern University
issta-2018-Technical-Papers
16:20 - 16:40
Talk
Translating Code Comments to Procedure Specifications
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
issta-2018-Technical-Papers
16:40 - 17:00
Talk
PerfFuzz: Automatically Generating Pathological Inputs
Caroline Lemieux
University of California, Berkeley
,
Rohan Padhye
University of California, Berkeley
,
Koushik Sen
University of California, Berkeley
,
Dawn Song
issta-2018-Technical-Papers
17:20 - 17:30
Q&A in groups
Wed 18 Jul
issta-2018-Keynotes
09:00 - 10:30:
ISSTA Keynotes
- Keynote: Ernst & ISSTA 2019 Preview at
Zurich II
Chair(s):
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes
09:00 - 10:00
Talk
Pluggable Type Systems Reconsidered
Michael D. Ernst
University of Washington, USA
issta-2018-Keynotes
10:00 - 10:30
ISSTA 2019 Preview
Anders Møller
Aarhus University
,
Dongmei Zhang
Microsoft Research, China
issta-2018-Technical-Papers
11:00 - 12:30:
ISSTA Technical Papers
- Porting and Repair at
Zurich II
Chair(s):
Julian Dolby
IBM Thomas J. Watson Research Center
issta-2018-Technical-Papers
11:00 - 11:20
Talk
Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
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
issta-2018-Technical-Papers
11:20 - 11:40
Talk
Making Data-Driven Porting Decisions with Tuscan
Kareem Khazem
University College London
,
Earl Barr
University College London
,
Petr Hosek
Google, Inc.
issta-2018-Technical-Papers
11:40 - 12:00
Talk
Comparing developer-provided to user-provided tests for fault localization and automated program repair
René Just
University of Massachusetts, USA
,
Chris Parnin
NCSU
,
Ian Drosos
University of California, San Diego
,
Michael D. Ernst
University of Washington, USA
issta-2018-Technical-Papers
12:00 - 12:20
Talk
Shaping Program Repair Space with Existing Patches and Similar Code
Jiajun Jiang
Peking University
,
Yingfei Xiong
Peking University
,
Hongyu Zhang
The University of Newcastle
,
Qing Gao
Peking University
,
Xiangqun Chen
Peking University
Pre-print
issta-2018-Technical-Papers
12:20 - 12:30
Q&A in groups
issta-2018-Technical-Papers
14:00 - 15:30:
ISSTA Technical Papers
- Optimization and Performance at
Zurich II
Chair(s):
Tevfik Bultan
University of California, Santa Barbara
issta-2018-Technical-Papers
14:00 - 14:20
Talk
Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
Yingjun Lyu
University of Southern California
,
Ding Li
NEC Labs
,
William G.J. Halfond
University of Southern California
issta-2018-Technical-Papers
14:20 - 14:40
Talk
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Yannic Noller
Humboldt-Universität zu Berlin
,
Rody Kersten
Synopsys, Inc.
,
Corina S Pasareanu
NASA Ames Research Center
issta-2018-Technical-Papers
14:40 - 15:00
Talk
Exploiting Community Structure for Floating-Point Precision Tuning
Hui Guo
University of California, Davis
,
Cindy Rubio-Gonzalez
University of California, Davis
issta-2018-Technical-Papers
15:00 - 15:20
Talk
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
Karl Palmskog
University of Texas at Austin
,
Ahmet Celik
University of Texas at Austin, USA
,
Milos Gligoric
University of Texas at Austin
issta-2018-Technical-Papers
15:20 - 15:30
Q&A in groups
issta-2018-demos
16:00 - 17:00:
ISSTA Tool Demonstrations
- Tool Demos at
Zurich II
Chair(s):
Saba Alimadadi
Northeastern University
issta-2018-demos
16:00 - 16:10
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
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
,
Tomas Vojnar
Brno University of Technology
issta-2018-demos
16:10 - 16:20
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
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
issta-2018-demos
16:20 - 16:30
Managing Concurrent Testing of Data Race with ComRaDe
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
issta-2018-demos
16:30 - 16:40
OASIs: Oracle Assessment and Improvement Tool
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
issta-2018-demos
16:40 - 16:50
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
Diego Rodríguez-Baquero
Universidad de los Andes
,
Mario Linares-Vásquez
Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
issta-2018-demos
16:50 - 17:00
MalViz: An Interactive Visualization Tool for Tracing Malware
Vinh The Nguyen
Texas Tech University
,
Tommy Dang
Texas Tech University
,
Akbar Siami Namin
Texas Tech University
Thu 19 Jul
ecoop-2018-Keynotes
09:00 - 10:30:
ECOOP Keynotes
- Welcome & Keynote: De Moor at
Zurich II
Chair(s):
Frank Tip
Northeastern University
ecoop-2018-Keynotes
09:00 - 09:15
Welcome
Tijs van der Storm
CWI
,
Frank Tip
Northeastern University
,
Todd Millstein
University of California, Los Angeles
ecoop-2018-Keynotes
09:15 - 10:15
Talk
Program Analysis for Everyone
Oege de Moor
Semmle
ecoop-2018-papers
11:00 - 12:40:
ECOOP Research Papers
- Asynchrony and Concurrency at
Zurich II
Chair(s):
Todd Millstein
University of California, Los Angeles
ecoop-2018-papers
11:00 - 11:25
Research paper
Fault-tolerant Distributed Reactive Programming
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
ecoop-2018-papers
11:25 - 11:50
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
Hiroaki Inoue
Mitsubishi Electric Corporation, Japan
,
Tomoyuki Aotani
Tokyo Institute of Technology
,
Atsushi Igarashi
Kyoto University, Japan
DOI
ecoop-2018-papers
11:50 - 12:15
Research paper
Theory and Practice of Coroutines with Snapshots
Aleksandar Prokopec
Oracle Labs
,
Fengyun Liu
EPFL, Switzerland
DOI
ecoop-2018-papers
12:15 - 12:40
Research paper
A Concurrent Specification of POSIX File Systems
Gian Ntzik
Imperial College London
,
Pedro da Rocha Pinto
Imperial College London
,
Julian Sutherland
Imperial College London
,
Philippa Gardner
Imperial College London
DOI
ecoop-2018-papers
13:50 - 15:30:
ECOOP Research Papers
- Testing at
Zurich II
Chair(s):
Alastair Donaldson
Imperial College London
ecoop-2018-papers
13:50 - 14:15
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
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
ecoop-2018-papers
14:15 - 14:40
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
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
ecoop-2018-papers
14:40 - 15:05
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
Gianluca Mezzetti
Aarhus University, Denmark
,
Anders Møller
Aarhus University
,
Martin Toldam Torp
Aarhus University
DOI
ecoop-2018-papers
15:05 - 15:30
Research paper
Targeted Test Generation for Actor Systems
Sihan Li
,
Farah Hariri
University of Illinois at Urbana-Champaign
,
Gul Agha
University of Illinois at Urbana-Champaign, USA
DOI
ecoop-2018-papers
16:00 - 17:15:
ECOOP Research Papers
- Languages at
Zurich II
Chair(s):
Yu David Liu
State University of New York, Binghamton
ecoop-2018-papers
16:00 - 16:25
Research paper
Typed First-Class Traits
Xuan Bi
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong, China
DOI
ecoop-2018-papers
16:25 - 16:50
Research paper
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
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
ecoop-2018-papers
16:50 - 17:15
Research paper
Safe Transferable Regions
Gowtham Kaki
Purdue University
,
G. Ramalingam
Microsoft Research
DOI
Fri 20 Jul
ecoop-2018-Keynotes
09:00 - 10:30:
ECOOP Keynotes
- Awards & Keynote: Xu at
Zurich II
Chair(s):
Eric Jul
University of Oslo
ecoop-2018-Keynotes
09:00 - 09:03
Awards
Distinguished Paper Award
Todd Millstein
University of California, Los Angeles
ecoop-2018-Keynotes
09:03 - 09:06
Awards
Distinguished Artifact Award
Philipp Haller
KTH Royal Institute of Technology
,
Marianna Rapoport
University of Waterloo
,
Maria Christakis
MPI-SWS
ecoop-2018-Keynotes
09:06 - 09:09
Awards
Test of Time Award
Eric Jul
University of Oslo
,
Davide Ancona
University of Genova
ecoop-2018-Keynotes
09:09 - 09:15
Awards
Dahl-Nygaard Awards
Eric Jul
University of Oslo
ecoop-2018-Keynotes
09:15 - 10:15
Talk
Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design
Harry Xu
University of California, Los Angeles
ecoop-2018-papers
11:00 - 12:40:
ECOOP Research Papers
- Types at
Zurich II
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
ecoop-2018-papers
11:00 - 11:25
Research paper
KafKa: Gradual Typing for Objects
Benjamin W Chung
Northeastern University
,
Paley Li
Northeastern University
,
Francesco Zappa Nardelli
Inria
,
Jan Vitek
Northeastern University
DOI
ecoop-2018-papers
11:25 - 11:50
Research paper
Dependent Types for Class-based Mutable Objects
Joana Campos
University of Lisbon, Portugal
,
Vasco T. Vasconcelos
University of Lisbon, Portugal
DOI
ecoop-2018-papers
11:50 - 12:15
Research paper
Static typing of complex presence constraints in interfaces
Nathalie Oostvogels
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
DOI
ecoop-2018-papers
12:15 - 12:40
Research paper
Mailbox Types for Unordered Interactions
Ugo de'Liguoro
Università di Torino
,
Luca Padovani
University of Turin, Italy
DOI
ecoop-2018-papers
13:50 - 15:30:
ECOOP Research Papers
- Runtime Systems at
Zurich II
Chair(s):
Christian Hammer
University of Potsdam
ecoop-2018-papers
13:50 - 14:15
Research paper
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
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
ecoop-2018-papers
14:15 - 14:40
Research paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Jonathan Bell
George Mason University
,
Luís Pina
George Mason University
DOI
Pre-print
Media Attached
ecoop-2018-papers
14:40 - 15:05
Research paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
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
ecoop-2018-papers
15:05 - 15:30
Research paper
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Tianxiao Gu
,
Xiaoxing Ma
Nanjing University
,
Chang Xu
Nanjing University
,
Yanyan Jiang
Nanjing University
,
Chun Cao
Nanjing University
,
Jian Lu
Nanjing University
DOI
ecoop-2018-papers
16:00 - 17:15:
ECOOP Research Papers
- Formal Calculi at
Zurich II
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
ecoop-2018-papers
16:00 - 16:25
Research paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
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
ecoop-2018-papers
16:25 - 16:50
Research paper
Modeling infinite behaviour by corules
Davide Ancona
University of Genova
,
Francesco Dagnino
DIBRIS, University of Genova, Italy
,
Elena Zucca
University of Genova
DOI
ecoop-2018-papers
16:50 - 17:15
Research paper
The Essence of Nested Composition
Xuan Bi
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong, China
,
Tom Schrijvers
KU Leuven
DOI
Sat 21 Jul
ecoop-2018-Keynotes
09:00 - 10:30:
ECOOP Keynotes
- Keynote: Zeller & ECOOP 2019 Preview at
Zurich II
Chair(s):
Frank Tip
Northeastern University
ecoop-2018-Keynotes
09:00 - 10:00
Talk
Parser-Directed Test Generation
Andreas Zeller
Saarland University
ecoop-2018-Keynotes
10:00 - 10:15
ECOOP 2019 Preview
Jan Vitek
Northeastern University
ecoop-2018-papers
11:00 - 12:40:
ECOOP Research Papers
- Static Analysis at
Zurich II
Chair(s):
Karim Ali
University of Alberta
ecoop-2018-papers
11:00 - 11:25
Research paper
Defensive Points-To Analysis: Effective Soundness via Laziness
Yannis Smaragdakis
University of Athens
,
George Kastrinis
University of Athens
DOI
ecoop-2018-papers
11:25 - 11:50
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
John Toman
University of Washington, Seattle
,
Dan Grossman
University of Washington
DOI
Pre-print
ecoop-2018-papers
11:50 - 12:15
Research paper
Definite Reference Mutability
Ana Milanova
Rensselaer Polytechnic Institute
DOI
ecoop-2018-papers
12:15 - 12:40
Research paper
Efficient Reflection String Analysis via Graph Coloring
Neville Grech
University of Athens
,
George Kastrinis
University of Athens
,
Yannis Smaragdakis
University of Athens
DOI
Mon 16 Jul 2018
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
Zurich II
ISSTA Keynotes
Welcome & Keynote: Torlak
09:00 - 10:30
ISSTA Technical Papers
Secure and Sound
11:00 - 12:30
ISSTA Technical Papers
Testing and Fault Localization
14:00 - 15:30
ISSTA Technical Papers
Machine Learning
16:00 - 17:30
Tue 17 Jul 2018
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
Zurich II
ISSTA Technical Papers
Mobile
09:00 - 10:30
ISSTA Technical Papers
Static Analysis
11:00 - 12:30
ISSTA Keynotes
Keynote: Visser, Khurshid, and Pasareanu & Awards
14:00 - 15:30
ISSTA Technical Papers
Test and Oracle Generation
16:00 - 17:30
Wed 18 Jul 2018
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
Zurich II
ISSTA Keynotes
Keynote: Ernst & ISSTA 2019 Preview
09:00 - 10:30
ISSTA Technical Papers
Porting and Repair
11:00 - 12:30
ISSTA Technical Papers
Optimization and Performance
14:00 - 15:30
ISSTA Tool Demonstrations
Tool Demos
16:00 - 17:00
Thu 19 Jul 2018
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
Zurich II
ECOOP Keynotes
Welcome & Keynote: De Moor
09:00 - 10:30
ECOOP Research Papers
Asynchrony and Concurrency
11:00 - 12:40
ECOOP Research Papers
Testing
13:50 - 15:30
ECOOP Research Papers
Languages
16:00 - 17:15
Fri 20 Jul 2018
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
Zurich II
ECOOP Keynotes
Awards & Keynote: Xu
09:00 - 10:30
ECOOP Research Papers
Types
11:00 - 12:40
ECOOP Research Papers
Runtime Systems
13:50 - 15:30
ECOOP Research Papers
Formal Calculi
16:00 - 17:15
Sat 21 Jul 2018
Room
9:00
30
10:00
30
11:00
30
12:00
30
Zurich II
ECOOP Keynotes
Keynote: Zeller & ECOOP 2019 Preview
09:00 - 10:30
ECOOP Research Papers
Static Analysis
11:00 - 12:40
Mon 16 Jul 2018
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
Zurich II
ISSTA Keynotes
Welcome
09:00 - 09:15
ISSTA Keynotes
Solver-Aided Programming for All
09:15 - 10:15
ISSTA Technical Papers
Lightweight Verification of Array Indexing
11:00 - 11:20
ISSTA Technical Papers
Eliminating Timing Side-channel Leaks Using Program Repair
11:20 - 11:40
ISSTA Technical Papers
Symbolic Path Cost Analysis for Side-Channel Detection
11:40 - 12:00
ISSTA Technical Papers
Safe and Sound Program Analysis with Flix
12:00 - 12:20
ISSTA Technical Papers
Q&A in groups
12:20 - 12:30
ISSTA Technical Papers
Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ...
14:00 - 14:20
ISSTA Technical Papers
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ...
14:20 - 14:40
ISSTA Technical Papers
Automated Test Mapping and Coverage for Network Topologies
14:40 - 15:00
ISSTA Technical Papers
Evaluating Test-Suite Reduction in Real-World Software Evolution
15:00 - 15:20
ISSTA Technical Papers
Q&A in groups
15:20 - 15:30
ISSTA Technical Papers
Compiler Fuzzing through Deep Learning
16:00 - 16:20
ISSTA Technical Papers
Deep Specification Mining
16:20 - 16:40
ISSTA Technical Papers
Identifying Implementation Bugs in Machine Learning based Image Classif ...
16:40 - 17:00
ISSTA Technical Papers
An Empirical Study on TensorFlow Program Bugs
17:00 - 17:20
ISSTA Technical Papers
Q&A in groups
17:20 - 17:30
Tue 17 Jul 2018
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
Zurich II
ISSTA Technical Papers
Automatically Translating Bug Reports into Test Cases for Mobile Apps
09:00 - 09:20
ISSTA Technical Papers
CiD: Automating the Detection of API-related Compatibility Issues in An ...
09:20 - 09:40
ISSTA Technical Papers
Test Migration for Efficient Large-Scale Assessment of Mobile App Codin ...
09:40 - 10:00
ISSTA Technical Papers
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
10:00 - 10:20
ISSTA Technical Papers
Q&A in groups
10:20 - 10:30
ISSTA Technical Papers
Repositioning of Static Analysis Alarms
11:00 - 11:20
ISSTA Technical Papers
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
11:20 - 11:40
ISSTA Technical Papers
Static Analysis of Java Dynamic Proxies
11:40 - 12:00
ISSTA Technical Papers
Practical Detection of Concurrency Issues at Coding Time
12:00 - 12:20
ISSTA Technical Papers
Q&A in groups
12:20 - 12:30
ISSTA Keynotes
Test input generation with Java PathFinder: Then and Now
14:00 - 15:00
ISSTA Keynotes
Impact Paper Awards
15:00 - 15:07
ISSTA Keynotes
Distinguished Paper Awards
15:07 - 15:14
ISSTA Keynotes
Distinguished Artifact Award
15:14 - 15:21
ISSTA Keynotes
Best Tool Demonstration Award
15:21 - 15:28
ISSTA Technical Papers
Tests from Traces: Automated Unit Test Extraction for R
16:00 - 16:20
ISSTA Technical Papers
Translating Code Comments to Procedure Specifications
16:20 - 16:40
ISSTA Technical Papers
PerfFuzz: Automatically Generating Pathological Inputs
16:40 - 17:00
ISSTA Technical Papers
Q&A in groups
17:20 - 17:30
Wed 18 Jul 2018
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
Zurich II
ISSTA Keynotes
Pluggable Type Systems Reconsidered
09:00 - 10:00
ISSTA Keynotes
ISSTA 2019 Preview
10:00 - 10:30
ISSTA Technical Papers
Search-Based Detection of Deviation Failures in the Migration of Legacy ...
11:00 - 11:20
ISSTA Technical Papers
Making Data-Driven Porting Decisions with Tuscan
11:20 - 11:40
ISSTA Technical Papers
Comparing developer-provided to user-provided tests for fault localizat ...
11:40 - 12:00
ISSTA Technical Papers
Shaping Program Repair Space with Existing Patches and Similar Code
12:00 - 12:20
ISSTA Technical Papers
Q&A in groups
12:20 - 12:30
ISSTA Technical Papers
Remove RATs from Your Code: Automated Optimization of Resource Ineffici ...
14:00 - 14:20
ISSTA Technical Papers
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
14:20 - 14:40
ISSTA Technical Papers
Exploiting Community Structure for Floating-Point Precision Tuning
14:40 - 15:00
ISSTA Technical Papers
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
15:00 - 15:20
ISSTA Technical Papers
Q&A in groups
15:20 - 15:30
ISSTA Tool Demonstrations
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of ...
16:00 - 16:10
ISSTA Tool Demonstrations
LAND: A User-Friendly and Customizable Test Generation Tool for Android ...
16:10 - 16:20
ISSTA Tool Demonstrations
Managing Concurrent Testing of Data Race with ComRaDe
16:20 - 16:30
ISSTA Tool Demonstrations
OASIs: Oracle Assessment and Improvement Tool
16:30 - 16:40
ISSTA Tool Demonstrations
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
16:40 - 16:50
ISSTA Tool Demonstrations
MalViz: An Interactive Visualization Tool for Tracing Malware
16:50 - 17:00
Thu 19 Jul 2018
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
Zurich II
ECOOP Keynotes
Welcome
09:00 - 09:15
ECOOP Keynotes
Program Analysis for Everyone
09:15 - 10:15
ECOOP Research Papers
Fault-tolerant Distributed Reactive Programming
11:00 - 11:25
ECOOP Research Papers
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
11:25 - 11:50
ECOOP Research Papers
Theory and Practice of Coroutines with Snapshots
11:50 - 12:15
ECOOP Research Papers
A Concurrent Specification of POSIX File Systems
12:15 - 12:40
ECOOP Research Papers
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ...
13:50 - 14:15
ECOOP Research Papers
Learning to Accelerate Symbolic Execution via Code Transformation
14:15 - 14:40
ECOOP Research Papers
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
14:40 - 15:05
ECOOP Research Papers
Targeted Test Generation for Actor Systems
15:05 - 15:30
ECOOP Research Papers
Typed First-Class Traits
16:00 - 16:25
ECOOP Research Papers
CrySL: An Extensible Approach to Validating the Correct Usage of Crypto ...
16:25 - 16:50
ECOOP Research Papers
Safe Transferable Regions
16:50 - 17:15
Fri 20 Jul 2018
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
Zurich II
ECOOP Keynotes
Distinguished Paper Award
09:00 - 09:03
ECOOP Keynotes
Distinguished Artifact Award
09:03 - 09:06
ECOOP Keynotes
Test of Time Award
09:06 - 09:09
ECOOP Keynotes
Dahl-Nygaard Awards
09:09 - 09:15
ECOOP Keynotes
Object-Orientation Meets Big Data: Performance Impact, Restoration, and ...
09:15 - 10:15
ECOOP Research Papers
KafKa: Gradual Typing for Objects
11:00 - 11:25
ECOOP Research Papers
Dependent Types for Class-based Mutable Objects
11:25 - 11:50
ECOOP Research Papers
Static typing of complex presence constraints in interfaces
11:50 - 12:15
ECOOP Research Papers
Mailbox Types for Unordered Interactions
12:15 - 12:40
ECOOP Research Papers
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Usi ...
13:50 - 14:15
ECOOP Research Papers
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
14:15 - 14:40
ECOOP Research Papers
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ...
14:40 - 15:05
ECOOP Research Papers
Automating Object Transformations for Dynamic Software Updating via Onl ...
15:05 - 15:30
ECOOP Research Papers
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
16:00 - 16:25
ECOOP Research Papers
Modeling infinite behaviour by corules
16:25 - 16:50
ECOOP Research Papers
The Essence of Nested Composition
16:50 - 17:15
Sat 21 Jul 2018
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Zurich II
ECOOP Keynotes
Parser-Directed Test Generation
09:00 - 10:00
ECOOP Keynotes
ECOOP 2019 Preview
10:00 - 10:15
ECOOP Research Papers
Defensive Points-To Analysis: Effective Soundness via Laziness
11:00 - 11:25
ECOOP Research Papers
Legato: An At-Most-Once Analysis with Applications to Dynamic Configura ...
11:25 - 11:50
ECOOP Research Papers
Definite Reference Mutability
11:50 - 12:15
ECOOP Research Papers
Efficient Reflection String Analysis via Graph Coloring
12:15 - 12:40
x
Thu 5 Dec 21:01