Program - ISSTA 2018

Write a Blog >>

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA

Filter

Sun 15 Jul

17:00 - 20:00: Summer School - Welcome: Peyton Jones at Summer School Room
Chair(s): Jan Vitek

17:00 - 20:00
Talk

35 years of fun with functional programming

Simon Peyton Jones

Mon 16 Jul

09:00 - 09:30: ISSTA Keynotes - Welcome at ISSTA Keynote Room
Chair(s): Frank Tip

09:15 - 10:20: Curry On Keynotes - Keynote at CurryOn Keynote Room

09:15 - 09:30
Talk

Opening Remarks

Jan Vitek, Heather Miller

09:30 - 10:20
Talk

WebAssembly, Past, Present, and Future

Ben L. Titzer, Andreas Rossberg

09:30 - 10:30: ISSTA Keynotes - Keynote: Torlak at ISSTA Keynote Room
Chair(s): Frank Tip

09:30 - 10:30
Talk

Solver-Aided Programming for All

10:30 - 11:00: Catering - Catering at Coffee Break Room

10:30 - 11:00

11:00 - 12:30: ISSTA Technical Papers - Secure and Sound at ISSTA Room
Chair(s): Cristian Cadar

11:00 - 11:20
Talk

Lightweight Verification of Array Indexing

Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst

11:20 - 11:40
Talk

Eliminating Timing Side-channel Leaks Using Program Repair

Meng Wu, Shengjian (Daniel) Guo, Patrick Schaumont, Chao Wang

11:40 - 12:00
Talk

Symbolic Path Cost Analysis for Side-Channel Detection

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina Pasareanu

12:00 - 12:20
Talk

Safe and Sound Program Analysis with Flix

Magnus Madsen, Ondřej Lhoták

12:20 - 12:30

11:00 - 12:30: Curry On Talks - Track 1 at Curry On Room 1

11:00 - 11:45
Talk

Chess Timer Talk

Sztefan Edwards

11:45 - 12:30
Talk

ApacheSpark as a gateway drug to FP: Concepts taught & broken

11:00 - 12:30: Curry On Talks - Track 2 at Curry On Room 2

11:00 - 11:45
Talk

Your inner compiler engineer wants out!

Chess Timer Talk

11:45 - 12:30
Talk

Constant-time crypto programming with FaCT

11:00 - 12:30: Curry On Talks - Track 3 at Curry On Room 3

11:00 - 11:45
Talk

Adding kind-polymorphism to the Scala programming language

11:45 - 12:30
Talk

Taming the C monster: Haskell FFI techniques

Fraser Tweedale

12:30 - 14:00: Catering - Catering at Lunch Room

12:30 - 14:00

14:00 - 15:30: ISSTA Technical Papers - Testing and Fault Localization at ISSTA Room
Chair(s): Cindy Rubio-Gonzalez

14:00 - 14:20
Talk

Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach

Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer

14:20 - 14:40
Talk

Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization

Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon

14:40 - 15:00
Talk

Automated Test Mapping and Coverage for Network Topologies

Per Erik Strandberg, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Wasif Afzal

15:00 - 15:20
Talk

Evaluating Test-Suite Reduction in Real-World Software Evolution

August Shi, Alex Gyori, Muhammad Suleman Mahmood, Peiyuan Zhao, Darko Marinov

15:20 - 15:30

14:00 - 15:30: Curry On Talks - Track 1 at Curry On Room 1

14:00 - 14:45
Talk

Domain Specific Programming Platforms for Creativity

Jennifer Mary Jacobs

14:45 - 15:30
Talk

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra

14:00 - 15:30: Curry On Talks - Track 2 at Curry On Room 2

14:00 - 14:45
Talk

A CRDT Primer: Defanging Order Theory

14:45 - 15:30
Talk

Better living through incrementality: Immediate static analysis feedback without loss of precision

Tamás Szabó, Sebastian Erdweg

14:00 - 15:30: Curry On Talks - Track 3 at Curry On Room 3

14:00 - 14:45
Talk

Atom Heart Monad: FRP in C++

14:45 - 15:30
Talk

Akka.JS and why the actor model matters even in JS's world.

Chess Timer Talk

14:30 - 17:00: Summer School - Lecture: Pasareanu at Summer School Room
Chair(s): Andreas Zeller

14:30 - 17:00
Talk

Symbolic Execution and Probabilistic Reasoning

Corina Pasareanu

15:00 - 15:30: Catering - Catering at Coffee Break Room

15:00 - 15:30

16:00 - 17:30: ISSTA Technical Papers - Machine Learning at ISSTA Room
Chair(s): Alex Orso

16:00 - 16:20
Talk

Compiler Fuzzing through Deep Learning

Distinguished Paper

Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather

16:20 - 16:40
Talk

Deep Specification Mining

Tien-Duy B. Le, David Lo

16:40 - 17:00
Talk

Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing

Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M Rao, R.P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder

17:00 - 17:20
Talk

An Empirical Study on TensorFlow Program Bugs

Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang

17:20 - 17:30

16:00 - 17:30: Curry On Talks - Track 1 at Curry On Room 1

16:00 - 16:45
Talk

Spoofax: Live Programming Language Design

16:45 - 17:30
Talk

Transducing for fun and profit

Chess Timer Talk

16:00 - 17:30: Curry On Talks - Track 2 at Curry On Room 2

16:00 - 16:45
Talk

It Ain't Necessarily So

16:45 - 17:30
Talk

Language Design in the Open

16:00 - 17:30: Curry On Talks - Track 3 at Curry On Room 3

16:00 - 16:45
Talk

Papers we love - Elixir edition

Andrea Leopardi

16:45 - 17:30
Talk

Hackett: a metaprogrammable Haskell

17:40 - 18:30: Curry On Keynotes - Keynote at CurryOn Keynote Room

17:40 - 18:30
Talk

Linear Haskell: practical linearity in a higher-order polymorphic language

Simon Peyton Jones

19:30 - 23:00: Catering - Curry On Party at Tobacco Theater

19:30 - 23:00

Tue 17 Jul

09:00 - 10:30: ISSTA Technical Papers - Mobile at ISSTA Room
Chair(s): Andreas Zeller

