VORTEX 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / VORTEX 2018 (series) / Mövenpick Hotel Amsterdam City Centre /

Room information: Hanoi

VenueMövenpick Hotel Amsterdam City Centre
Room nameHanoi
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jul

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

11:00 - 12:30
Session 1FTfJP at Hanoi
11:00
30m
Full-paper
Monotonic Gradual Typing in a Common Calculus
FTfJP
Benjamin Chung Northeastern University, Jan Vitek Northeastern University
Pre-print
11:30
30m
Full-paper
Incremental Overload Resolution in Object-Oriented Programming Languages
FTfJP
Tamás Szabó itemis AG / TU Delft, Edlira Kuci TU Darmstadt, Germany, Matthijs Bijman Delft University of Technology, Mira Mezini TU Darmstadt, Sebastian Erdweg TU Delft
Pre-print
12:00
30m
Full-paper
Safely Abstracting Memory Layouts
FTfJP
Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London
Pre-print
14:00 - 15:30
Session 2FTfJP at Hanoi
14:00
60m
Talk
Towards specifications of robustness -- the things that programs do *not* doKeynote
FTfJP
Sophia Drossopoulou Imperial College London
15:00
30m
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David Cok CEA, LIST, Software Safety and Security Laboratory
Pre-print
16:00 - 18:15
Session 3FTfJP at Hanoi
16:00
25m
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David Cok CEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25
25m
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Franceschini DIBRIS, University of Genova
Pre-print
16:50
25m
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal Weisenburger Technische Universität Darmstadt, Tobias Reinhard Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
Pre-print
17:15
30m
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse Oortwijn University of Twente, The Netherlands
Pre-print
17:45
30m
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten , Wytse Oortwijn University of Twente, The Netherlands, Mohsen Safari University of Twente, The Netherlands, Marieke Huisman University of Twente
Pre-print

Tue 17 Jul

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

11:00 - 12:30
Session 1ICOOOLPS at Hanoi
11:00
60m
Talk
Polymorphic Inline Caching in JavaScriptCoreKeynote
ICOOOLPS
Filip Pizlo Apple
12:05
25m
Research paper
Assessing primitives performance on multi-stage execution
ICOOOLPS
Sophie Kaleba INRIA, Clément Béra RMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille
14:00 - 15:30
Session 2ICOOOLPS at Hanoi
14:00
25m
Research paper
Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
ICOOOLPS
Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London, Susan Eisenbach Imperial College London
14:30
25m
Research paper
Maintaining Canonical Form After Edge Deletion
ICOOOLPS
Eric Fritz University of Wisconsin, Milwaukee
15:00
25m
Research paper
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS
Micha Hergarden Open University of the Netherlands, The Netherlands, Sung-Shik Jongmans Open University of the Netherlands, The Netherlands
16:00 - 18:00
Session 3ICOOOLPS at Hanoi
16:00
60m
Talk
The first 15 years of PyPy: A retrospectiveKeynote
ICOOOLPS
CF Bolz-Tereick
17:05
25m
Research paper
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
ICOOOLPS
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld HPI, University of Potsdam
Link to publication DOI Pre-print

Wed 18 Jul

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

11:00 - 12:30
Real-World BenchmarkingBenchWork at Hanoi
11:00
10m
Opening Remarks
BenchWork
Karim Ali University of Alberta, Cristina Cifuentes Oracle Labs
11:10
30m
Real World Benchmarks for JavaScript
BenchWork
Toon Verwaest Google, Camilo Bruni Google
File Attached
11:40
20m
In Search of Accurate Benchmarking
BenchWork
Edd Barrett King's College London, Sarah Mount King's College London, Laurence Tratt King's College London
File Attached
12:00
30m
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
BenchWork
Kevin Allix University of Luxembourg
14:00 - 15:30
JavaScript & Dynamic BehaviourBenchWork at Hanoi
14:00
30m
Benchmarking WebKit
BenchWork
Saam Barati Apple
File Attached
14:30
20m
Analyzing Duplication in JavaScript
BenchWork
Petr Maj Czech Technical University, Celeste Hollenbeck Northeastern University, USA, Shabbir Hussain Northeastern University, Jan Vitek Northeastern University
14:50
20m
Building a Node.js Benchmark: Initial Steps
BenchWork
Petr Maj Czech Technical University, François Gauthier Oracle Labs, Celeste Hollenbeck Northeastern University, USA, Jan Vitek Northeastern University, Cristina Cifuentes Oracle Labs
File Attached
15:10
20m
A Micro-Benchmark for Dynamic Program Behaviour
BenchWork
Li Sui Massey University, New Zealand, Jens Dietrich Massey University, Michael Emery Massey University, Amjed Tahir Massey University, Shawn Rasheed Massey University
16:00 - 17:40
Software Engineering & CompilersBenchWork at Hanoi
16:00
30m
InspectorClone: Evaluating Precision of Clone Detection Tools
BenchWork
Crista Lopes
16:30
20m
Towards a Data-Curation Platform for Code-Centric Research
BenchWork
Ben Hermann University of Paderborn, Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
16:50
20m
The Architecture Independent Workload Characterization
BenchWork
Beau Johnston Australian National University
File Attached
17:10
30m
Performance Monitoring in Eclipse OpenJ9
BenchWork
Andrew Craik IBM

Thu 19 Jul

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

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

