ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
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

Conference Day
Sun 15 Jul

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

17:00 - 20:00
Welcome: Peyton JonesECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
17:00
3h
Talk
35 years of fun with functional programming
ECOOP and ISSTA Summer School
S: Simon Peyton JonesMicrosoft Research

Conference Day
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 TipNortheastern University
09:00
15m
Welcome
ISSTA Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15
60m
Talk
Solver-Aided Programming for All
ISSTA Keynotes
Emina TorlakUniversity of Washington
09:15 - 10:20
09:15
15m
Opening Remarks
CurryOn Curry On Keynotes
Jan VitekNortheastern University, Heather MillerEcole 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 LinckeHasso Plattner Institute, Tetsuo KaminaOita University
11:00
30m
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30
30m
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
12:00
30m
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute
11:00 - 12:30
Session 1FTfJP at Hanoi
11:00
30m
Full-paper
Monotonic Gradual Typing in a Common Calculus
FTfJP
Benjamin ChungNortheastern University, Jan VitekNortheastern 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 KuciTU Darmstadt, Germany, Matthijs BijmanDelft University of Technology, Mira MeziniTU Darmstadt, Sebastian ErdwegTU Delft
Pre-print
12:00
30m
Full-paper
Safely Abstracting Memory Layouts
FTfJP
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial 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 SabinUnderscore LLP
11:50
40m
Talk
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
Deian StefanUniversity 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
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 CadarImperial College London
11:00
20m
Talk
Lightweight Verification of Array Indexing
ISSTA Technical Papers
Martin KelloggUniversity of Washington, Seattle, Vlastimil DortCharles University, Suzanne MillsteinUniversity of Washington, Michael D. ErnstUniversity of Washington, USA
11:20
20m
Talk
Eliminating Timing Side-channel Leaks Using Program Repair
ISSTA Technical Papers
Meng WuVirginia Tech, Shengjian (Daniel) GuoVirginia Tech, Patrick SchaumontVirginia Tech, Chao WangUniversity of Southern California
11:40
20m
Talk
Symbolic Path Cost Analysis for Side-Channel Detection
ISSTA Technical Papers
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S. PăsăreanuNASA Ames Research Center
12:00
20m
Talk
Safe and Sound Program Analysis with Flix
ISSTA Technical Papers
Magnus MadsenAalborg University, Ondřej LhotákUniversity 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 MummVectrology 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 ErdwegTU Delft
14:00 - 15:30
Session 2COP at Bangkok
Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute
14:00
30m
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
14:30
30m
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
15:00
30m
Talk
A Declarative Language for Context Activation
COP
Nicolás CardozoUniversidad 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 DrossopoulouImperial College London
15:00
30m
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David CokCEA, 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álezUniversity 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 ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
14:20
20m
Talk
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
ISSTA Technical Papers
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
14:40
20m
Talk
Automated Test Mapping and Coverage for Network Topologies
ISSTA Technical Papers
Per Erik StrandbergWestermo Research and Development AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Daniel SundmarkMälardalen University, Wasif AfzalMälardalen University
15:00
20m
Talk
Evaluating Test-Suite Reduction in Real-World Software Evolution
ISSTA Technical Papers
August ShiUniversity of Illinois at Urbana-Champaign, Alex GyoriFacebook, Muhammad Suleman MahmoodUniversity of Illinois at Urbana-Champaign, Peiyuan ZhaoUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign
15:20
10m
Q&A in groups
ISSTA Technical Papers

