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

Room information: Matterhorn

VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn
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

09:15 - 10:20
KeynoteCurryOn Curry On Keynotes at Matterhorn
09:15
15m
Opening Remarks
CurryOn Curry On Keynotes
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:30
50m
Talk
WebAssembly, Past, Present, and FutureKEYNOTE
CurryOn Curry On Keynotes
Ben L. Titzer Google, Andreas Rossberg Google
17:50 - 18:40
KeynoteCurryOn Curry On Keynotes at Matterhorn
17:50
50m
Talk
Linear Haskell: practical linearity in a higher-order polymorphic languageKEYNOTE
CurryOn Curry On Keynotes
Simon Peyton Jones Microsoft Research

Tue 17 Jul

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

09:15 - 10:20
KeynoteCurryOn Curry On Keynotes at Matterhorn
09:15
15m
Opening Remarks
CurryOn Curry On Keynotes
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:30
50m
Talk
How does code sound?KEYNOTE
CurryOn Curry On Keynotes
Felienne Hermans
17:50 - 18:40
KeynoteCurryOn Curry On Keynotes at Matterhorn
17:50
50m
Talk
Go: building on the shoulders of giants and stepping on a few toesKEYNOTE
CurryOn Curry On Keynotes
Steve Francia Google

Wed 18 Jul

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

17:00 - 20:00
Poster sessionECOOP and ISSTA Posters at Matterhorn
Chair(s): Lisa Nguyen Quang Do Paderborn University
17:00
3h
Poster
Typed First-Class TraitsECOOP paper
ECOOP and ISSTA Posters
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China
17:00
3h
Poster
PerfFuzz: Automatically Generating Pathological InputsISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:00
3h
Poster
Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper
ECOOP and ISSTA Posters
Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas
17:00
3h
Poster
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper
ECOOP and ISSTA Posters
Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg
17:00
3h
Poster
Targeted Test Generation for Actor SystemsECOOP paper
ECOOP and ISSTA Posters
Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA
17:00
3h
Poster
Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk
ECOOP and ISSTA Posters
Asanka Sayakkara University College Dublin, Nhien-An Le-Khac University College Dublin, Mark Scanlon University College Dublin
17:00
3h
Poster
Practical Detection of Concurrency Issues at Coding TimeISSTA paperDemonstration
ECOOP and ISSTA Posters
Luc Bläser Hochschule für Technik Rapperswil
17:00
3h
Poster
Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paperDistinguished paper
ECOOP and ISSTA Posters
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
17:00
3h
Poster
Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper
ECOOP and ISSTA Posters
Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University
17:00
3h
Poster
Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper
ECOOP and ISSTA Posters
Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University
17:00
3h
Poster
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper
ECOOP and ISSTA Posters
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
17:00
3h
Poster
Making Data-Driven Porting Decisions with TuscanISSTA paper
ECOOP and ISSTA Posters
Kareem Khazem University College London, Earl T. Barr , Petr Hosek Google, Inc.
17:00
3h
Poster
Advances in the ANaConDA FrameworkDemonstrationISSTA demonstrationBest tool demo
ECOOP and ISSTA Posters
Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
17:00
3h
Poster
Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper
ECOOP and ISSTA Posters
Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy, Paolo Tonella Fondazione Bruno Kessler, Filippo Ricca DIBRIS, University of Genova, Italy
17:00
3h
Poster
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper
ECOOP and ISSTA Posters
Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie
17:00
3h
Poster
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper
ECOOP and ISSTA Posters
Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
17:00
3h
Poster
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsDemonstrationECOOP paper
ECOOP and ISSTA Posters
Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia
17:00
3h
Poster
Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersDemonstrationICOOOLPS paper
ECOOP and ISSTA Posters
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld HPI, University of Potsdam
17:00
3h
Poster
OASIs: Oracle Assessment and Improvement ToolDemonstrationISSTA demonstration
ECOOP and ISSTA Posters
Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
17:00
3h
Poster
Deep Learning over CodeISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
17:00
3h
Poster
Translating Code Comments to Procedure SpecificationsISSTA paperDemonstration
ECOOP and ISSTA Posters
Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado Castellanos IMDEA Software Institute
17:00
3h
Poster
Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper
ECOOP and ISSTA Posters
Goran Piskachev Fraunhofer IEM
17:00
3h
Poster
Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper
ECOOP and ISSTA Posters
Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center
17:00
3h
Poster
FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper
ECOOP and ISSTA Posters
Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington
17:00
3h
Poster
Incrementalizing Lattice-Based Program AnalysesFTfJP paper
ECOOP and ISSTA Posters
Tamás Szabó , Sebastian Erdweg TU Delft
17:00
3h
Poster
Secure integration of cryptographic softwareDemonstrationECOOP paper
ECOOP and ISSTA Posters
Stefan Krüger University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00
3h
Poster
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paperDistinguished paper
ECOOP and ISSTA Posters
Lina Qiu University of British Columbia, Yingying Wang , Julia Rubin University of British Columbia
17:00
3h
Poster
Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper
ECOOP and ISSTA Posters
Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
17:00
3h
Poster
Efficient Reflection String Analysis via Graph ColoringECOOP paper
ECOOP and ISSTA Posters
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
17:00
3h
Poster
Tests from Traces: Automated Unit Test Extraction for RISSTA paperDistinguished artifact award
ECOOP and ISSTA Posters
Filip Křikava Czech Technical University, Jan Vitek Northeastern University
17:00
3h
Poster
CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper
ECOOP and ISSTA Posters
Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
17:00
3h
Poster
Modelling infinite behaviour by corulesECOOP paper
ECOOP and ISSTA Posters
Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova
17:00
3h
Poster
Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper
ECOOP and ISSTA Posters
Andreas Schuler University of Applied Sciences Upper Austria, Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria
17:00
3h
Poster
Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper
ECOOP and ISSTA Posters
Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University
17:00
3h
Poster
Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper
ECOOP and ISSTA Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
17:00
3h
Poster
SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper
ECOOP and ISSTA Posters
Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London
17:00
3h
Poster
Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper
ECOOP and ISSTA Posters
Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University
17:00
3h
Poster
Theory and Practice of Coroutines with SnapshotsECOOP paper
ECOOP and ISSTA Posters
Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland
17:00
3h
Poster
Fault-tolerant Distributed Reactive ProgrammingECOOP paper
ECOOP and ISSTA Posters
Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt
17:00
3h
Poster
A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper
ECOOP and ISSTA Posters
Dan Iorga Imperial College London, UK, Alastair F. Donaldson Imperial College London
17:00
3h
Poster
Probabilistic Software ModelingDoctoral symposium paper
ECOOP and ISSTA Posters
Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz
17:00
3h
Demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing ToolDemonstrationISSTA demonstration
ECOOP and ISSTA Posters
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
17:00
3h
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper
ECOOP and ISSTA Posters
Jonathan Bell George Mason University, Luís Pina George Mason University
Media Attached
17:00
3h
Poster
Testing for Performance Issues in OS KernelsDoctoral symposium paper
ECOOP and ISSTA Posters
Yiqun Chen
17:00
3h
Poster
The Essence of Nested CompositionECOOP paper
ECOOP and ISSTA Posters
Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven
17:00
3h
Poster
Generating software adaptations using machine learningML4PL talk
ECOOP and ISSTA Posters
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
17:00
3h
Poster
Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper
ECOOP and ISSTA Posters
Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
17:00
3h
Poster
Repositioning of Static Analysis AlarmsISSTA paper
ECOOP and ISSTA Posters
Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
18:00 - 20:00
Poster ReceptionECOOP and ISSTA Catering at Matterhorn
18:00
2h
Poster
Poster reception
ECOOP and ISSTA Catering

