ECOOP 2019 (series) /
ECOOP 2019 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JulDisplayed time zone: Belfast change
Mon 15 Jul
Displayed time zone: Belfast change
09:00 - 10:15 | |||
09:00 75mTalk | Glean: facts about code Curry On Simon Marlow Facebook | ||
10:45 - 12:15 | |||
10:45 45mTalk | Declarative - The paradigm that didn't get mentioned Curry On Steven Pemberton CWI, Amsterdam | ||
11:30 45mTalk | Say What You Mean: Exploring Declarative Computation in Art Curry On David Schmudde Nextjournal | ||
10:45 - 12:15 | |||
10:45 60mTalk | Invited Talk - JayHorn: A Java Model Checker FTfJP Philipp Ruemmer Uppsala University | ||
11:45 30mFull-paper | CallƐ: An Effect System for Method Calls FTfJP Isaac Oscar Gariano , James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand | ||
10:45 - 12:15 | |||
10:45 45mTalk | The Correct Cloud: Logic and Languages Curry On Thomas Ball Microsoft Research | ||
11:30 45mTalk | Beyond the Paper: End-to-End Program Analysis Curry On Cameron Tenny r2c | ||
10:45 - 12:15 | |||
10:45 45mTalk | Run, actor, run Curry On Sebastian Blessing Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London | ||
11:30 45mTalk | Mental models for critiquing design of interactive development environments Curry On Richard Millwood Core Education UK & Trinity College Dublin | ||
10:45 - 12:15 | |||
10:45 90mTalk | Static Analysis of Ethereum Smart Contracts Summer School Yannis Smaragdakis University of Athens | ||
13:30 - 15:00 | |||
13:30 45mTalk | Julia: A Compiler for the Future Curry On Simon Danisch Nextjournal | ||
14:15 45mTalk | No Hands on Deck: Automation @Uber Curry On Adam Welc Uber Technologies | ||
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 | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited Talk - Building Trustworthy Software with CakeML FTfJP Scott Owens University of Kent, UK | ||
14:30 30mFull-paper | Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions FTfJP Julia Belyakova Northeastern University, USA DOI Pre-print | ||
13:30 - 15:00 | |||
13:30 45mTalk | Asynchronous streams in direct style with and without macros Curry On Philipp Haller KTH Royal Institute of Technology, Sweden | ||
14:15 45mTalk | Using ML for Code Discovery at Facebook Curry On Sifei Luan Facebook, Celeste Barnaby Wesleyan University, Koushik Sen University of California, Berkeley, Satish Chandra Facebook | ||
13:30 - 15:00 | |||
13:30 45mTalk | Formal Methods and Computer Networks: A Match Made in Heaven? Curry On Nate Foster Cornell University | ||
14:15 45mTalk | Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data Curry On Jan Vitek Northeastern University | ||
13:30 - 15:00 | |||
13:30 90mTalk | Origami Programming for Fun and Profit Summer School Jeremy Gibbons Department of Computer Science, University of Oxford | ||
15:30 - 17:00 | |||
15:30 45mTalk | Checkpointing for Java Curry On Christine H. Flood Red Hat | ||
16:15 45mTalk | Microservice architecture, a programming languages perspective Curry On Adelbert Chang Target, USA | ||
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 | ||
15:30 - 17:00 | |||
15:30 30mFull-paper | Towards Deductive Verification of C11 Programs with Event-B and ProB FTfJP | ||
16:00 30mFull-paper | Specifying I/O using Abstract Nested Hoare Triples in Separation Logic FTfJP | ||
16:30 15mShort-paper | Analysis of MiniJava Programs via Translation to ML FTfJP Martin Lester University of Reading | ||
16:45 15mShort-paper | Translating Classes to First-Order Logic: An Example FTfJP | ||
15:30 - 17:00 | |||
15:30 45mTalk | Idris 2: Type-driven Development of Idris Curry On Edwin Brady University of St. Andrews, UK | ||
16:15 45mTalk | Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM Curry On | ||
15:30 - 17:00 | |||
15:30 45mTalk | Finite-State Machines: All models are wrong but this one is useful Curry On | ||
16:15 45mTalk | The Tricks of Game Programming in a Pure Functional Language Curry On Jordy Moos PB Web Media | ||
15:30 - 17:00 | |||
15:30 90mTalk | Remolding the development experience Summer School Tudor Gîrba feenk.com | ||
17:30 - 18:30 | |||
17:30 60mTalk | Bringing WebAssembly outside the web with WASI Curry On | ||
19:30 - 22:00 | |||
19:30 2h30mSocial Event | Curry On Party Curry On | ||
Tue 16 JulDisplayed time zone: Belfast change
Tue 16 Jul
Displayed time zone: Belfast change
09:00 - 10:15 | |||
09:00 75mTutorial | Session 1: Introduction to CogniCrypt Panathon | ||
09:00 - 10:15 | |||
09:00 75mTalk | Logo, A Computer Language to Grow With Curry On | ||
10:45 - 12:15 | |||
10:45 45mTalk | Safely Sharing Data: Reference Capabilities in the Pony Programming Language Curry On John Mumm Vectrology Solutions | ||
11:30 45mTalk | Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient? Curry On Stefan Marr University of Kent | ||
10:45 - 12:15 | |||
10:45 15mDay opening | A Word From the Chairs BenchWork | ||
11:00 30mTalk | Dependability Benchmarking by Injecting Software Bugs BenchWork Roberto Natella Federico II University of Naples Media Attached | ||
11:30 30mTalk | A Renaissance for Optimizing Compilers BenchWork Aleksandar Prokopec Oracle Labs Media Attached | ||
10:45 - 12:15 | |||
10:45 15mDemonstration | Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge Panathon | ||
11:00 75m | Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway? Panathon Stefan Krüger Paderborn University | ||
10:45 - 12:15 | |||
10:45 45mTalk | Plutus and Marlowe Curry On Philip Wadler University of Edinburgh, UK | ||
11:30 45mTalk | The search for fundamental software engineering principles Curry On Tomas Petricek University of Kent | ||
10:45 - 12:15 | |||
10:45 45mTalk | One VM to Rule Them All? Lessons Learned with GraalVM Curry On Dhruv Makwana Goldman Sachs | ||
11:30 45mTalk | A compact bytecode format for JavaScriptCore Curry On Tadeu Zagallo Apple, Inc, | ||
10:45 - 12:15 | |||
10:45 90mTalk | Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior Summer School Bart Jacobs KU Leuven | ||
13:30 - 15:00 | |||
13:30 45mTalk | Moldable development Curry On Tudor Gîrba feenk.com | ||
14:15 45mTalk | A vision for debugging distributed applications Curry On Aidan Hobson Sayers Hadean Supercomputing Ltd. | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Central and Evolving Benchmark BenchWork File Attached | ||
14:00 30mTalk | Creating and Managing Benchmark Suites with ABM BenchWork Lisa Nguyen Quang Do Paderborn University File Attached | ||
14:30 30mTalk | Hermes: Towards Representative Benchmarks BenchWork Michael Eichberg TU Darmstadt, Germany Media Attached | ||
13:30 - 15:00 | |||
13:30 90mDemonstration | Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes Panathon Kristen Newbury University of Alberta | ||
13:30 - 15:00 | |||
13:30 45mTalk | Getafix: Learning to fix bugs automatically Curry On | ||
14:15 45mTalk | Carp—A Language for the 21st Century Curry On Veit Heller Port Zero | ||
13:30 - 15:00 | |||
13:30 45mTalk | Conflict resolution Curry On | ||
14:15 45mTalk | Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection Curry On Stephen Kell University of Kent | ||
13:30 - 15:00 | |||
13:30 90mTalk | How to design a programming language Summer School Alan Blackwell University of Cambridge | ||
15:30 - 17:00 | |||
15:30 45mTalk | The future of DSLs: functions and formal methods Curry On Markus Völter itemis/independent | ||
16:15 45mTalk | Walking In The Garden Of Forking Paths Curry On | ||
15:30 - 17:00 | |||
15:30 30mTalk | A Benchmark for Understanding Data Science Software BenchWork Hridesh Rajan Iowa State University | ||
16:00 30mTalk | Android Taint-Analysis Benchmarks: Past, Present and Future BenchWork Felix Pauck Paderborn University, Germany Media Attached | ||
16:30 30mDay closing | Discussion and Closing BenchWork | ||
15:30 - 17:00 | |||
15:30 90m | Session 4: Crypto Task Hackathon Panathon | ||
15:30 - 17:00 | |||
15:30 45mTalk | Gradual typing for Ruby at Scale with Sorbet Curry On Dmitry Petrashko Stripe | ||
16:15 45mTalk | Fabulous - Functional programming for cross-platform mobile apps Curry On Don Syme Microsoft | ||
15:30 - 17:00 | |||
15:30 45mTalk | GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers Curry On Alastair F. Donaldson Imperial College London | ||
16:15 45mTalk | Write your own Container in Rust! Curry On Gargi Sharma Recurse Center | ||
15:30 - 17:00 | |||
15:30 90mTalk | Operational Semantics driving the Type System Design: Reference Capabilities in Pony Summer School Sophia Drossopoulou Imperial College London | ||
17:30 - 18:30 | |||
17:30 60mTalk | The Making of a Secure and Robust IoT Development Platform Curry On Lars Bak Google | ||
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 | ||
09:00 - 10:00 | |||
09:00 60mTalk | Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote) Research Papers Media Attached File Attached | ||
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 | ||
10:30 - 12:10 | Language Design and ImplementationResearch Papers at Mancy Chair(s): John Wickerson Imperial College London | ||
10:30 20mResearch paper | Lifestate: Event-Driven Protocols and Callback Control Flow Research Papers Shawn Meier University of Colorado, Boulder, Sergio Mover Ecole Polytechnique, Bor-Yuh Evan Chang University of Colorado Boulder DOI Media Attached | ||
10:50 20mResearch paper | Godot: All the Benefits of Implicit and Explicit Futures Research Papers Kiko Fernandez-Reyes Uppsala University, Einar Broch Johnsen University of Oslo, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Ludovic Henrio CNRS, Tobias Wrigstad Uppsala University DOI Media Attached | ||
11:10 20mResearch paper | Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Research Papers Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology DOI Media Attached | ||
11:30 20mResearch paper | Multitier Modules Research Papers DOI Media Attached | ||
11:50 20mResearch paper | Scopes and Frames Improve Meta-Interpreter Specialization Research Papers Vlad Vergu TU Delft, Eelco Visser Delft University of Technology, Andrew Tolmach Portland State University DOI Media Attached | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | Interactive Decentralised Software Made Easy Summer School Mira Mezini TU Darmstadt, Germany | ||
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 | ||
13:30 - 15:10 | |||
13:30 20mResearch paper | Transient Typechecks are (Almost) Free Research Papers Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington DOI Media Attached | ||
13:50 20mResearch paper | A Typing Discipline for Hardware Interfaces Research Papers DOI Media Attached | ||
14:10 20mResearch paper | Minimal Session Types Research Papers Alen Arslanagić University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands, Erik Voogd University of Oslo DOI Media Attached | ||
14:30 20mResearch paper | Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples Research Papers Benjamin Chung Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University DOI Media Attached | ||
14:50 20mResearch paper | On Satisfiability of Nominal Subtyping with Variance Research Papers Aleksandr Misonizhnik Saint-Petersburg State University, Dmitry Mordvinov Saint-Petersburg State University, JetBrains Research DOI Media Attached | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things? Summer School Ben Livshits Imperial College London, UK | ||
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 | ||
15:40 - 17:00 | |||
15:40 20mResearch paper | Static Analysis for Asynchronous JavaScript Programs Research Papers Thodoris Sotiropoulos Athens University of Economics and Business, Ben Livshits Imperial College London, UK DOI | ||
16:00 20mResearch paper | A Program Logic for First-Order Encapsulated WebAssembly Research Papers Conrad Watt University of Cambridge, Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Neel Krishnaswami Computer Laboratory, University of Cambridge, Philippa Gardner Imperial College London DOI Media Attached | ||
16:20 20mResearch paper | Garbage-free Abstract Interpretation through Abstract Reference Counting Research Papers Noah Van Es Sofware Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel DOI | ||
16:40 20mResearch paper | Eventually Sound Points-To Analysis with Specifications Research Papers Osbert Bastani University of Pennsylvania, Rahul Sharma Microsoft Research, Lazaro Clapp Stanford University, Saswat Anand Stanford University, Alex Aiken Stanford University DOI Media Attached | ||
15:40 - 17:20 | |||
15:40 1h40mTalk | The Future of Java Summer School Gavin Bierman Oracle Labs | ||
17:00 - 17:50 | |||
17:00 10mAwards | ECOOP Awards Research Papers P: Alastair F. Donaldson Imperial College London, A: Maria Christakis MPI-SWS, A: Manuel Rigger ETH Zurich | ||
17:10 40mTalk | A tribute to Laurie Hendren Research Papers Jan Vitek Northeastern University Media Attached | ||
Thu 18 JulDisplayed time zone: Belfast change
Thu 18 Jul
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Rethinking Compositionality: Composing Proofs From Program Behaviours Research Papers Media Attached | ||
10:30 - 12:10 | |||
10:30 50mTalk | KEYNOTE: The Democratization of Runtime Technology AORTA | ||
11:20 25mTalk | Precise, Efficient and Secure Just-In-Time Analysis of Java Programs AORTA | ||
11:45 25mTalk | JIT as a Service: Compilation Paradigm for the Cloud AORTA | ||
10:30 - 12:10 | |||
10:30 20mResearch paper | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Research Papers Matthias Eichholz , Eric Campbell Cornell University, Nate Foster Cornell University, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt, Germany DOI Media Attached | ||
10:50 20mResearch paper | Fling—A Fluent API Generator Research Papers DOI | ||
11:10 20mResearch paper | Semantic Patches for Java Program Transformation Research Papers Hong Jin Kang School of Information Systems, Singapore Management University, Ferdian Thung , Julia Lawall Inria/LIP6, Gilles Muller LIP6-INRIA/UPMC, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University DOI Media Attached | ||
11:30 20mResearch paper | Finally, a Polymorphic Linear Algebra Language Research Papers DOI | ||
11:50 20mResearch paper | NumLin: Linear Types for Linear Algebra Research Papers DOI Pre-print Media Attached File Attached | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | Gillian: A General Static Analysis Framework based on Separation Logic Summer School Philippa Gardner Imperial College London | ||
13:30 - 15:10 | |||
13:30 25mTalk | Tornado VM: A Java Virtual Machine for Exploiting High-Performance Heterogeneous Hardware AORTA Christos Kotselidis University of Manchester, UK | ||
13:55 25mTalk | Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching AORTA Stefan Marr University of Kent | ||
14:20 25mTalk | Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules AORTA | ||
14:45 25mTalk | Lightweight Software Profiling of Compiled Code AORTA Andrew Craik IBM Canada | ||
13:30 - 15:10 | |||
13:30 20mResearch paper | Deep Static Modeling of invokedynamic Research Papers DOI Media Attached | ||
13:50 20mResearch paper | Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Research Papers Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland DOI Media Attached | ||
14:10 20mResearch paper | MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors Research Papers Linghui Luo Paderborn University, Julian Dolby IBM Research, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM DOI Pre-print Media Attached | ||
14:30 20mResearch paper | Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language Research Papers Alexi Turcotte Northeastern University, Ellen Arteca Northeastern University, Gregor Richards University of Waterloo DOI Media Attached | ||
14:50 20mResearch paper | Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Research Papers Carmen Torres Lopez Vrije Universiteit Brussel, Robbert Gurdeep Singh Universiteit Gent, Belgium, Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium DOI Media Attached | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | SM4E - Self-Marketing for Engineers Summer School Chris Laffra Uber Amsterdam | ||
15:40 - 16:40 | |||
15:40 30mTalk | Full-system Cross-architecture Hardware Virtualisation AORTA Tom Spink University of Edinburgh | ||
16:10 30mTalk | Create your own Interpreter with a JIT under 30 minutes AORTA Igor Braga IBM Canada File Attached | ||
15:40 - 16:40 | |||
15:40 60mTalk | POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago Summer School | ||
17:00 - 18:00 | |||
17:00 60mTalk | Automatic Differentiation for Dummies Research Papers Media Attached | ||
Fri 19 JulDisplayed time zone: Belfast change
Fri 19 Jul
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mDay opening | Opening at 10:25 VORTEX Davide Ancona University of Genova | ||
09:00 - 10:00 | |||
09:00 5mDay opening | Introduction ICOOOLPS Clément Béra Google, Aarhus | ||
09:05 55mTalk | Keynote: Compiling for Android ICOOOLPS | ||
09:00 - 10:00 | |||
09:00 5mDay opening | Opening Doctoral Symposium | ||
09:05 15mTalk | Lightning Talks Doctoral Symposium | ||
09:20 40mTalk | Keynote: A Roadmap to PhD: Impressions and Experiences Doctoral Symposium Guido Salvaneschi TU Darmstadt | ||
10:30 - 12:10 | |||
10:30 45mTalk | Invited talk: Runtime Verification and Objects: Are we doing it wrong? VORTEX Giles Reger University of Manchester | ||
11:15 30mTalk | Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs VORTEX P: Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy Pre-print | ||
11:45 30mTalk | RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification VORTEX Pre-print | ||
10:30 - 12:10 | |||
10:30 25mResearch paper | Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code ICOOOLPS Johannes Henning Hasso Plattner Institute, David Stangl , Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI | ||
10:55 25mResearch paper | Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines ICOOOLPS Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan, Takafumi Kataoka | ||
11:20 25mResearch paper | Progress Report: Exploring API Design for Capabilities for Programming with Arrays ICOOOLPS Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University | ||
11:45 25mResearch paper | Towards a Type System for R ICOOOLPS | ||
10:30 - 12:10 | |||
10:30 30mDoctoral symposium paper | POSIX Regular Expression Matching and Lexing Doctoral Symposium Chengsong Tan King's College London | ||
11:00 30mDoctoral symposium paper | Pointer Analysis as reachability problem over Push Down System Doctoral Symposium Jyoti Prakash University of Potsdam, Germany | ||
11:30 40mTalk | Keynote: Self-Marketing as a Researcher Doctoral Symposium Ben Hermann Paderborn University Media Attached | ||
13:30 - 15:10 | |||
13:30 45mTalk | Invited talk: Monitoring Asynchronous Communications (in Clojure) VORTEX Sung-Shik Jongmans Open University of the Netherlands | ||
14:15 30mTalk | A Field Calculus Implementation of Spatial Logic VORTEX P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna Pre-print | ||
13:30 - 15:10 | |||
13:30 55mTalk | Keynote: Project Snowflake: What we learnt. ICOOOLPS Matthew J. Parkinson Microsoft Research, UK | ||
14:25 45mOther | Interactive session ICOOOLPS Eric Jul University of Oslo | ||
13:30 - 15:10 | |||
13:30 30mDoctoral symposium paper | Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios Doctoral Symposium Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University | ||
14:00 30mDoctoral symposium paper | State Explosion Considered Harmful Doctoral Symposium Robbert Gurdeep Singh Universiteit Gent, Belgium | ||
14:30 30mDoctoral symposium paper | Session Types in the Real World: A Minimalistic Approach Doctoral Symposium Alen Arslanagić University of Groningen | ||
15:40 - 17:20 | |||
15:40 45mTalk | Invited talk: Fast Runtime Verification via Slow Program Analysis VORTEX Radu Grigore University of Kent | ||
16:25 30mTalk | Empowering Multilevel DSMLs with Integrated Runtime Verification VORTEX P: Fernando Macias , Volker Stolz Høgskulen på Vestlandet, Torben Scheffel , Malte Schmitz , Adrian Rutle Pre-print | ||
15:40 - 17:20 | |||
15:40 30mDoctoral symposium paper | Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis Doctoral Symposium Gebrehiwet Biyane Welearegai University of Potsdam, Germany | ||
16:10 30mTalk | Invited talk: How to get your Ph.D. DONE! Doctoral Symposium Eric Jul University of Oslo | ||