Bangkok -

VenueMövenpick Hotel Amsterdam City Centre

Room nameBangkok

Floor0

Room InformationNo extra information available

Program

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Bangkok	COP Session 1																																				COP Session 2																								COP

Tue 17 Jul
Displayed time zone: 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
Bangkok	VORTEX Session 1																																				VORTEX Session 2																								VORTEX Session 3

Wed 18 Jul
Displayed time zone: 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
Bangkok	ML4PL Session #1																																				ML4PL Session #2																								ML4PL Session #3

Thu 19 Jul
Displayed time zone: 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
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


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


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


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


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

Room information: Bangkok

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

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

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

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

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

COP

COP

COP

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

VORTEX

VORTEX

VORTEX

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

ML4PL

ML4PL

ML4PL

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

TAV-CPS/IoT

TAV-CPS/IoT

TAV-CPS/IoT

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

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

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

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

Tracks

Co-hosted Conferences

Workshops

Room information: Bangkok

Program Display Configuration

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

COP

COP

COP

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

VORTEX

VORTEX

VORTEX

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ML4PL

ML4PL

ML4PL

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

TAV-CPS/IoT

TAV-CPS/IoT

TAV-CPS/IoT

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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