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: Bangkok

VenueMövenpick Hotel Amsterdam City Centre
Room nameBangkok
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 1COP at Bangkok
Chair(s): Jens Lincke Hasso Plattner Institute, Tetsuo Kamina Oita University
11:00
30m
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI, University of Potsdam
11:30
30m
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
12:00
30m
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert Hirschfeld HPI, University of Potsdam, Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Tobias Dürschmid Hasso Plattner Institute
14:00 - 15:30
Session 2COP at Bangkok
Chair(s): Tetsuo Kamina Oita University, Jens Lincke Hasso Plattner Institute
14:00
30m
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai Tanabe Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
14:30
30m
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas
15:00
30m
Talk
A Declarative Language for Context Activation
COP
Nicolás Cardozo Universidad de los Andes

Tue 17 Jul

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

11:00 - 12:30
Session 1VORTEX at Bangkok
Chair(s): Davide Ancona University of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin Leucker University of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang Ahrendt Chalmers University of Technology
14:00 - 15:30
Session 2VORTEX at Bangkok
Chair(s): Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo , João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
14:30
30m
Talk
Implementing security protocol monitors
VORTEX
P: Yannick Chevalier , Michael Rusinowitch
15:00
30m
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio Audrito Università di Torino, P: Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
16:00 - 18:00
Session 3VORTEX at Bangkok
Chair(s): Martin Leucker University of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Elena Giachino , P: Stijn De Gouw , Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Cosimo Laneve , Violet Ka I Pun , Gianluigi Zavattaro

Wed 18 Jul

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

11:00 - 12:30
Session #1ML4PL at Bangkok
Chair(s): Hila Peleg Technion, Israel, Artem Pelenitsyn Czech Technical University in Prague
11:00
60m
Talk
Inferring Input Structure for Machine LearningKeynote
ML4PL
Andreas Zeller Saarland University
12:00
30m
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila Peleg Technion, Israel
14:00 - 15:30
Session #2ML4PL at Bangkok
Chair(s): Artem Pelenitsyn Czech Technical University in Prague
14:00
30m
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina Cifuentes Oracle Labs, Yang Zhao Oracle Labs, Xingzhong Du Oracle Labs, Paddy Krishnan
14:30
30m
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland
15:00
30m
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin , Victor Petukhov ITMO University, Kirill Smirenko Saint Petersburg State University, Nikita Povarov JetBrains
16:00 - 18:00
Session #3ML4PL at Bangkok
Chair(s): Hila Peleg Technion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry Swan University of York, Colin Johnson University of Kent, Edwin Brady University of St. Andrews, UK
16:30
30m
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem Pelenitsyn Czech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL

Thu 19 Jul

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

11:00 - 12:30
Welcome and KeynoteTAV-CPS/IoT at Bangkok
11:00
60m
Talk
Computing Paradigms for Emerging Pervasive & IoT-based Applications
TAV-CPS/IoT
Archan Misra Singapore Management University, Singapore
12:00
30m
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron Yang Carnegie Mellon University, Robert Morris MIT, Corina S. Păsăreanu NASA Ames Research Center
14:00 - 15:30
TalksTAV-CPS/IoT at Bangkok
14:00
60m
Talk
Conformance Testing as a Tool for Designing Connected Vehicle Functions
TAV-CPS/IoT
Mohammad Mousavi University of Leicester, UK
15:00
30m
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins Pontes Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC

Mon 16 Jul

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

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

COP

Session 1

COP

Session 2

COP

Tue 17 Jul

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

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

VORTEX

Session 1

VORTEX

Session 2

VORTEX

Session 3

Wed 18 Jul

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

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

ML4PL

Session #1

ML4PL

Session #2

ML4PL

Session #3

Thu 19 Jul

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

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

TAV-CPS/IoT

Welcome and Keynote

TAV-CPS/IoT

Talks

TAV-CPS/IoT

Mon 16 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Bangkok
COP
Activity Contexts: Improving Modularity in Blockchain-based Smart Contr ...
11:00 - 11:30
COP
A Simple Context-Oriented Programming Extension to an FRP Language for ...
11:30 - 12:00
COP
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Con ...
12:00 - 12:30
COP
A Context-Oriented Programming Approach to Dependency Hell
14:00 - 14:30
COP
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
14:30 - 15:00
COP
A Declarative Language for Context Activation
15:00 - 15:30

Tue 17 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bangkok
VORTEXKeynote
Stream-based runtime verification with hardware support
11:00 - 11:45
VORTEXKeynote
Who is to Blame? - Runtime Verification of Distributed Objects with Act ...
11:45 - 12:30
VORTEX
SNITCH: dynamic dependent Information flow for independent Java bytecode
14:00 - 14:30
VORTEX
Implementing security protocol monitors
14:30 - 15:00
VORTEX
On Distributed runtime verification by aggregate computing
15:00 - 15:30
VORTEXKeynote
Run-time checking of data- and protocol-oriented properties of Java pro ...
16:00 - 16:45
VORTEX
Analysis of SLA Compliance in the Cloud
16:45 - 17:15

Wed 18 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bangkok
ML4PLKeynote
Inferring Input Structure for Machine Learning
11:00 - 12:00
ML4PL
On the Importance of Common Sense in Program Synthesis
12:00 - 12:30
ML4PL
Buffer Overflow Detection for C Programs is Hard to Learn
14:00 - 14:30
ML4PL
Generating Software Adaptations using Machine Learning
14:30 - 15:00
ML4PL
Detecting anomalies in Kotlin code
15:00 - 15:30
ML4PL
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
16:00 - 16:30
ML4PL
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
16:30 - 17:00
ML4PL
Open Forum
17:00 - 17:30

Thu 19 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Bangkok
TAV-CPS/IoT
Computing Paradigms for Emerging Pervasive & IoT-based Applications
11:00 - 12:00
TAV-CPS/IoT
Analysing The Effect of Uncertainty in Airport Surface Operations
12:00 - 12:30
TAV-CPS/IoT
Conformance Testing as a Tool for Designing Connected Vehicle Functions
14:00 - 15:00
TAV-CPS/IoT
A Pattern-based IoT Testing Framework
15:00 - 15:30