09:00 - 09:20
Talk

Automatically Translating Bug Reports into Test Cases for Mobile Apps

Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso

09:20 - 09:40
Talk

CiD: Automating the Detection of API-related Compatibility Issues in Android Apps

Li Li, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein

09:40 - 10:00
Talk

Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments

Farnaz Behrang, Alessandro Orso

10:00 - 10:20
Talk

Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe

Distinguished Paper

Lina Qiu, YINGYING WANG, Julia Rubin

10:20 - 10:30

09:15 - 10:20: Curry On Keynotes - Keynote at CurryOn Keynote Room

09:15 - 10:20
Talk

Opening Remarks

Jan Vitek, Heather Miller

10:30 - 11:00: Catering - Catering at Coffee Break Room

10:30 - 11:00

11:00 - 12:30: ISSTA Technical Papers - Static Analysis at ISSTA Room
Chair(s): Karim Ali

11:00 - 11:20
Talk

Repositioning of Static Analysis Alarms

Tukaram Muske, Rohith Talluri, Alexander Serebrenik

11:20 - 11:40
Talk

Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

11:40 - 12:00
Talk

Static Analysis of Java Dynamic Proxies

George Fourtounis, George Kastrinis, Yannis Smaragdakis

12:00 - 12:20
Talk

Practical Detection of Concurrency Issues at Coding Time

12:20 - 12:30

11:00 - 12:30: Curry On Talks - Track 1 at Curry On Room 1

11:00 - 11:45
Talk

Code into Data: Embedding programs into datastores with GraalVM

Thomas Wuerthinger

11:45 - 12:30
Talk

Challenges in Large-Scale Mobile App Performance

11:00 - 12:30: Curry On Talks - Track 2 at Curry On Room 2

11:00 - 11:45
Talk

Little Languages

11:45 - 12:30
Talk

Linguistic Abstraction in Streaming Analytics

Chess Timer Talk

11:00 - 12:30: Curry On Talks - Track 3 at Curry On Room 3

11:00 - 11:45
Talk

How does code sound?

Felienne Hermans

11:45 - 12:30
Talk

Why VM Benchmarking is Probably Misleading you

12:30 - 14:00: Catering - Catering at Lunch Room

12:30 - 14:00

13:50 - 15:30: Curry On Talks - Track 1 at Curry On Room 1

13:50 - 14:40
Talk

Simplicity - The Road Not Taken?

14:40 - 15:30
Talk

Lessons from a Big Data Machine Learning Startup

13:50 - 15:30: Curry On Talks - Track 2 at Curry On Room 2

13:50 - 14:40
Talk

Rethinking Modern Web Browsers

14:40 - 15:30
Talk

Serverless Computing with Functions

Chess Timer Talk

13:50 - 15:30: Curry On Talks - Track 3 at Curry On Room 3

13:50 - 14:40
Talk

SuperRecord: Practical Anonymous Records for Haskell

Alexander Thiemann

14:40 - 15:30
Talk

Lector in Codigo

14:00 - 15:00: ISSTA Keynotes - Keynote: Wisser, Khurshid, and Pasareanu at ISSTA Keynote Room
Chair(s): Tevfik Bultan

14:00 - 15:00
Talk

Test input generation with Java PathFinder: Then and Now

Willem Visser, Sarfraz Khurshid, Corina Pasareanu

14:00 - 17:30: Summer School - Lecture: Ahmed at Summer School Room
Chair(s): Andreas Zeller

14:00 - 17:30
Talk

Compiler Verification for a Multi-Language World

15:00 - 15:30: ISSTA Keynotes - Awards at ISSTA Keynote Room
Chair(s): Frank Tip

15:00 - 15:10

15:10 - 15:20

15:20 - 15:30

Best Tool Paper Award

Hamid Bagheri, Kathryn Stolee

15:00 - 15:30: Catering - Catering at Coffee Break Room

15:00 - 15:30

16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at ISSTA Room
Chair(s): Sarfraz Khurshid

16:00 - 16:20
Talk

Tests from Traces: Automated Unit Test Extraction for R

Filip Krikava, Jan Vitek

16:20 - 16:40
Talk

Translating Code Comments to Procedure Specifications

Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos

16:40 - 17:00
Talk

PerfFuzz: Automatically Generating Pathological Inputs

Distinguished Paper

Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

17:20 - 17:30

16:00 - 17:30: Curry On Talks - Track 1 at Curry On Room 1

16:00 - 16:45
Talk

Do-It-Yourself Functional Reactive Programming

Manuel Chakravarty

16:45 - 17:30
Talk

Luna - overview

Sylwia Brodacka

16:00 - 17:30: Curry On Talks - Track 2 at Curry On Room 2

16:00 - 16:45
Talk

Type-Safe GraphQL Servers with GADTs

Andreas Garnæs

16:45 - 17:30
Talk

DB ⋈ FP = Datafun: a new functional query language

Michael Arntzenius

16:00 - 17:30: Curry On Talks - Track 3 at Curry On Room 3

16:00 - 16:45
Talk

Isolation Without Containers

16:45 - 17:30
Talk

Using APIs and micro-services as the glue between observed and derived facts

17:40 - 18:30: Curry On Keynotes - Keynote at CurryOn Keynote Room

17:40 - 18:30
Talk

Go: building on the shoulders of giants and stepping on a few toes

19:30 - 23:00: Catering - ISSTA Banquet at Zaalverhuur Pakhuis de Zwijger

19:30 - 23:00

Wed 18 Jul

09:00 - 10:00: ISSTA Keynotes - Keynote: Ernst at ISSTA Keynote Room
Chair(s): Eric Bodden

09:00 - 10:00
Talk

Pluggable Type Systems Reconsidered

Michael D. Ernst

09:00 - 10:30: BenchWork - Real-World Benchmarking at BenchWork Room

09:00 - 09:10

Opening Remarks

Karim Ali, Cristina Cifuentes

09:10 - 09:40

Real World Benchmarks for JavaScript

Toon Verwaest, Camilo Bruni

09:40 - 10:00

In Search of Accurate Benchmarking

Edd Barrett, Sarah Mount, Laurence Tratt

10:00 - 10:30

AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection

10:00 - 10:30: ISSTA Keynotes - ISSTA 2019 Preview at ISSTA Keynote Room
Chair(s): Anders Møller, Dongmei Zhang

10:30 - 11:00: Catering - Catering at Coffee Break Room

10:30 - 11:00

11:00 - 12:30: BenchWork - JavaScript at BenchWork Room

11:00 - 11:30

Benchmarking WebKit

11:30 - 11:50

Analyzing Duplication in JavaScript

Petr Maj, Celeste Hollenbeck, Shabbir Hussain, Jan Vitek

11:50 - 12:10

Building a Node.js Benchmark: Initial Steps

Petr Maj, François Gauthier, Celeste Hollenbeck, Jan Vitek, Cristina Cifuentes

12:10 - 12:30

11:00 - 12:30: ISSTA Technical Papers - Porting and Repair at ISSTA Room
Chair(s): Kathryn Stolee

11:00 - 11:20
Talk

Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications

Mohammad M. Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds

11:20 - 11:40
Talk

Making Data-Driven Porting Decisions with Tuscan

Kareem Khazem, Earl Barr, Petr Hosek

11:40 - 12:00
Talk

Comparing developer-provided to user-provided tests for fault localization and automated program repair

René Just, Chris Parnin, Ian Drosos, Michael D. Ernst

12:00 - 12:20
Talk

Shaping Program Repair Space with Existing Patches and Similar Code

Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen

12:20 - 12:30

11:00 - 12:30: WoSSCA - WoSSCA 1 at WoSSCA Room
Chair(s): Eric Jul

11:00 - 11:30
Talk

Peering behind the Turing Mirror

11:30 - 12:00
Talk

Speculative side channels: the view from WebKit

12:00 - 12:30
Talk

Application-Specific Principals Must Align With Platform Boundaries

12:30 - 14:00: Catering - Catering at Lunch Room

12:30 - 14:00

14:00 - 17:30: Summer School - Lecture: Møller at Summer School Room
Chair(s): Jan Vitek

14:00 - 17:30
Talk

Static Program Analysis

14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at ISSTA Room
Chair(s): Tevfik Bultan

14:00 - 14:20
Talk

Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications

Yingjun Lyu, Ding Li, William G.J. Halfond

14:20 - 14:40
Talk

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Yannic Noller, Rody Kersten, Corina Pasareanu

14:40 - 15:00
Talk

Exploiting Community Structure for Floating-Point Precision Tuning

Hui Guo, Cindy Rubio-Gonzalez

15:00 - 15:20
Talk

piCoq: Parallel Regression Proving for Large-Scale Verification Projects

Karl Palmskog, Ahmet Celik, Milos Gligoric

15:20 - 15:30

14:00 - 15:30: BenchWork - Software Engineering at BenchWork Room

14:00 - 14:30

InspectorClone: Evaluating Precision of Clone Detection Tools

14:30 - 14:50

Towards a Data-Curation Platform for Code-Centric Research

Ben Hermann, Lisa Nguyen Quang Do, Eric Bodden

14:50 - 15:10

A Micro-Benchmark for Dynamic Program Behaviour

Li Sui, Jens Dietrich, Michael Emery, Amjed Tahir, Shawn Rasheed

15:10 - 15:30

14:00 - 15:30: WoSSCA - WoSSCA 2 at WoSSCA Room
Chair(s): Eric Jul

14:00 - 14:30
Talk

Systematizing speculative execution side channel vulnerabilities and their mitigations

14:30 - 15:00
Talk

Hardware and Software Mitigations

Chandler Carruth

15:00 - 15:30
Talk

Pacer: Efficient I/O Side-Channel Mitigation in the Cloud

15:00 - 15:30: Catering - Catering at Coffee Break Room

15:00 - 15:30

16:00 - 17:30: BenchWork - Compilers at BenchWork Room

16:00 - 16:30

The Architecture Independent Workload Characterization

16:30 - 17:00

Performance Monitoring in Eclipse OpenJ9

17:00 - 17:30

16:00 - 17:00: ISSTA Tool Demonstrations - Tool Demos at ISSTA Tool Demos Room
Chair(s): Kathryn Stolee, Hamid Bagheri

16:00 - 16:10

Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs

Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, Tomas Vojnar

16:10 - 16:20

LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps

Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang

16:20 - 16:30

Managing Concurrent Testing of Data Race with ComRaDe

Jian Gao, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting Sun, Ming Gu

16:30 - 16:40

OASIs: Oracle Assessment and Improvement Tool

Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella

16:40 - 16:50

Mutode: Generic JavaScript and Node.js Mutation Testing Tool

Diego Rodríguez-Baquero, Mario Linares-Vásquez

16:50 - 17:00

MalViz: An Interactive Visualization Tool for Tracing Malware

Vinh The Nguyen, Tommy Dang, Akbar Siami Namin

16:00 - 17:30: WoSSCA - WoSSCA 3 at WoSSCA Room
Chair(s): Jan Vitek

16:00 - 16:45
Talk

Software Diversity vs. Side Channels

Stefan Brunthaler

16:45 - 17:30
Talk

Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis

Asanka Sayakkara

18:00 - 20:00: Catering - Poster Reception at Poster Reception Room

18:00 - 20:00
Poster

Poster reception

Thu 19 Jul

09:00 - 10:30: ECOOP Keynotes - Keynote: De Moor at ECOOP Keynote Room
Chair(s): Frank Tip

09:00 - 10:30
Talk

Program Analysis for Everyone

09:00 - 10:30: Panathon - Session 1 at Panathon Room

11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at ECOOP Room

11:00 - 11:25
Research paper

Fault-tolerant Reactive Programming

Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini

11:25 - 11:50
Research paper

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

11:50 - 12:15
Research paper

Theory and Practice of Coroutines with Snapshots

Aleksandar Prokopec, Fengyun Liu

12:15 - 12:40
Research paper

A Concurrent Specification of POSIX File Systems

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner

11:00 - 13:00: Summer School - Lecture: Orso at Summer School Room
Chair(s): Jan Vitek

11:00 - 13:00
Talk

Software Testing and Debugging: State of the Art and Open Issues

11:00 - 12:30: SALAD - SALAD 1 at SALAD Room
Chair(s): Harry Xu