14:30 - 17:00
Lecture: PasareanuECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
ECOOP and ISSTA Summer School
S: Corina S. PăsăreanuNASA 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 VisserDelft University of Technology
16:45
40m
Talk
Transducing for fun and profitChess Timer Talk
CurryOn Curry On Talks
Simon BelakMetabase
15:55 - 17:25
15:55
40m
Talk
It Ain't Necessarily So
CurryOn Curry On Talks
Chris FordThoughtWorks (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 KingNorthwestern University
16:00 - 18:15
Session 3FTfJP at Hanoi
16:00
25m
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25
25m
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
16:50
25m
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
17:15
30m
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
17:45
30m
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print
16:00 - 17:30
Machine LearningISSTA Technical Papers at Zurich II
Chair(s): Alex OrsoGeorgia Institute of Technology
16:00
20m
Talk
Compiler Fuzzing through Deep LearningDistinguished Paper
ISSTA Technical Papers
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
16:20
20m
Talk
Deep Specification Mining
ISSTA Technical Papers
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University
16:40
20m
Talk
Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
ISSTA Technical Papers
Anurag DwarakanathAccenture Labs, Manish AhujaAccenture Labs, Samarth SikandAccenture Labs, Raghotham M RaoAccenture Labs, R.P. Jagadeesh Chandra BoseAccenture Labs, Neville DubashAccenture Labs, Sanjay Podder
17:00
20m
Talk
An Empirical Study on TensorFlow Program Bugs
ISSTA Technical Papers
Yuhao ZhangPeking University, Yifan ChenPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei XiongPeking University, Lu ZhangPeking 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

Conference Day
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 ZellerSaarland University
09:00
20m
Talk
Automatically Translating Bug Reports into Test Cases for Mobile Apps
ISSTA Technical Papers
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
09:20
20m
Talk
CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
ISSTA Technical Papers
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
09:40
20m
Talk
Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
ISSTA Technical Papers
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
10:00
20m
Talk
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeDistinguished Paper
ISSTA Technical Papers
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity 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 VitekNortheastern University, Heather MillerEcole 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 AnconaUniversity of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin LeuckerUniversity of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang AhrendtChalmers 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 KalebaINRIA, Clément BéraRMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille
11:00 - 12:30
11:00
40m
Talk
Little Languages
CurryOn Curry On Talks
Chris LaffraUber Technologies
11:50
40m
Talk
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Edd BarrettKing's College London
11:00 - 12:30
11:00
40m
Talk
Strategies for Streaming
CurryOn Curry On Talks
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 AliUniversity of Alberta
11:00
20m
Talk
Repositioning of Static Analysis Alarms
ISSTA Technical Papers
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
11:20
20m
Talk
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
ISSTA Technical Papers
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
11:40
20m
Talk
Static Analysis of Java Dynamic Proxies
ISSTA Technical Papers
George FourtounisUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
12:00
20m
Talk
Practical Detection of Concurrency Issues at Coding Time
ISSTA Technical Papers
Luc BläserHochschule 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 LivshitsImperial 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 ThomasKx 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 BoerCentrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo, João Costa SecoNOVA 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 AudritoUniversità di Torino, P: Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity 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 TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London
14:30
25m
Research paper
Maintaining Canonical Form After Edge Deletion
ICOOOLPS
Eric FritzUniversity of Wisconsin, Milwaukee
15:00
25m
Research paper
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS
Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands
14:00 - 17:30
Lecture: AhmedECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
ECOOP and ISSTA Summer School
S: Amal AhmedNortheastern University
14:00 - 15:30
Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara
14:00
60m
Talk
Test input generation with Java PathFinder: Then and Now
ISSTA Keynotes
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S. PăsăreanuNASA Ames Research Center
15:00
7m
Impact Paper Awards
ISSTA Keynotes
Tevfik BultanUniversity of California, Santa Barbara
15:07
7m
Distinguished Paper Awards
ISSTA Keynotes
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14
7m
Talk
Distinguished Artifact Award
ISSTA Keynotes
Nico RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
15:21
7m
Best Tool Demonstration Award
ISSTA Keynotes
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth 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 ChakravartyTweag I/O & IOHK
16:45
40m
Talk
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Michael ArntzeniusUniversity 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 BabarAmerican 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 LeuckerUniversity of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, P: Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro
16:00 - 17:30
Test and Oracle GenerationISSTA Technical Papers at Zurich II
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin
16:00
20m
Talk
Tests from Traces: Automated Unit Test Extraction for R
ISSTA Technical Papers
Filip KřikavaCzech Technical University, Jan VitekNortheastern University
16:20
20m
Talk
Translating Code Comments to Procedure Specifications
ISSTA Technical Papers
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzèUniversity of Milano-Bicocca, Italy, Sergio Delgado CastellanosIMDEA Software Institute
16:40
20m
Talk
PerfFuzz: Automatically Generating Pathological InputsDistinguished Paper
ISSTA Technical Papers
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity 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

Conference Day
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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00
60m
Talk
Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. ErnstUniversity of Washington, USA
10:00
30m
ISSTA 2019 Preview
ISSTA Keynotes
Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China
10:30 - 11:00
10:30
30m
Coffee Break
ISSTA Catering

11:00 - 12:30
Session #1ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague
11:00
60m
Talk
Inferring Input Structure for Machine LearningKeynote
ML4PL
Andreas ZellerSaarland University
12:00
30m
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila PelegTechnion, Israel
11:00 - 12:30
Session IDPA at Cairo
Chair(s): Max SchaeferSemmle
11:00
30m
Talk
Program Analysis with Flix
DPA
Magnus MadsenAalborg University
11:30
30m
Talk
IncAL - Incrementalizing Lattice-Based Program Analyses
DPA
Tamás Szabóitemis AG / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian ErdwegTU Delft, Markus Voelteritemis
File Attached
12:00
30m
Talk
Simple encoding of lattices in Datalog
DPA
Rei ThiessenGoogle Inc.
File Attached
11:00 - 12:30
Real-World BenchmarkingBenchWork at Hanoi
11:00
10m
Opening Remarks
BenchWork
Karim AliUniversity of Alberta, Cristina CifuentesOracle Labs
11:10
30m
Real World Benchmarks for JavaScript
BenchWork
File Attached
11:40
20m
In Search of Accurate Benchmarking
BenchWork
Edd BarrettKing's College London, Sarah MountKing's College London, Laurence TrattKing's College London
File Attached
12:00
30m
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
BenchWork
Kevin AllixUniversity of Luxembourg
11:00 - 12:30
11:00
4m
Day opening
Welcome
ECOOP and ISSTA Doc Symposium

11:04
20m
Talk
Lightning Talks
ECOOP and ISSTA Doc Symposium

File Attached
11:24
16m
Doctoral symposium paper
A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning
ECOOP and ISSTA Doc Symposium
Mohammadreza AshouriUniversity of Potsdam, Germany
File Attached
11:40
16m
Doctoral symposium paper
Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics
ECOOP and ISSTA Doc Symposium
Asanka SayakkaraUniversity College Dublin
File Attached
11:56
30m
Talk
Looking ahead: what can we do during the PhD for a future career?
ECOOP and ISSTA Doc Symposium
Mauro PezzeUniversità 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 DolbyIBM 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. AlmasiUniversity of Manitoba, Hadi HemmatiUniversity of Calgary, Gordon FraserUniversity of Passau, Phil McMinnUniversity of Sheffield, Janis BenefeldsSEB Life and Pensions Holding AB
11:20
20m
Talk
Making Data-Driven Porting Decisions with Tuscan
ISSTA Technical Papers
Kareem KhazemUniversity College London, Earl T. BarrUniversity College London, Petr HosekGoogle, Inc.
11:40
20m
Talk
Comparing developer-provided to user-provided tests for fault localization and automated program repair
ISSTA Technical Papers
René JustUniversity of Massachusetts, USA, Chris ParninNCSU, Ian DrososUniversity of California, San Diego, Michael D. ErnstUniversity of Washington, USA
12:00
20m
Talk
Shaping Program Repair Space with Existing Patches and Similar Code
ISSTA Technical Papers
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking 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
ECOOP and ISSTA Doc Symposium
Olivier FlückigerNortheastern University, USA
File Attached
14:25
16m
Doctoral symposium paper
Two-phase Analysis for Precision and Scalability
ECOOP and ISSTA Doc Symposium
Anastasios AntoniadisUniversity of Athens, Greece
File Attached
14:41
16m
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
ECOOP and ISSTA Doc Symposium
Goran PiskachevFraunhofer IEM
File Attached
14:57
16m
Doctoral symposium paper
Improving Symbolic Flat Memory Models with Pointer Alias Analysis
ECOOP and ISSTA Doc Symposium
Timotej KapusImperial College London
File Attached
15:13
16m
Doctoral symposium paper
Auto-tuning Framework for Multi-core Interference Analysis
ECOOP and ISSTA Doc Symposium
Dan IorgaImperial College London, UK
14:00 - 15:30
Session #2ML4PL at Bangkok
Chair(s): Artem PelenitsynCzech Technical University in Prague
14:00
30m
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina CifuentesOracle Labs, Yang ZhaoOracle Labs, Xingzhong DuOracle Labs, Paddy Krishnan
14:30
30m
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
15:00
30m
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains
14:00 - 15:30
WoSSCA 2WoSSCA at Hamburg
Chair(s): Eric JulUniversity 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
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 MajCzech Technical University, Celeste HollenbeckNortheastern University, USA, Shabbir HussainNortheastern University, Jan VitekNortheastern University
14:50
20m
Building a Node.js Benchmark: Initial Steps
BenchWork
Petr MajCzech Technical University, François GauthierOracle Labs, Celeste HollenbeckNortheastern University, USA, Jan VitekNortheastern University, Cristina CifuentesOracle Labs
File Attached
15:10
20m
A Micro-Benchmark for Dynamic Program Behaviour
BenchWork
Li SuiMassey University, New Zealand, Jens DietrichMassey University, Michael EmeryMassey University, Amjed TahirMassey University, Shawn RasheedMassey University
14:00 - 17:30
Lecture: MøllerECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:00
3h30m
Talk
Static Program Analysis
ECOOP and ISSTA Summer School
Anders MøllerAarhus University
14:00 - 15:30
Optimization and PerformanceISSTA Technical Papers at Zurich II
Chair(s): Tevfik BultanUniversity 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 LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California
14:20
20m
Talk
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
ISSTA Technical Papers
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S. PăsăreanuNASA Ames Research Center
14:40
20m
Talk
Exploiting Community Structure for Floating-Point Precision Tuning
ISSTA Technical Papers
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
15:00
20m
Talk
piCoq: Parallel Regression Proving for Large-Scale Verification Projects
ISSTA Technical Papers
Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity 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 PelegTechnion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity 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 PelenitsynCzech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL

16:00 - 17:30
Session IIIDPA at Cairo
Chair(s): Neville GrechUniversity of Athens
16:00
30m
Talk
Horn Clause-based Program Analysis with CiaoPP
DPA
Manuel HermenegildoIMDEA 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 VitekNortheastern University
16:00
45m
Talk
Software Diversity vs. Side Channels
WoSSCA
Stefan BrunthalerBundeswehr University Munich
16:45
45m
Talk
Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis
WoSSCA
Asanka SayakkaraUniversity 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 HermannUniversity of Paderborn, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
16:50
20m
The Architecture Independent Workload Characterization
BenchWork
Beau JohnstonAustralian 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
ECOOP and ISSTA Doc Symposium
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
Pre-print
16:25
16m
Doctoral symposium paper
Testing for Performance Issues in OS Kernels
ECOOP and ISSTA Doc Symposium
File Attached
16:41
16m
Doctoral symposium paper
Automated End To End Testing of Single Page Web Applications
ECOOP and ISSTA Doc Symposium
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy
File Attached
16:57
30m
Talk
Landing your Dream Job After Graduate School
ECOOP and ISSTA Doc Symposium
Cindy Rubio-GonzálezUniversity of California, Davis
16:00 - 17:00
Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba AlimadadiNortheastern 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 FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomáš VojnarBrno University of Technology
16:10
10m
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
Jiwei YanInstitute of Software, Chinese Academy of Sciences, Linjie PanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
16:20
10m
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Jian GaoSchool of Software, Tsinghua University, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting SunBeijing University of Posts and Telecommunications, Ming Gu
16:30
10m
OASIs: Oracle Assessment and Improvement Tool
ISSTA Tool Demonstrations
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
16:40
10m
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems 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 NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University
17:00 - 20:00
Poster sessionECOOP and ISSTA Posters at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
17:00
3h
Poster
Typed First-Class TraitsECOOP paper
ECOOP and ISSTA Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
17:00
3h
Poster
PerfFuzz: Automatically Generating Pathological InputsISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
17:00
3h
Poster
Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper
ECOOP and ISSTA Posters
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
17:00
3h
Poster
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper
ECOOP and ISSTA Posters
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
17:00
3h
Poster
Targeted Test Generation for Actor SystemsECOOP paper
ECOOP and ISSTA Posters
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
17:00
3h
Poster
Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk
ECOOP and ISSTA Posters
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
17:00
3h
Poster
Practical Detection of Concurrency Issues at Coding TimeISSTA paperDemonstration
ECOOP and ISSTA Posters
Luc BläserHochschule für Technik Rapperswil
17:00
3h
Poster
Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paperDistinguished paper
ECOOP and ISSTA Posters
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
17:00
3h
Poster
Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper
ECOOP and ISSTA Posters
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
17:00
3h
Poster
Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper
ECOOP and ISSTA Posters
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
17:00
3h
Poster
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper
ECOOP and ISSTA Posters
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
17:00
3h
Poster
Making Data-Driven Porting Decisions with TuscanISSTA paper
ECOOP and ISSTA Posters
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
17:00
3h
Poster
Advances in the ANaConDA FrameworkDemonstrationISSTA demonstrationBest tool demo
ECOOP and ISSTA Posters
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomáš VojnarBrno University of Technology
17:00
3h
Poster
Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper
ECOOP and ISSTA Posters
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
17:00
3h
Poster
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper
ECOOP and ISSTA Posters
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie
17:00
3h
Poster
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper
ECOOP and ISSTA Posters
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
17:00
3h
Poster
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsDemonstrationECOOP paper
ECOOP and ISSTA Posters
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:00
3h
Poster
Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersDemonstrationICOOOLPS paper
ECOOP and ISSTA Posters
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
17:00
3h
Poster
OASIs: Oracle Assessment and Improvement ToolDemonstrationISSTA demonstration
ECOOP and ISSTA Posters
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
17:00
3h
Poster
Deep Learning over CodeISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
17:00
3h
Poster
Translating Code Comments to Procedure SpecificationsISSTA paperDemonstration
ECOOP and ISSTA Posters
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
17:00
3h
Poster
Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper
ECOOP and ISSTA Posters
Goran PiskachevFraunhofer IEM
17:00
3h
Poster
Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper
ECOOP and ISSTA Posters
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S. PăsăreanuNASA Ames Research Center
17:00
3h
Poster
FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper
ECOOP and ISSTA Posters
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
17:00
3h
Poster
Incrementalizing Lattice-Based Program AnalysesFTfJP paper
ECOOP and ISSTA Posters
17:00
3h
Poster
Secure integration of cryptographic softwareDemonstrationECOOP paper
ECOOP and ISSTA Posters
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00
3h
Poster
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
17:00
3h
Poster
Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper
ECOOP and ISSTA Posters
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S. PăsăreanuNASA Ames Research Center
17:00
3h
Poster
Efficient Reflection String Analysis via Graph ColoringECOOP paper
ECOOP and ISSTA Posters
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
17:00
3h
Poster
Tests from Traces: Automated Unit Test Extraction for RISSTA paperDistinguished artifact award
ECOOP and ISSTA Posters
Filip KřikavaCzech Technical University, Jan VitekNortheastern University
17:00
3h
Poster
CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper
ECOOP and ISSTA Posters
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
17:00
3h
Poster
Modelling infinite behaviour by corulesECOOP paper
ECOOP and ISSTA Posters
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
17:00
3h
Poster
Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper
ECOOP and ISSTA Posters
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
17:00
3h
Poster
Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper
ECOOP and ISSTA Posters
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
17:00
3h
Poster
Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper
ECOOP and ISSTA Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
17:00
3h
Poster
SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper
ECOOP and ISSTA Posters
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
17:00
3h
Poster
Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper
ECOOP and ISSTA Posters
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
17:00
3h
Poster
Theory and Practice of Coroutines with SnapshotsECOOP paper
ECOOP and ISSTA Posters
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
17:00
3h
Poster
Fault-tolerant Distributed Reactive ProgrammingECOOP paper
ECOOP and ISSTA Posters
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
17:00
3h
Poster
A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper
ECOOP and ISSTA Posters
Dan IorgaImperial College London, UK, Alastair F. DonaldsonImperial College London
17:00
3h
Poster
Probabilistic Software ModelingDoctoral symposium paper
ECOOP and ISSTA Posters
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
17:00
3h
Demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing ToolDemonstrationISSTA demonstration
ECOOP and ISSTA Posters
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems 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
ECOOP and ISSTA Posters
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
17:00
3h
Poster
Testing for Performance Issues in OS KernelsDoctoral symposium paper
ECOOP and ISSTA Posters
17:00
3h
Poster
The Essence of Nested CompositionECOOP paper
ECOOP and ISSTA Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
17:00
3h
Poster
Generating software adaptations using machine learningML4PL talk
ECOOP and ISSTA Posters
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
17:00
3h
Poster
Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper
ECOOP and ISSTA Posters
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
17:00
3h
Poster
Repositioning of Static Analysis AlarmsISSTA paper
ECOOP and ISSTA Posters
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
18:00 - 20:00
18:00
2h
Poster
Poster reception
ECOOP and ISSTA Catering

Conference Day
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 TipNortheastern University
09:00
15m
Welcome
ECOOP Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles
09:15
60m
Talk
Program Analysis for Everyone
ECOOP Keynotes
10:30 - 11:00
Coffee BreakCatering at Atrium Foyer
10:30
30m
Coffee Break
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 MisraSingapore Management University, Singapore
12:00
30m
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron YangCarnegie Mellon University, Robert MorrisMIT, Corina S. PăsăreanuNASA 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égrothBlekinge Institute of Technology, Domenico AmalfitanoUniversity of Naples Federico II, Tanja E. J. VosUniversitat Politècnica de València and Open Universiteit, Pekka AhoOpen 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 ZuddasUniversità della Svizzera italiana (USI), Paolo Rondena
11:00 - 12:30
SALAD 1SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
11:00
15m
Talk
ONR's perspective on debloating
SALAD
11:15
40m
Talk
Degunking the CloudKeynote
SALAD
Nick MitchellIBM TJ Watson Research Center
11:55
35m
Talk
Application Extraction for Java: A retrospective report of the Jax project
SALAD
Frank TipNortheastern University, Chris LaffraUber Technologies
11:00 - 13:00
Lecture: OrsoECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
11:00
2h
Talk
Software Testing and Debugging: State of the Art and Open Issues
ECOOP and ISSTA Summer School
Alex OrsoGeorgia Institute of Technology
11:00 - 12:40
Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles
11:00
25m
Research paper
Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
DOI
11:25
25m
Research paper
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
DOI
11:50
25m
Research paper
Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
DOI
12:15
25m
Research paper
A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London
DOI
12:40 - 14:00
12:40
80m
Lunch
Catering

13:30 - 15:30
SALAD 2SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
13:30
30m
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric BoddenHeinz 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 SutterGhent University, Belgium
14:30
30m
Talk
Delta Debugging of Java Bytecode
SALAD
Jens PalsbergUniversity of California, Los Angeles
15:00
30m
Talk
Fine-Grained Library Customization
SALAD
Linhai SongPennsylvania State University, USA, Xinyu Xing
13:50 - 15:30
TestingECOOP Research Papers at Zurich II
Chair(s): Alastair F. DonaldsonImperial College London
13:50
25m
Research paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research
DOI
14:15
25m
Research paper
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
DOI
14:40
25m
Research paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
15:05
25m
Research paper
Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity 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 MousaviUniversity of Leicester, UK
15:00
30m
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty 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 CoppolaPolitecnico di Torino, Emil AlégrothBlekinge 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 AmalfitanoUniversity of Naples Federico II, Anna Rita FasolinoFederico II University of Naples, Vincenzo RiccioUniversity of Naples Federico II
15:00
30m
Talk
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
INTUITESTBEDS
Rudolf RamlerSoftware Competence Center Hagenberg, Thomas Wetzlmaier, Robert Hoschek
14:30 - 17:00
Lecture: ClickECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
ECOOP and ISSTA Summer School
15:30 - 16:00
Coffee BreakCatering at Atrium Foyer
15:30
30m
Coffee Break
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 VitekNortheastern University
16:00
37m
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
16:37
37m
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian DolbyIBM Thomas J. Watson Research Center
17:15
37m
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer TrippGoogle Inc.
17:52
37m
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida
16:00 - 17:15
LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David LiuState University of New York, Binghamton
16:00
25m
Research paper
Typed First-Class Traits
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity 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ügerUniversity of Paderborn, Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt
DOI
16:50
25m
Research paper
Safe Transferable Regions
ECOOP Research Papers
Gowtham KakiPurdue University, G. RamalingamMicrosoft Research
DOI

Conference Day
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 JulUniversity of Oslo
09:00
3m
Awards
Distinguished Paper Award
ECOOP Keynotes
Todd MillsteinUniversity of California, Los Angeles
09:03
3m
Awards
Distinguished Artifact Award
ECOOP Keynotes
Philipp HallerKTH Royal Institute of Technology, Marianna RapoportUniversity of Waterloo, Maria ChristakisMPI-SWS
09:06
3m
Awards
Test of Time Award
ECOOP Keynotes
Eric JulUniversity of Oslo, Davide AnconaUniversity of Genova
09:09
6m
Awards
Dahl-Nygaard Awards
ECOOP Keynotes
Eric JulUniversity of Oslo
09:15
60m
Talk
Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design
ECOOP Keynotes
Harry XuUniversity of California, Los Angeles
10:30 - 11:00
Coffee BreakCatering at Atrium Foyer
10:30
30m
Coffee Break
Catering

11:00 - 12:30
Morning SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
11:00
5m
Day opening
Welcome
ISAGT
Chris LaffraUber Technologies
11:05
25m
Talk
Automatic Python test generation
ISAGT
Chris LaffraUber Technologies
11:30
30m
Talk
Extracting tests from runtime behavior for R
ISAGT
Filip KřikavaCzech 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 HallerKTH Royal Institute of Technology
11:00
25m
Research paper
KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
11:25
25m
Research paper
Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana CamposUniversity of Lisbon, Portugal, Vasco T. VasconcelosUniversity of Lisbon, Portugal
DOI
11:50
25m
Research paper
Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI
12:15
25m
Research paper
Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin, Italy
DOI
12:40 - 14:00
12:40
80m
Lunch
Catering

13:50 - 15:30
Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian HammerUniversity of Potsdam
13:50
25m
Research paper
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
Mohaned QunaibitUniversity of California, Irvine, Stefan BrunthalerBundeswehr University Munich, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
DOI
14:15
25m
Research paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
Jonathan BellGeorge Mason University, Luís PinaGeorge 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 JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity 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 MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
DOI
14:00 - 15:30
After Lunch SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
14:00
45m
Talk
Checking Non-Deterministic Behavior in Unit Tests
ISAGT
Luc BläserHochschule für Technik Rapperswil
14:45
45m
Talk
Generating tests for mobile platforms
ISAGT
Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, SnT, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
14:30 - 17:00
Lecture: BriandECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
ECOOP and ISSTA Summer School
Lionel BriandSnT Centre/University of Luxembourg
15:30 - 16:00
Coffee BreakCatering at Atrium Foyer
15:30
30m
Coffee Break
Catering

16:00 - 17:30
After Tea SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
16:00
30m
Talk
Analyzing the analyzers
ISAGT
Julia RubinUniversity of British Columbia
16:30
30m
Talk
Machine learning for compilers
ISAGT
Chris CumminsUniversity of Edinburgh
17:00
25m
Meeting
Plenary Discussion
ISAGT
Chris LaffraUber Technologies
17:25
5m
Day closing
Closing
ISAGT
Chris LaffraUber Technologies
16:00 - 17:15
Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi IgarashiKyoto University, Japan
16:00
25m
Research paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
DOI
16:25
25m
Research paper
Modeling infinite behaviour by corules
ECOOP Research Papers
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
DOI
16:50
25m
Research paper
The Essence of Nested Composition
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
DOI
19:30 - 23:00
19:30
3h30m
Banquet
Catering

Conference Day
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 TipNortheastern University
09:00
60m
Talk
Parser-Directed Test Generation
ECOOP Keynotes
Andreas ZellerSaarland University
10:00
15m
ECOOP 2019 Preview
ECOOP Keynotes
Jan VitekNortheastern University
10:30 - 11:00
Coffee BreakCatering at Atrium Foyer
10:30
30m
Coffee Break
Catering

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