WoSSCA 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / WoSSCA 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

Conference Day
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 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
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
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

Conference Day
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 PizloApple
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
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
16:00 - 18:00
Session 3ICOOOLPS at Hanoi
16:00
60m
Talk
The first 15 years of PyPy: A retrospectiveKeynote
ICOOOLPS
Carl Friedrich Bolz-Tereick
17:05
25m
Research paper
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
ICOOOLPS
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHPI, University of Potsdam
Link to publication DOI Pre-print

Conference Day
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 AliUniversity of Alberta, Cristina CifuentesOracle Labs
11:10
30m
Real World Benchmarks for JavaScript
BenchWork
Toon VerwaestGoogle, Camilo BruniGoogle
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
14:00 - 15:30
JavaScript & Dynamic BehaviourBenchWork at Hanoi
14:00
30m
Benchmarking WebKit
BenchWork
Saam BaratiApple
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
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 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
Andrew CraikIBM

Conference Day
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é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
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
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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