11:00 - 11:45
Talk

Keynote: Degunking the Cloud

11:45 - 12:30
Talk

Application Extraction for Java: A retrospective report of the Jax project

11:00 - 12:30: Panathon - Session 2 at Panathon Room

13:30 - 15:30: SALAD - SALAD 2 at SALAD Room
Chair(s): Harry Xu

13:30 - 14:00
Talk

An Opinionated Survey of the Java Static Analysis Landscape

14:00 - 14:30
Talk

Class hierarchy flattening: obfuscating (almost) all type information in Java programs

Bjorn De Sutter

14:30 - 15:00
Talk

Delta Debugging of Java Bytecode

15:00 - 15:30
Talk

Fine-Grained Library Customization

Linhai Song, Xinyu Xing

14:00 - 15:30: Panathon - Session 3 at Panathon Room

14:00 - 15:40: ECOOP Research Papers - Testing at ECOOP Room

14:00 - 14:25
Research paper

A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects

Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Peli de Halleux

14:25 - 14:50
Research paper

Learning to Accelerate Symbolic Execution via Code Transformation

Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

14:50 - 15:15
Research paper

Type Regression Testing to Detect Breaking Changes in Node.js Libraries

Gianluca Mezzetti, Anders Møller, Martin Toldam Torp

15:15 - 15:40
Research paper

Targeted Test Generation for Actor Systems

Sihan Li, Farah Hariri, Gul Agha

14:30 - 17:00: Summer School - Lecture: Click at Summer School Room
Chair(s): Jan Vitek

14:30 - 17:00
Talk

Writing Virtual Machines for fun and profit

16:00 - 18:30: SALAD - SALAD 3 at SALAD Room
Chair(s): Jan Vitek

16:00 - 16:37
Talk

On the Effectiveness of Kernel Debloating via Compile-time Configuration

Mansour Alharthi, Hong Hu, Hyungon Moon, Taesoo Kim

16:37 - 17:15
Talk

WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support

17:15 - 17:52
Talk

Detection of Spectre vulnerabilities via static analysis

17:52 - 18:30
Talk

BinRec: Attack Surface Reduction Through Dynamic Binary Recovery

Taddeus Kroes, Anil Altinay, Joseph Nash, Yeoul Na, Stijn Volckaert, Herbert Bos, Michael Franz, Cristiano Giuffrida

16:00 - 17:30: Panathon - Session 4 at Panathon Room

16:10 - 17:25: ECOOP Research Papers - Languages at ECOOP Room

16:10 - 16:35
Research paper

Typed First-Class Traits

Xuan Bi, Bruno C. d. S. Oliveira

16:35 - 17:00
Research paper

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

17:00 - 17:25
Research paper

Safe Transferable Regions

Gowtham Kaki, G. Ramalingam

Fri 20 Jul

09:00 - 10:30: ECOOP Keynotes - Keynote: Xu at ECOOP Keynote Room
Chair(s): Eric Jul

09:00 - 10:30
Talk

Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design

11:00 - 12:40: ECOOP Research Papers - Types at ECOOP Room

11:00 - 11:25
Research paper

A Framework for Object-Oriented Gradual Typing

Benjamin W Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

11:25 - 11:50
Research paper

Dependent Types for Class-based Mutable Objects

Joana Campos, Vasco T. Vasconcelos

11:50 - 12:15
Research paper

Static typing of complex presence constraints in interfaces

Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter

12:15 - 12:40
Research paper

Mailbox Types for Unordered Interactions

Ugo de'Liguoro, Luca Padovani

14:00 - 15:40: ECOOP Research Papers - Runtime Systems at ECOOP Room

14:00 - 14:25
Research paper

Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization

Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz

14:25 - 14:50
Research paper

CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs

Jonathan Bell, Luís Pina

14:50 - 15:15
Research paper

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman

15:15 - 15:40
Research paper

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis

Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu

14:30 - 17:00: Summer School - Lecture: Briand at Summer School Room
Chair(s): Andreas Zeller

14:30 - 17:00
Talk

Artificial Intelligence for Automated Software Testing

16:10 - 17:25: ECOOP Research Papers - Formal Calculi at ECOOP Room

16:10 - 16:35
Research paper

FHJ: A Formal Model for Hierarchical Dispatching and Overriding

Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

16:35 - 17:00
Research paper

Modeling infinite behaviour by corules

Davide Ancona, Francesco Dagnino, Elena Zucca

17:00 - 17:25
Research paper

The Essence of Nested Composition

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

Sat 21 Jul

09:00 - 10:30: ECOOP Keynotes - Keynote: Zeller at ECOOP Keynote Room
Chair(s): Frank Tip

09:00 - 10:30
Talk

Parser-Directed Test Generation

11:00 - 12:40: ECOOP Research Papers - Static Analysis at ECOOP Room

11:00 - 11:25
Research paper

Defensive Points-To Analysis: Effective Soundness via Laziness

Distinguished Paper

Yannis Smaragdakis, George Kastrinis

11:25 - 11:50
Research paper

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates

John Toman, Dan Grossman

11:50 - 12:15
Research paper

Definite Reference Mutability

12:15 - 12:40
Research paper

Efficient Reflection String Analysis via Graph Coloring

Neville Grech, George Kastrinis, Yannis Smaragdakis

Sun 15 Jul 2018


