Hanoi -

VenueMövenpick Hotel Amsterdam City Centre

Room nameHanoi

Floor0

Additional informationThere is no additional information of this room available.

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

Apply

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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: FTfJP - Session 1 at Hanoi

11:00 - 11:30
Full-paper

Monotonic Gradual Typing in a Common Calculus

Benjamin ChungNortheastern University, Jan VitekNortheastern University

Pre-print

11:30 - 12:00
Full-paper

Incremental Overload Resolution in Object-Oriented Programming Languages

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 - 12:30
Full-paper

Safely Abstracting Memory Layouts

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: FTfJP - Session 2 at Hanoi

14:00 - 15:00
Talk

Towards specifications of robustness -- the things that programs do *not* doKeynote

Sophia DrossopoulouImperial College London

15:00 - 15:30
Full-paper

Specification Idioms from Industrial Experience

David CokCEA, LIST, Software Safety and Security Laboratory

Pre-print

16:00 - 18:15: FTfJP - Session 3 at Hanoi

16:00 - 16:25
Short-paper

Reasoning about Functional Programming in Java and C++

David CokCEA, LIST, Software Safety and Security Laboratory

Pre-print

16:25 - 16:50
Short-paper

A Formalism for Specification of Java API Interfaces

Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova

Pre-print

16:50 - 17:15
Short-paper

Static Latency Tracking with Placement Types

Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt

Pre-print

17:15 - 17:45
Demonstration

Tool demonstration: The VerCors Verification Toolset

Wytse OortwijnUniversity of Twente, The Netherlands

Pre-print

17:45 - 18:15
Full-paper

An Exercise in Verifying Sequential Programs with VerCors

Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente

Pre-print

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: ICOOOLPS - Session 1 at Hanoi

11:00 - 12:00
Talk

Polymorphic Inline Caching in JavaScriptCoreKeynote

Filip PizloApple

12:05 - 12:30
Research paper

Assessing primitives performance on multi-stage execution

Sophie KalebaINRIA, Clément BéraRMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille

14:00 - 15:30: ICOOOLPS - Session 2 at Hanoi

14:00 - 14:25
Research paper

Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages

Alexandros TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London

14:30 - 14:55
Research paper

Maintaining Canonical Form After Edge Deletion

Eric FritzUniversity of Wisconsin, Milwaukee

15:00 - 15:25
Research paper

Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free

Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands

16:00 - 18:00: ICOOOLPS - Session 3 at Hanoi

16:00 - 17:00
Talk

The first 15 years of PyPy: A retrospectiveKeynote

Carl Friedrich Bolz-Tereick

17:05 - 17:30
Research paper

GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHPI, University of Potsdam

Link to publication DOI Pre-print

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: BenchWork - Real-World Benchmarking at Hanoi

11:00 - 11:10

Opening Remarks

Karim AliUniversity of Alberta, Cristina CifuentesOracle Labs

11:10 - 11:40

Real World Benchmarks for JavaScript

Toon VerwaestGoogle, Camilo BruniGoogle

File Attached

11:40 - 12:00

In Search of Accurate Benchmarking

Edd BarrettKing's College London, Sarah MountKing's College London, Laurence TrattKing's College London

File Attached

12:00 - 12:30

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

Kevin AllixUniversity of Luxembourg

14:00 - 15:30: BenchWork - JavaScript & Dynamic Behaviour at Hanoi

14:00 - 14:30

Benchmarking WebKit

Saam BaratiApple

File Attached

14:30 - 14:50

Analyzing Duplication in JavaScript

Petr MajCzech Technical University, Celeste HollenbeckNortheastern University, USA, Shabbir HussainNortheastern University, Jan VitekNortheastern University

14:50 - 15:10

Building a Node.js Benchmark: Initial Steps

Petr MajCzech Technical University, François GauthierOracle Labs, Celeste HollenbeckNortheastern University, USA, Jan VitekNortheastern University, Cristina CifuentesOracle Labs

File Attached

15:10 - 15:30

A Micro-Benchmark for Dynamic Program Behaviour

Li SuiMassey University, New Zealand, Jens DietrichMassey University, Michael EmeryMassey University, Amjed TahirMassey University, Shawn RasheedMassey University

16:00 - 17:40: BenchWork - Software Engineering & Compilers at Hanoi

16:00 - 16:30

InspectorClone: Evaluating Precision of Clone Detection Tools

Crista Lopes

16:30 - 16:50

Towards a Data-Curation Platform for Code-Centric Research

Ben HermannUniversity of Paderborn, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

File Attached

16:50 - 17:10

The Architecture Independent Workload Characterization

Beau JohnstonAustralian National University

File Attached

17:10 - 17:40

Performance Monitoring in Eclipse OpenJ9

Andrew CraikIBM

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: INTUITESTBEDS - Session 1 at Hanoi

11:00 - 11:10

Welcome

11:10 - 12:00

Keynote: Alégroth, Amalfitano, Vos, and Aho

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 - 12:30
Talk

Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art

Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele ZuddasUniversità della Svizzera italiana (USI), Paolo Rondena

14:00 - 15:30: INTUITESTBEDS - Session 2 at Hanoi

14:00 - 14:30

Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices

Riccardo CoppolaPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology, Luca Ardito, Marco Torchiano

14:30 - 15:00
Talk

Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities

Domenico AmalfitanoUniversity of Naples Federico II, Anna Rita FasolinoFederico II University of Naples, Vincenzo RiccioUniversity of Naples Federico II

15:00 - 15:30
Talk

GUI Scalability Issues of Windows Desktop Applications and How to Find Them

Rudolf RamlerSoftware Competence Center Hagenberg, Thomas Wetzlmaier, Robert Hoschek

16:00 - 17:30: INTUITESTBEDS - Session 3 at Hanoi

16:00 - 16:30

Tool Demos

16:30 - 17:00
Talk

Student Presentation: Conny Hagelukken

17:00 - 17:30
Talk

Student Presentation: Marion de Groot

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Hanoi	FTfJP Session 1																																				FTfJP Session 2																								FTfJP Session 3

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Hanoi	ICOOOLPS Session 1																																				ICOOOLPS Session 2																								ICOOOLPS Session 3

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Hanoi	BenchWork Real-World Benchmarking																																				BenchWork JavaScript & Dynamic Behaviour																								BenchWork Software Engineering & Compilers

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Hanoi	INTUITESTBEDS Session 1																																				INTUITESTBEDS Session 2																								INTUITESTBEDS Session 3

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
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

Room information: Hanoi

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP

FTfJP

FTfJP

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICOOOLPS

ICOOOLPS

ICOOOLPS

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

BenchWork

BenchWork

BenchWork

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

INTUITESTBEDS

INTUITESTBEDS

INTUITESTBEDS

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

Room information: Hanoi

Display in different time zone

Mon 16 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP

FTfJP

FTfJP

Tue 17 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICOOOLPS

ICOOOLPS

ICOOOLPS

Wed 18 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

BenchWork

BenchWork

BenchWork

Thu 19 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

INTUITESTBEDS

INTUITESTBEDS

INTUITESTBEDS

Mon 16 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change