ECOOP 2019 (series) / Scala 2019 (series) /
Scala 2019 Program
This is the Scala 2019 program - see the full program for ECOOP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JulDisplayed time zone: Belfast change
Mon 15 Jul
Displayed time zone: Belfast change
13:30 - 15:00 | |||
13:30 45mTalk | TinyCORP: A Calculus for Context-Oriented Reactive Programming COP DOI | ||
14:15 45mTalk | Implementation of a Feature-Based Context-Oriented Programming Language COP Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas Université de Namur DOI | ||
15:30 - 17:00 | |||
15:30 45mTalk | Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming COP Patrick Rein Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Toni Mattis University of Potsdam Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI | ||
16:15 45mTalk | Distributed Context Petri Nets COP Jose Daniel Fandiño de la Hoz Universidad de los Andes, Juan Sebastián Sosa Universidad de los Andes, Nicolás Cardozo Universidad de los Andes DOI | ||
Wed 17 JulDisplayed time zone: Belfast change
Wed 17 Jul
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Silicon at the Speed of Software: From Circuits to Systems Scala Henry Cook SiFive | ||
10:30 - 12:10 | |||
10:30 30mResearch paper | Dependent Object Types with Implicit Functions Scala Alex Jeffery University of Sussex | ||
11:00 20mTalk | Symmetric Multiple Dispatch for Path Dependent Types Scala | ||
11:20 20mTalk | A universal encoding for functions in Scala based on structural types Scala Guillaume Martres EPFL, Switzerland | ||
11:40 30mShort-paper | Towards Improved GADT Reasoning in Scala Scala Lionel Parreaux EPFL, Aleksander Boruch-Gruszecki EPFL, Paolo G. Giarrusso TU Delft, The Netherlands | ||
13:30 - 15:10 | |||
13:30 30mShort-paper | Tests as Maintainable Assets Via Auto-generated Spies Scala Konstantin Läufer Loyola University Chicago, John O'Sullivan Loyola University Chicago, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory | ||
14:00 30mShort-paper | SoCRATES - Scala Radar for Test Smells Scala Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel | ||
14:30 20mTalk | Resilience Testing of Akka Systems Scala Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel | ||
14:50 20mTalk | TaintSpy: Runtime Vulnerability Analyzing Framework for Scala Scala Mohammadreza Ashouri University of Potsdam, Germany | ||
15:40 - 17:20 | |||
15:40 30mShort-paper | Effpi: Verified Message-Passing Programs in Dotty Scala Alceste Scalas Aston University, Birmingham, UK, Nobuko Yoshida Imperial College London, Elias Benussi Faculty Science Ltd | ||
16:10 20mTalk | Challenges of Optimizing Scala Programs Scala Aleksandar Prokopec Oracle Labs | ||
16:30 20mTalk | Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS Scala | ||