ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameBangkok
Floor0
Additional informationThere is no additional information of this room 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 1COP at Bangkok
Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University
11:00 - 11:30
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30 - 12:00
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
12:00 - 12:30
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute
14:00 - 15:30: Session 2COP at Bangkok
Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute
14:00 - 14:30
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
14:30 - 15:00
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
15:00 - 15:30
Talk
A Declarative Language for Context Activation
COP
Nicolás CardozoUniversidad de los Andes

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

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

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

11:00 - 12:30: Session #1ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague
11:00 - 12:00
Talk
Inferring Input Structure for Machine LearningKeynote
ML4PL
Andreas ZellerSaarland University
12:00 - 12:30
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila PelegTechnion, Israel
14:00 - 15:30: Session #2ML4PL at Bangkok
Chair(s): Artem PelenitsynCzech Technical University in Prague
14:00 - 14:30
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina CifuentesOracle Labs, Yang ZhaoOracle Labs, Xingzhong DuOracle Labs, Paddy Krishnan
14:30 - 15:00
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
15:00 - 15:30
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains
16:00 - 18:00: Session #3ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel
16:00 - 16:30
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
16:30 - 17:00
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem PelenitsynCzech Technical University in Prague
17:00 - 17:30
Meeting
Open Forum
ML4PL

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

11:00 - 12:30: Welcome and KeynoteTAV-CPS/IoT at Bangkok
11:00 - 12:00
Talk
Computing Paradigms for Emerging Pervasive & IoT-based Applications
TAV-CPS/IoT
Archan MisraSingapore Management University, Singapore
12:00 - 12:30
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron YangCarnegie Mellon University, Robert MorrisMIT, Corina S PasareanuNASA Ames Research Center
14:00 - 15:30: TalksTAV-CPS/IoT at Bangkok
14:00 - 15:00
Talk
Conformance Testing as a Tool for Designing Connected Vehicle Functions
TAV-CPS/IoT
Mohammad MousaviUniversity of Leicester, UK
15:00 - 15:30
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC

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

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

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

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

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

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

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

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

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