Mon 16 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Matterhorn

CurryOn Curry On Keynotes

Keynote

CurryOn Curry On Keynotes

Keynote

Tue 17 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Matterhorn

CurryOn Curry On Keynotes

Keynote

CurryOn Curry On Keynotes

Keynote

Wed 18 Jul

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

Room17:003018:003019:0030
Matterhorn

ECOOP and ISSTA Posters

Poster session

ECOOP and ISSTA Catering

Poster Reception
18:00 - 20:00

Mon 16 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Matterhorn
CurryOn Curry On Keynotes
Opening Remarks
09:15 - 09:30
CurryOn Curry On KeynotesKEYNOTE
WebAssembly, Past, Present, and Future
09:30 - 10:20
CurryOn Curry On KeynotesKEYNOTE
Linear Haskell: practical linearity in a higher-order polymorphic language
17:50 - 18:40

Tue 17 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Matterhorn
CurryOn Curry On Keynotes
Opening Remarks
09:15 - 09:30
CurryOn Curry On KeynotesKEYNOTE
How does code sound?
09:30 - 10:20
CurryOn Curry On KeynotesKEYNOTE
Go: building on the shoulders of giants and stepping on a few toes
17:50 - 18:40

Wed 18 Jul

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

Room17:0015304518:0015304519:00153045
Matterhorn
ECOOP and ISSTA PostersECOOP paper
Typed First-Class Traits
17:00 - 20:00
ISSTA paperDistinguished paper
PerfFuzz: Automatically Generating Pathological Inputs
17:00 - 20:00
COP paper
Feature Visualiser: an Inspection Tool for Programmers in Context-Orien ...
17:00 - 20:00
ISSTA paper
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ...
17:00 - 20:00
ECOOP paper
Targeted Test Generation for Actor Systems
17:00 - 20:00
WoSSCA talk
Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics
17:00 - 20:00
ISSTA paperDemonstration
Practical Detection of Concurrency Issues at Coding Time
17:00 - 20:00
ECOOP paperDistinguished paper
Defensive Points-To Analysis: Effective Soundness via Laziness
17:00 - 20:00
ISSTA paper
Shaping Program Repair Space with Existing Patches and Similar Code
17:00 - 20:00
ECOOP paper
Type Regression Testing to Detect Breaking Changes in Node.js Libraries
17:00 - 20:00
ISSTA paper
Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ...
17:00 - 20:00
ISSTA paper
Making Data-Driven Porting Decisions with Tuscan
17:00 - 20:00
DemonstrationISSTA demonstrationBest tool demo
Advances in the ANaConDA Framework
17:00 - 20:00
Doctoral symposium paper
Automated End To End Testing of Single Page Web Applications
17:00 - 20:00
ECOOP paper
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ...
17:00 - 20:00
ISSTA paper
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
17:00 - 20:00
DemonstrationECOOP paper
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ...
17:00 - 20:00
DemonstrationICOOOLPS paper
Polyglot Programming - Opportunities of Language Implementation Framewo ...
17:00 - 20:00
DemonstrationISSTA demonstration
OASIs: Oracle Assessment and Improvement Tool
17:00 - 20:00
ISSTA paperDistinguished paper
Deep Learning over Code
17:00 - 20:00
ISSTA paperDemonstration
Translating Code Comments to Procedure Specifications
17:00 - 20:00
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
17:00 - 20:00
ISSTA paper
Symbolic Path Cost Analysis for Side-Channel Detection
17:00 - 20:00
ECOOP paper
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
17:00 - 20:00
FTfJP paper
Incrementalizing Lattice-Based Program Analyses
17:00 - 20:00
DemonstrationECOOP paper
Secure integration of cryptographic software
17:00 - 20:00
ISSTA paperDistinguished paper
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
17:00 - 20:00
ISSTA paper
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
17:00 - 20:00
ECOOP paper
Efficient Reflection String Analysis via Graph Coloring
17:00 - 20:00
ISSTA paperDistinguished artifact award
Tests from Traces: Automated Unit Test Extraction for R
17:00 - 20:00
ISSTA paper
CiD: Automating the Detection of API-related Compatibility Issues in An ...
17:00 - 20:00
ECOOP paper
Modelling infinite behaviour by corules
17:00 - 20:00
SOAP paper
Towards a Framework for Detecting Energy Drain in Mobile Applications - ...
17:00 - 20:00
ECOOP paper
Learning to Accelerate Symbolic Execution via Code Transformation
17:00 - 20:00
FTfJP paper
Distributed Multitier Programming with Placement Types using ScalaLoci
17:00 - 20:00
ICOOOLPS paper
SHAPES: Adding memory layouts and SIMD capabilities to high-level languages
17:00 - 20:00
ECOOP paper
Automating Object Transformations for Dynamic Software Updating via Onl ...
17:00 - 20:00
ECOOP paper
Theory and Practice of Coroutines with Snapshots
17:00 - 20:00
ECOOP paper
Fault-tolerant Distributed Reactive Programming
17:00 - 20:00
Doctoral symposium paper
A Portable Framework for Multi-core Interference Tuning and Analysis
17:00 - 20:00
Doctoral symposium paper
Probabilistic Software Modeling
17:00 - 20:00
DemonstrationISSTA demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
17:00 - 20:00
ECOOP paper
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
17:00 - 20:00
Doctoral symposium paper
Testing for Performance Issues in OS Kernels
17:00 - 20:00
ECOOP paper
The Essence of Nested Composition
17:00 - 20:00
ML4PL talk
Generating software adaptations using machine learning
17:00 - 20:00
ISSTA paper
Automatically Translating Bug Reports into Test Cases for Mobile Apps
17:00 - 20:00
ISSTA paper
Repositioning of Static Analysis Alarms
17:00 - 20:00
ECOOP and ISSTA Catering
Poster reception
18:00 - 20:00