11:10
50m
Keynote: Alégroth, Amalfitano, Vos, and Aho
INTUITESTBEDS
Emil Alégroth Blekinge Institute of Technology, Domenico Amalfitano University of Naples Federico II, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Pekka Aho Open University of the Netherlands
12:00
30m
Talk
Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art
INTUITESTBEDS
Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Università della Svizzera italiana (USI), Paolo Rondena
14:00 - 15:30
Session 2INTUITESTBEDS at Hanoi
14:00
30m
Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
INTUITESTBEDS
Riccardo Coppola Politecnico di Torino, Emil Alégroth Blekinge Institute of Technology, Luca Ardito , Marco Torchiano
14:30
30m
Talk
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities
INTUITESTBEDS
Domenico Amalfitano University of Naples Federico II, Anna Rita Fasolino Federico II University of Naples, Vincenzo Riccio University of Naples Federico II
15:00
30m
Talk
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
INTUITESTBEDS
Rudolf Ramler Software Competence Center Hagenberg, Thomas Wetzlmaier , Robert Hoschek
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

Mon 16 Jul

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

Room11:003012:003013:003014:003015:003016:003017:003018:0030
Hanoi

FTfJP

Session 1

FTfJP

Session 2

FTfJP

Session 3

Tue 17 Jul

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

Room11:003012:003013:003014:003015:003016:003017:0030
Hanoi

ICOOOLPS

Session 1

ICOOOLPS

Session 2

ICOOOLPS

Session 3

Wed 18 Jul

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

Room11:003012:003013:003014:003015:003016:003017:0030
Hanoi

BenchWork

Real-World Benchmarking

BenchWork

JavaScript & Dynamic Behaviour

BenchWork

Software Engineering & Compilers

Thu 19 Jul

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

Room11:003012:003013:003014:003015:003016:003017:0030
Hanoi

INTUITESTBEDS

Session 1

INTUITESTBEDS

Session 2

INTUITESTBEDS

Session 3

Mon 16 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Hanoi
FTfJP
Monotonic Gradual Typing in a Common Calculus
11:00 - 11:30
FTfJP
Incremental Overload Resolution in Object-Oriented Programming Languages
11:30 - 12:00
FTfJP
Safely Abstracting Memory Layouts
12:00 - 12:30
FTfJPKeynote
Towards specifications of robustness -- the things that programs do *no ...
14:00 - 15:00
FTfJP
Specification Idioms from Industrial Experience
15:00 - 15:30
FTfJP
Reasoning about Functional Programming in Java and C++
16:00 - 16:25
FTfJP
A Formalism for Specification of Java API Interfaces
16:25 - 16:50
FTfJP
Static Latency Tracking with Placement Types
16:50 - 17:15
FTfJP
Tool demonstration: The VerCors Verification Toolset
17:15 - 17:45
FTfJP
An Exercise in Verifying Sequential Programs with VerCors
17:45 - 18:15

Tue 17 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Hanoi
ICOOOLPSKeynote
Polymorphic Inline Caching in JavaScriptCore
11:00 - 12:00
ICOOOLPS
Assessing primitives performance on multi-stage execution
12:05 - 12:30
ICOOOLPS
Extending SHAPES for SIMD Architectures - An approach to native support ...
14:00 - 14:25
ICOOOLPS
Maintaining Canonical Form After Edge Deletion
14:30 - 14:55
ICOOOLPS
Shared Memory Implementations of Protocol Programming Languages, Data-R ...
15:00 - 15:25
ICOOOLPSKeynote
The first 15 years of PyPy: A retrospective
16:00 - 17:00
ICOOOLPS
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST In ...
17:05 - 17:30

Wed 18 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Hanoi
BenchWork
Opening Remarks
11:00 - 11:10
BenchWork
Real World Benchmarks for JavaScript
11:10 - 11:40
BenchWork
In Search of Accurate Benchmarking
11:40 - 12:00
BenchWork
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App C ...
12:00 - 12:30
BenchWork
Benchmarking WebKit
14:00 - 14:30
BenchWork
Analyzing Duplication in JavaScript
14:30 - 14:50
BenchWork
Building a Node.js Benchmark: Initial Steps
14:50 - 15:10
BenchWork
A Micro-Benchmark for Dynamic Program Behaviour
15:10 - 15:30
BenchWork
InspectorClone: Evaluating Precision of Clone Detection Tools
16:00 - 16:30
BenchWork
Towards a Data-Curation Platform for Code-Centric Research
16:30 - 16:50
BenchWork
The Architecture Independent Workload Characterization
16:50 - 17:10
BenchWork
Performance Monitoring in Eclipse OpenJ9
17:10 - 17:40

Thu 19 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Hanoi
INTUITESTBEDS
Welcome
11:00 - 11:10
INTUITESTBEDS
Keynote: Alégroth, Amalfitano, Vos, and Aho
11:10 - 12:00
INTUITESTBEDS
Automatic GUI Testing of Desktop Applications: an Empirical Assessment ...
12:00 - 12:30
INTUITESTBEDS
Towards Automated Translation between Generations of GUI-based Tests fo ...
14:00 - 14:30
INTUITESTBEDS
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Ap ...
14:30 - 15:00
INTUITESTBEDS
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
15:00 - 15:30
INTUITESTBEDS
Tool Demos
16:00 - 16:30
INTUITESTBEDS
Student Presentation: Conny Hagelukken
16:30 - 17:00
INTUITESTBEDS
Student Presentation: Marion de Groot
17:00 - 17:30