ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
Events (32 results)

Position Paper: Building Debuggers and Other Tools: We Can “Have it All

ICOOOLPS When: Mon 6 Jul 2015 10:00 - 10:30 People: Michael Van De Vanter

… …

One VM to Rule Them All And With Interoperability Bind Them

Truffle When: Tue 7 Jul 2015 10:20 - 10:45 People: Matthias Grimmer

… …

jUCM: Universal Class Morphing

MASPEGHI When: Sun 5 Jul 2015 09:50 - 10:30 People: Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis

… , all classes nested in another, all supertypes of a class) while maintaining …

Substrate VM

Truffle When: Tue 7 Jul 2015 10:45 - 11:10 People: Paul Wögerer

… code analysis over all application and VM infrastructure code. Subsequently Graal is used again to compile all reachable code and data into a single native …

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript

PLE When: Tue 7 Jul 2015 12:05 - 12:30 People: Michael Pradel

… benchmark programs. We find that coercions are widely used (in 80.42% of all function …

Managing Dynamic Networks: Distributed or Centralized Control?

NetPL When: Mon 6 Jul 2015 16:00 - 17:00 People: Roger Wattenhofer

… What if a node or edge of a network fails? What if traffic between two nodes grows or shrinks? Clearly this is a case for distributed algorithms! After all … fault-tolerant but nevertheless) centralized controller is making all routing …

Dynamic Compilation of DSLs

DSLDI When: Tue 7 Jul 2015 15:10 - 15:40 People: Vojin Jovanovic, Martin Odersky

… .

Then the instrumented DSL compiler transparently reifies all computations …

Detecting Memory Protection Errors in GNU-R using Static Checking

RIOT When: Sun 5 Jul 2015 11:00 - 11:30 People: Tomas Kalibera

… pointer protection in all functions that call (recursively) into it. We’ve … find all errors and produces false alarms, but we have found maybe a hundred …

Flow: a static type checker for JavaScript

STOP When: Mon 6 Jul 2015 11:35 - 12:20 People: Avik Chaudhuri

… . Flow adds minimal compile-time overhead, as it does all its work proactively …

Distributed Performance Analysis for R

RIOT When: Sun 5 Jul 2015 11:30 - 12:00 People: Helena Kotthaus

… requirements of all parallel processes exceed the capacity of the system …

Micro-Policies: Formally Verified, Tag-Based Security Monitors

PLAS When: Mon 6 Jul 2015 10:10 - 11:10 People: Cătălin Hriţcu

… and fine-grained: large metadata tags are added to all machine words and these tags …

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

Research Track When: Wed 8 Jul 2015 18:00 - 18:30 People: Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski

… Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any … all variants of a SPL, and produces analysis results corresponding to all

Empowering Spreadsheet Users with Probabilistic Programs

Curry On When: Mon 6 Jul 2015 13:50 - 14:30 People: Andrew D. Gordon

… - regression, classification, ranking, recommendation, and so on - can all be expressed … of models of data from scratch. Running examples are all based on the Tabular …

Crystal: a programming language for humans and computers

Curry On When: Mon 6 Jul 2015 10:05 - 10:45 People: Ary Borenszweig, Juan Wajnerman

… from combining all these language features.

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

Research Track When: Fri 10 Jul 2015 11:00 - 11:30 People: Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich

… In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. The solution is to replicate data and propagate updates …

Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM

Curry On When: Mon 6 Jul 2015 13:50 - 14:30 People: Ben Titzer

… the web, and technical debt all have a role to play in the day to day march …

Optimization Coaching for JavaScript

Research Track When: Thu 9 Jul 2015 10:30 - 11:00 People: Vincent St-Amour, Shu-yu Guo

… . Such compilers, like all compilers, can silently fall back to generating …

Let's be mainstream! User-focused design in Elm

Curry On When: Tue 7 Jul 2015 18:30 - 19:20 People: Evan Czaplicki

… If functional programming is so great, why is it still niche? We have a product that can practically eliminate runtime errors, make refactoring much easier, lighten the testing burden, all while being quite delightful to use. What’s …

Access-rights Analysis in the Presence of Subjects

Research Track When: Wed 8 Jul 2015 17:30 - 18:00 People: Paolina Centonze, Marco Pistoia, Omer Tripp

… of a subject. SARA corrected all these vulnerabilities automatically, and additionally synthesized fresh and provably correct policies for all the libraries …

Pyro – Typing Python in Python

Curry On When: Tue 7 Jul 2015 10:55 - 11:35 People: Alex Muscar

… to machine learning algorithms. Now, we all know that, while Python is good for quickly …. While there are plenty of similar projects, most notably MyPy, they all fall short …

Herding Weak Memory Cats

Summer School When: Fri 10 Jul 2015 17:00 - 18:30 People: Jade Alglave

… There is a joke where a physicist and a mathematician are asked to herd cats. The physicist starts with an infinitely large pen which he reduces until it is of reasonable diameter yet contains all the cats. The mathematician builds …

Modular Termination Verification

Research Track When: Fri 10 Jul 2015 16:00 - 16:30 People: Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

all methods reachable by it any finite number of times, and to delegate similar …

Modular Verification of Finite Blocking in Non-terminating Programs

Research Track When: Fri 10 Jul 2015 15:30 - 16:00 People: Pontus Boström, Peter Müller

… forever. For programs in which all threads terminate, progress essentially …

Streams a la carte: Extensible Pipelines with Object Algebras

Research Track When: Fri 10 Jul 2015 11:30 - 12:00 People: Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis

Streaming libraries have become ubiquitous in object-oriented languages, with recent offerings in Java, C#, and Scala. All such libraries, however …

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript

Research Track When: Thu 9 Jul 2015 17:30 - 18:00 People: Michael Pradel, Koushik Sen

… benchmark programs. We find that coercions are widely used (in 69.42% of all function …

Taming Uncertainty, Scale, and Change: A Programming Language Perspective

Summer School When: Fri 10 Jul 2015 10:30 - 12:00 People: Suresh Jagannathan

… , all three programs nonetheless critically rely on common foundational advances …

Graceful Programming --- Teaching Introductory Programming

Summer School When: Thu 9 Jul 2015 15:30 - 17:00 People: Kim Bruce

… the features of modern programming languages, but without all the overhead …

Simple and Effective Type Check Removal through Lazy Basic Block Versioning

Research Track When: Wed 8 Jul 2015 14:00 - 14:30 People: Maxime Chevalier-Boisvert, Marc Feeley

… . Lazy basic block versioning performs as well or better on all benchmarks …

Synthesis and Verification for Everyone

Summer School When: Thu 9 Jul 2015 13:30 - 15:00 People: Emina Torlak

… . But these tools are very hard to build—today, all of them are made by highly …

The Love/Hate Relationship with the C Preprocessor: An Interview Study

Research Track When: Thu 9 Jul 2015 18:00 - 18:30 People: Flavio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi

… continue to use the preprocessor despite all criticism and research, we ask how …

TreatJS: Higher-Order Contracts for JavaScripts

Research Track When: Wed 8 Jul 2015 11:00 - 11:30 People: Matthias Keil, Peter Thiemann

… contracts.

TreatJS is implemented as a library so that all aspects of a contract …

Bits of Advice for VM Writers

Curry On When: Tue 7 Jul 2015 10:05 - 10:45 People: Cliff Click

… ? All different scenarios, with radically different goals. While the talk is based …