Room	17:00						30						18:00						30						19:00						30						20:00						30
Summer School Room	Summer School Welcome: Peyton Jones 17:00 - 20:00

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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Coffee Break Room																			Catering Catering 10:30 - 11:00																																																						Catering Catering 15:00 - 15:30
Curry On Room 1																									Curry On Talks Track 1 11:00 - 12:30																																				Curry On Talks Track 1 14:00 - 15:30																								Curry On Talks Track 1 16:00 - 17:30
Curry On Room 2																									Curry On Talks Track 2 11:00 - 12:30																																				Curry On Talks Track 2 14:00 - 15:30																								Curry On Talks Track 2 16:00 - 17:30
Curry On Room 3																									Curry On Talks Track 3 11:00 - 12:30																																				Curry On Talks Track 3 14:00 - 15:30																								Curry On Talks Track 3 16:00 - 17:30
CurryOn Keynote Room				Curry On Keynotes Keynote 09:15 - 10:20																																																																																					Curry On Keynotes Keynote 17:40 - 18:30
ISSTA Keynote Room	ISSTA Keynotes Welcome 09:00 - 09:30						ISSTA Keynotes Keynote: Torlak 09:30 - 10:30
ISSTA Room																									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
Lunch Room																																											Catering Catering 12:30 - 14:00
Summer School Room																																																																	Summer School Lecture: Pasareanu 14:30 - 17:00
Tobacco Theater																																																																	Catering Curry On Party 19:30 - 23:00

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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Coffee Break Room																			Catering Catering 10:30 - 11:00																																																						Catering Catering 15:00 - 15:30
Curry On Room 1																									Curry On Talks Track 1 11:00 - 12:30																																		Curry On Talks Track 1 13:50 - 15:30																										Curry On Talks Track 1 16:00 - 17:30
Curry On Room 2																									Curry On Talks Track 2 11:00 - 12:30																																		Curry On Talks Track 2 13:50 - 15:30																										Curry On Talks Track 2 16:00 - 17:30
Curry On Room 3																									Curry On Talks Track 3 11:00 - 12:30																																		Curry On Talks Track 3 13:50 - 15:30																										Curry On Talks Track 3 16:00 - 17:30
CurryOn Keynote Room				Curry On Keynotes Keynote 09:15 - 10:20																																																																																					Curry On Keynotes Keynote 17:40 - 18:30
ISSTA Keynote Room																																																													ISSTA Keynotes Keynote: Wisser, Khurshid, and Pasareanu 14:00 - 15:00												ISSTA Keynotes Awards 15:00 - 15:30
ISSTA Room	ISSTA Technical Papers Mobile 09:00 - 10:30																								ISSTA Technical Papers Static Analysis 11:00 - 12:30																																																												ISSTA Technical Papers Test and Oracle Generation 16:00 - 17:30
Lunch Room																																											Catering Catering 12:30 - 14:00
Summer School Room																																																													Summer School Lecture: Ahmed 14:00 - 17:30
Zaalverhuur Pakhuis de Zwijger																																																																	Catering ISSTA Banquet 19:30 - 23:00

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						18:00						30						19:00						30						20:00						30
BenchWork Room	BenchWork Real-World Benchmarking 09:00 - 10:30																								BenchWork JavaScript 11:00 - 12:30																																				BenchWork Software Engineering 14:00 - 15:30																								BenchWork Compilers 16:00 - 17:30
Coffee Break Room																			Catering Catering 10:30 - 11:00																																																						Catering Catering 15:00 - 15:30
ISSTA Keynote Room	ISSTA Keynotes Keynote: Ernst 09:00 - 10:00												ISSTA Keynotes ISSTA 2019 Preview 10:00 - 10:30
ISSTA Room																									ISSTA Technical Papers Porting and Repair 11:00 - 12:30																																				ISSTA Technical Papers Optimization and Performance 14:00 - 15:30
ISSTA Tool Demos Room																																																																	ISSTA Tool Demonstrations Tool Demos 16:00 - 17:00
Lunch Room																																											Catering Catering 12:30 - 14:00
Poster Reception Room																																																																	Catering Poster Reception 18:00 - 20:00
Summer School Room																																																													Summer School Lecture: Møller 14:00 - 17:30
WoSSCA Room																									WoSSCA WoSSCA 1 11:00 - 12:30																																				WoSSCA WoSSCA 2 14:00 - 15:30																								WoSSCA WoSSCA 3 16:00 - 17:30

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						18:00						30
ECOOP Keynote Room	ECOOP Keynotes Keynote: De Moor 09:00 - 10:30
ECOOP Room																									ECOOP Research Papers Asynchrony and Concurrency 11:00 - 12:40																																				ECOOP Research Papers Testing 14:00 - 15:40																										ECOOP Research Papers Languages 16:10 - 17:25
Panathon Room	Panathon Session 1 09:00 - 10:30																								Panathon Session 2 11:00 - 12:30																																				Panathon Session 3 14:00 - 15:30																								Panathon Session 4 16:00 - 17:30
SALAD Room																									SALAD SALAD 1 11:00 - 12:30																														SALAD SALAD 2 13:30 - 15:30																														SALAD SALAD 3 16:00 - 18:30
Summer School Room																									Summer School Lecture: Orso 11:00 - 13:00																																										Summer School Lecture: Click 14:30 - 17:00

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
ECOOP Keynote Room	ECOOP Keynotes Keynote: Xu 09:00 - 10:30
ECOOP Room																									ECOOP Research Papers Types 11:00 - 12:40																																				ECOOP Research Papers Runtime Systems 14:00 - 15:40																										ECOOP Research Papers Formal Calculi 16:10 - 17:25
Summer School Room																																																																	Summer School Lecture: Briand 14:30 - 17:00

Sat 21 Jul 2018


Room	9:00						30						10:00						30						11:00						30						12:00						30
ECOOP Keynote Room	ECOOP Keynotes Keynote: Zeller 09:00 - 10:30
ECOOP Room																									ECOOP Research Papers Static Analysis 11:00 - 12:40

Sun 15 Jul 2018


