FTfJP 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
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
Times are displayed in 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

Tue 17 Jul
Times are displayed in 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
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

Wed 18 Jul
Times are displayed in 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
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
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
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

Thu 19 Jul
Times are displayed in 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

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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