ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Wed 18 Jul 2018 16:00 - 16:30 at Bangkok - Session #3 Chair(s): Hila Peleg

The ability to write ‘closed’ frameworks in terms of abstract supertypes and subsequently extend them via contractually-conforming subtypes is a ubiquitous programming paradigm (e.g. underpinning Object-Orientation). While the motivation for such abstraction is to insulate against requirements change, any change of contract requires extensive (typically manual) refactoring, potentially throughout the entire class hierarchy. As an alternative to defining such abstractions a priori, we describe the broad role that Machine Learning can play in inducing abstractions from a pre-existing codebase. Concrete examples are given in which contacts are enforced by dependent types in the Idris language.

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

16:00 - 18:00: Session #3ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel
16:00 - 16:30
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
16:30 - 17:00
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
Artem PelenitsynCzech Technical University in Prague
17:00 - 17:30
Open Forum