Room	17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Summer School Room	ECOOP and ISSTA Summer School 35 years of fun with functional programming 17:00 - 20:00

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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Coffee Break Room																			ISSTA 2018 Catering Coffee Break 10:30 - 11:00																																																						ISSTA 2018 Catering Coffee Break 15:00 - 15:30
Curry On Room 1																									CurryOn 2018 Curry On Talks Live, On Ice! 11:00 - 11:45									CurryOn 2018 Curry On Talks ApacheSpark as a gateway drug to FP: Concepts taught & broken 11:45 - 12:30																											CurryOn 2018 Curry On Talks Domain Specific Programming Platforms for Creativity 14:00 - 14:45									CurryOn 2018 Curry On Talks Finite of Sense and Infinite of Thought: A History of Computation, Logi ... 14:45 - 15:30															CurryOn 2018 Curry On Talks Spoofax: Live Programming Language Design 16:00 - 16:45									CurryOn 2018 Curry On Talks Transducing for fun and profit 16:45 - 17:30
Curry On Room 2																									CurryOn 2018 Curry On Talks Your inner compiler engineer wants out! 11:00 - 11:45									CurryOn 2018 Curry On Talks Constant-time crypto programming with FaCT 11:45 - 12:30																											CurryOn 2018 Curry On Talks A CRDT Primer: Defanging Order Theory 14:00 - 14:45									CurryOn 2018 Curry On Talks Better living through incrementality: Immediate static analysis feedbac ... 14:45 - 15:30															CurryOn 2018 Curry On Talks It Ain't Necessarily So 16:00 - 16:45									CurryOn 2018 Curry On Talks Language Design in the Open 16:45 - 17:30
Curry On Room 3																									CurryOn 2018 Curry On Talks Adding kind-polymorphism to the Scala programming language 11:00 - 11:45									CurryOn 2018 Curry On Talks Taming the C monster: Haskell FFI techniques 11:45 - 12:30																											CurryOn 2018 Curry On Talks Atom Heart Monad: FRP in C++ 14:00 - 14:45									CurryOn 2018 Curry On Talks Akka.JS and why the actor model matters even in JS's world. 14:45 - 15:30															CurryOn 2018 Curry On Talks Papers we love - Elixir edition 16:00 - 16:45									CurryOn 2018 Curry On Talks Hackett: a metaprogrammable Haskell 16:45 - 17:30
CurryOn Keynote Room				CurryOn 2018 Curry On Keynotes Opening Remarks 09:15 - 09:30			CurryOn 2018 Curry On Keynotes WebAssembly, Past, Present, and Future 09:30 - 10:20																																																																																		CurryOn 2018 Curry On Keynotes Linear Haskell: practical linearity in a higher-order polymorphic language 17:40 - 18:30
ISSTA Keynote Room							ISSTA 2018 ISSTA Keynotes Solver-Aided Programming for All 09:30 - 10:30
ISSTA Room																									ISSTA 2018 ISSTA Technical Papers Lightweight Verification of Array Indexing 11:00 - 11:20				ISSTA 2018 ISSTA Technical Papers Eliminating Timing Side-channel Leaks Using Program Repair 11:20 - 11:40				ISSTA 2018 ISSTA Technical Papers Symbolic Path Cost Analysis for Side-Channel Detection 11:40 - 12:00				ISSTA 2018 ISSTA Technical Papers Safe and Sound Program Analysis with Flix 12:00 - 12:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 12:20 - 12:30																				ISSTA 2018 ISSTA Technical Papers Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ... 14:00 - 14:20				ISSTA 2018 ISSTA Technical Papers Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ... 14:20 - 14:40				ISSTA 2018 ISSTA Technical Papers Automated Test Mapping and Coverage for Network Topologies 14:40 - 15:00				ISSTA 2018 ISSTA Technical Papers Evaluating Test-Suite Reduction in Real-World Software Evolution 15:00 - 15:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 15:20 - 15:30								ISSTA 2018 ISSTA Technical Papers Compiler Fuzzing through Deep Learning 16:00 - 16:20				ISSTA 2018 ISSTA Technical Papers Deep Specification Mining 16:20 - 16:40				ISSTA 2018 ISSTA Technical Papers Identifying Implementation Bugs in Machine Learning based Image Classif ... 16:40 - 17:00				ISSTA 2018 ISSTA Technical Papers An Empirical Study on TensorFlow Program Bugs 17:00 - 17:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 17:20 - 17:30
Lunch Room																																											ISSTA 2018 Catering Lunch 12:30 - 14:00
Summer School Room																																																																	ECOOP and ISSTA Summer School Symbolic Execution and Probabilistic Reasoning 14:30 - 17:00
Tobacco Theater																																																																	CurryOn 2018 Catering Curry On Party 19:30 - 23:00

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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Coffee Break Room																			ISSTA 2018 Catering Coffee Break 10:30 - 11:00																																																						ISSTA 2018 Catering Coffee Break 15:00 - 15:30
Curry On Room 1																									CurryOn 2018 Curry On Talks Code into Data: Embedding programs into datastores with GraalVM 11:00 - 11:45									CurryOn 2018 Curry On Talks Challenges in Large-Scale Mobile App Performance 11:45 - 12:30																									CurryOn 2018 Curry On Talks Simplicity - The Road Not Taken? 13:50 - 14:40										CurryOn 2018 Curry On Talks Lessons from a Big Data Machine Learning Startup 14:40 - 15:30																CurryOn 2018 Curry On Talks Do-It-Yourself Functional Reactive Programming 16:00 - 16:45									CurryOn 2018 Curry On Talks Luna - overview 16:45 - 17:30
Curry On Room 2																									CurryOn 2018 Curry On Talks Little Languages 11:00 - 11:45									CurryOn 2018 Curry On Talks Linguistic Abstraction in Streaming Analytics 11:45 - 12:30																									CurryOn 2018 Curry On Talks Rethinking Modern Web Browsers 13:50 - 14:40										CurryOn 2018 Curry On Talks Serverless Computing with Functions 14:40 - 15:30																CurryOn 2018 Curry On Talks Type-Safe GraphQL Servers with GADTs 16:00 - 16:45									CurryOn 2018 Curry On Talks DB ⋈ FP = Datafun: a new functional query language 16:45 - 17:30
Curry On Room 3																									CurryOn 2018 Curry On Talks How does code sound? 11:00 - 11:45									CurryOn 2018 Curry On Talks Why VM Benchmarking is Probably Misleading you 11:45 - 12:30																									CurryOn 2018 Curry On Talks SuperRecord: Practical Anonymous Records for Haskell 13:50 - 14:40										CurryOn 2018 Curry On Talks Lector in Codigo 14:40 - 15:30																CurryOn 2018 Curry On Talks Isolation Without Containers 16:00 - 16:45									CurryOn 2018 Curry On Talks Using APIs and micro-services as the glue between observed and derived ... 16:45 - 17:30
CurryOn Keynote Room				CurryOn 2018 Curry On Keynotes Opening Remarks 09:15 - 10:20																																																																																					CurryOn 2018 Curry On Keynotes Go: building on the shoulders of giants and stepping on a few toes 17:40 - 18:30
ISSTA Keynote Room																																																													ISSTA 2018 ISSTA Keynotes Test input generation with Java PathFinder: Then and Now 14:00 - 15:00												ISSTA 2018 ISSTA Keynotes MIP Award 15:00 - 15:10		ISSTA 2018 ISSTA Keynotes DPA Award 15:10 - 15:20		ISSTA 2018 ISSTA Keynotes Best Tool Paper Award 15:20 - 15:30
ISSTA Room	ISSTA 2018 ISSTA Technical Papers Automatically Translating Bug Reports into Test Cases for Mobile Apps 09:00 - 09:20				ISSTA 2018 ISSTA Technical Papers CiD: Automating the Detection of API-related Compatibility Issues in An ... 09:20 - 09:40				ISSTA 2018 ISSTA Technical Papers Test Migration for Efficient Large-Scale Assessment of Mobile App Codin ... 09:40 - 10:00				ISSTA 2018 ISSTA Technical Papers Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe 10:00 - 10:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 10:20 - 10:30								ISSTA 2018 ISSTA Technical Papers Repositioning of Static Analysis Alarms 11:00 - 11:20				ISSTA 2018 ISSTA Technical Papers Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots 11:20 - 11:40				ISSTA 2018 ISSTA Technical Papers Static Analysis of Java Dynamic Proxies 11:40 - 12:00				ISSTA 2018 ISSTA Technical Papers Practical Detection of Concurrency Issues at Coding Time 12:00 - 12:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 12:20 - 12:30																																												ISSTA 2018 ISSTA Technical Papers Tests from Traces: Automated Unit Test Extraction for R 16:00 - 16:20				ISSTA 2018 ISSTA Technical Papers Translating Code Comments to Procedure Specifications 16:20 - 16:40				ISSTA 2018 ISSTA Technical Papers PerfFuzz: Automatically Generating Pathological Inputs 16:40 - 17:00								ISSTA 2018 ISSTA Technical Papers Q&A in groups 17:20 - 17:30
Lunch Room																																											ISSTA 2018 Catering Lunch 12:30 - 14:00
Summer School Room																																																													ECOOP and ISSTA Summer School Compiler Verification for a Multi-Language World 14:00 - 17:30
Zaalverhuur Pakhuis de Zwijger																																																																	ISSTA 2018 Catering Banquet 19:30 - 23:00

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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
BenchWork Room	BenchWork 2018 Opening Remarks 09:00 - 09:10		BenchWork 2018 Real World Benchmarks for JavaScript 09:10 - 09:40						BenchWork 2018 In Search of Accurate Benchmarking 09:40 - 10:00				BenchWork 2018 AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App C ... 10:00 - 10:30												BenchWork 2018 Benchmarking WebKit 11:00 - 11:30						BenchWork 2018 Analyzing Duplication in JavaScript 11:30 - 11:50				BenchWork 2018 Building a Node.js Benchmark: Initial Steps 11:50 - 12:10				BenchWork 2018 Q&A in groups 12:10 - 12:30																						BenchWork 2018 InspectorClone: Evaluating Precision of Clone Detection Tools 14:00 - 14:30						BenchWork 2018 Towards a Data-Curation Platform for Code-Centric Research 14:30 - 14:50				BenchWork 2018 A Micro-Benchmark for Dynamic Program Behaviour 14:50 - 15:10				BenchWork 2018 Q&A in groups 15:10 - 15:30										BenchWork 2018 The Architecture Independent Workload Characterization 16:00 - 16:30						BenchWork 2018 Performance Monitoring in Eclipse OpenJ9 16:30 - 17:00						BenchWork 2018 Q&A in groups 17:00 - 17:30
Coffee Break Room																			ISSTA 2018 Catering Coffee Break 10:30 - 11:00																																																						ISSTA 2018 Catering Coffee Break 15:00 - 15:30
ISSTA Keynote Room	ISSTA 2018 ISSTA Keynotes Pluggable Type Systems Reconsidered 09:00 - 10:00
ISSTA Room																									ISSTA 2018 ISSTA Technical Papers Search-Based Detection of Deviation Failures in the Migration of Legacy ... 11:00 - 11:20				ISSTA 2018 ISSTA Technical Papers Making Data-Driven Porting Decisions with Tuscan 11:20 - 11:40				ISSTA 2018 ISSTA Technical Papers Comparing developer-provided to user-provided tests for fault localizat ... 11:40 - 12:00				ISSTA 2018 ISSTA Technical Papers Shaping Program Repair Space with Existing Patches and Similar Code 12:00 - 12:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 12:20 - 12:30																				ISSTA 2018 ISSTA Technical Papers Remove RATs from Your Code: Automated Optimization of Resource Ineffici ... 14:00 - 14:20				ISSTA 2018 ISSTA Technical Papers Badger: Complexity Analysis with Fuzzing and Symbolic Execution 14:20 - 14:40				ISSTA 2018 ISSTA Technical Papers Exploiting Community Structure for Floating-Point Precision Tuning 14:40 - 15:00				ISSTA 2018 ISSTA Technical Papers piCoq: Parallel Regression Proving for Large-Scale Verification Projects 15:00 - 15:20				ISSTA 2018 ISSTA Technical Papers Q&A in groups 15:20 - 15:30
ISSTA Tool Demos Room																																																																	ISSTA 2018 ISSTA Tool Demonstrations Advances in the ANaConDA Framework for Dynamic Analysis and Testing of ... 16:00 - 16:10		ISSTA 2018 ISSTA Tool Demonstrations LAND: A User-Friendly and Customizable Test Generation Tool for Android ... 16:10 - 16:20		ISSTA 2018 ISSTA Tool Demonstrations Managing Concurrent Testing of Data Race with ComRaDe 16:20 - 16:30		ISSTA 2018 ISSTA Tool Demonstrations OASIs: Oracle Assessment and Improvement Tool 16:30 - 16:40		ISSTA 2018 ISSTA Tool Demonstrations Mutode: Generic JavaScript and Node.js Mutation Testing Tool 16:40 - 16:50		ISSTA 2018 ISSTA Tool Demonstrations MalViz: An Interactive Visualization Tool for Tracing Malware 16:50 - 17:00
Lunch Room																																											ISSTA 2018 Catering Lunch 12:30 - 14:00
Poster Reception Room																																																																	ECOOP and ISSTA Catering Poster reception 18:00 - 20:00
Summer School Room																																																													ECOOP and ISSTA Summer School Static Program Analysis 14:00 - 17:30
WoSSCA Room																									WoSSCA 2018 Peering behind the Turing Mirror 11:00 - 11:30						WoSSCA 2018 Speculative side channels: the view from WebKit 11:30 - 12:00						WoSSCA 2018 Application-Specific Principals Must Align With Platform Boundaries 12:00 - 12:30																								WoSSCA 2018 Systematizing speculative execution side channel vulnerabilities and th ... 14:00 - 14:30						WoSSCA 2018 Hardware and Software Mitigations 14:30 - 15:00						WoSSCA 2018 Pacer: Efficient I/O Side-Channel Mitigation in the Cloud 15:00 - 15:30												WoSSCA 2018 Software Diversity vs. Side Channels 16:00 - 16:45									WoSSCA 2018 Electromagnetic Side-Channel Attacks: Potential for Progressing Hindere ... 16:45 - 17:30

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			18:00			15			30			45
ECOOP Keynote Room	ECOOP 2018 ECOOP Keynotes Program Analysis for Everyone 09:00 - 10:30
ECOOP Room																									ECOOP 2018 ECOOP Research Papers Fault-tolerant Reactive Programming 11:00 - 11:25					ECOOP 2018 ECOOP Research Papers ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions 11:25 - 11:50					ECOOP 2018 ECOOP Research Papers Theory and Practice of Coroutines with Snapshots 11:50 - 12:15					ECOOP 2018 ECOOP Research Papers A Concurrent Specification of POSIX File Systems 12:15 - 12:40																					ECOOP 2018 ECOOP Research Papers A Characteristic Study of Parameterized Unit Tests in .NET Open Source ... 14:00 - 14:25					ECOOP 2018 ECOOP Research Papers Learning to Accelerate Symbolic Execution via Code Transformation 14:25 - 14:50					ECOOP 2018 ECOOP Research Papers Type Regression Testing to Detect Breaking Changes in Node.js Libraries 14:50 - 15:15					ECOOP 2018 ECOOP Research Papers Targeted Test Generation for Actor Systems 15:15 - 15:40											ECOOP 2018 ECOOP Research Papers Typed First-Class Traits 16:10 - 16:35					ECOOP 2018 ECOOP Research Papers CrySL: An Extensible Approach to Validating the Correct Usage of Crypto ... 16:35 - 17:00					ECOOP 2018 ECOOP Research Papers Safe Transferable Regions 17:00 - 17:25
SALAD Room																									SALAD 2018 Keynote: Degunking the Cloud 11:00 - 11:45									SALAD 2018 Application Extraction for Java: A retrospective report of the Jax project 11:45 - 12:30																					SALAD 2018 An Opinionated Survey of the Java Static Analysis Landscape 13:30 - 14:00						SALAD 2018 Class hierarchy flattening: obfuscating (almost) all type information i ... 14:00 - 14:30						SALAD 2018 Delta Debugging of Java Bytecode 14:30 - 15:00						SALAD 2018 Fine-Grained Library Customization 15:00 - 15:30												SALAD 2018 On the Effectiveness of Kernel Debloating via Compile-time Configuration 16:00 - 16:37							SALAD 2018 WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support 16:37 - 17:15								SALAD 2018 Detection of Spectre vulnerabilities via static analysis 17:15 - 17:52							SALAD 2018 BinRec: Attack Surface Reduction Through Dynamic Binary Recovery 17:52 - 18:30
Summer School Room																									ECOOP and ISSTA Summer School Software Testing and Debugging: State of the Art and Open Issues 11:00 - 13:00																																										ECOOP and ISSTA Summer School Writing Virtual Machines for fun and profit 14:30 - 17:00

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
ECOOP Keynote Room	ECOOP 2018 ECOOP Keynotes Object-Orientation Meets Big Data: Performance Impact, Restoration, and ... 09:00 - 10:30
ECOOP Room																									ECOOP 2018 ECOOP Research Papers A Framework for Object-Oriented Gradual Typing 11:00 - 11:25					ECOOP 2018 ECOOP Research Papers Dependent Types for Class-based Mutable Objects 11:25 - 11:50					ECOOP 2018 ECOOP Research Papers Static typing of complex presence constraints in interfaces 11:50 - 12:15					ECOOP 2018 ECOOP Research Papers Mailbox Types for Unordered Interactions 12:15 - 12:40																					ECOOP 2018 ECOOP Research Papers Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Usi ... 14:00 - 14:25					ECOOP 2018 ECOOP Research Papers CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ... 14:25 - 14:50					ECOOP 2018 ECOOP Research Papers ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ... 14:50 - 15:15					ECOOP 2018 ECOOP Research Papers Automating Object Transformations for Dynamic Software Updating via Onl ... 15:15 - 15:40											ECOOP 2018 ECOOP Research Papers FHJ: A Formal Model for Hierarchical Dispatching and Overriding 16:10 - 16:35					ECOOP 2018 ECOOP Research Papers Modeling infinite behaviour by corules 16:35 - 17:00					ECOOP 2018 ECOOP Research Papers The Essence of Nested Composition 17:00 - 17:25
Summer School Room																																																																	ECOOP and ISSTA Summer School Artificial Intelligence for Automated Software Testing 14:30 - 17:00

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
ECOOP Keynote Room	ECOOP 2018 ECOOP Keynotes Parser-Directed Test Generation 09:00 - 10:30
ECOOP Room																									ECOOP 2018 ECOOP Research Papers Defensive Points-To Analysis: Effective Soundness via Laziness 11:00 - 11:25					ECOOP 2018 ECOOP Research Papers Legato: An At-Most-Once Analysis with Applications to Dynamic Configura ... 11:25 - 11:50					ECOOP 2018 ECOOP Research Papers Definite Reference Mutability 11:50 - 12:15					ECOOP 2018 ECOOP Research Papers Efficient Reflection String Analysis via Graph Coloring 12:15 - 12:40

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format