Write a Blog >>
Events (14 results)

We Software People are not Worthy - All Hail the Hardware Gods

ICOOOLPS 2017 When: Mon 19 Jun 2017 09:10 - 10:30 People: Sylvan Clebsch

… of the ways it has failed to do so, I’ll ask why we aren’t all using FORTH …

On the Design of Distributed Programming Models

PMLDC 2017 When: Tue 20 Jun 2017 12:00 - 12:30 People: Christopher Meiklejohn

… argue that all possible distributed programming models must come from this design …

Spencer: Tracing as a Service

IWACO 2017 When: Mon 19 Jun 2017 11:00 - 11:30 People: Stephan Brandauer

… Spencer is a web service that hosts trace data that you can analyse using a web browser or an API. The data stores executions of programs running on the JVM, including (almost) all field stores/reads, method calls/exits. Spencer is a tool …

Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.

IWACO 2017 When: Mon 19 Jun 2017 11:30 - 12:00 People: Alex Potanin

… It?". And so we did, to be able to measure and show everyone how costly it all … taken into account in type checking research, and what it all has to do with power …

dart2java: Running Dart in Java-based Environments

ICOOOLPS 2017 When: Mon 19 Jun 2017 11:00 - 11:30 People: Matthias Springer, Andrew Krieger, Stanislav Manilov, Hidehiko Masuhara

… We present the design and implementation of dart2java, an experimental Dart to Java compiler. It is implemented in Dart and currently supports many but not all Dart language constructs. dart2java is a playground to evaluate performance …

WebPol: Fine-grained Information Flow Policies for Web Browsers

JSTools 2017 When: Mon 19 Jun 2017 16:00 - 16:30 People: Christian Hammer

… and content security policies) are too coarse to suit this programming model. All

Peace COrP: Learning to solve conflicts between contexts

COP-17 When: Tue 20 Jun 2017 15:00 - 15:30 People: Nicolás Cardozo, Ivana Dusparic, Jorge H. Castro

… are therefore required to foresee and resolve all possible conflicts between adaptations …

Rust: Ownership in practice

ECOOP Summer School When: Tue 20 Jun 2017 10:50 - 12:30Tue 20 Jun 2017 14:00 - 15:40 People: Nicholas Matsakis

… of data races, all without requiring a garbage collector or – indeed – any runtime at all. Rust also has strong support for many different parallel …

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

ECOOP Research Papers When: Fri 23 Jun 2017 13:40 - 14:05 People: Daco Harkes, Eelco Visser

… strategies all influence runtime behavior of changes to data, leading … generator to avoid explicitly defining all possible combinations, making it easier …

What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective

ECOOP Research Papers When: Wed 21 Jun 2017 16:45 - 17:10 People: Jeff Huang, Arun Krishnakumar Rajagopalan

… . We show that if all such redundant checks were eliminated the performance …

Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software

ECOOP Doctoral Symposium When: Sun 18 Jun 2017 09:30 - 10:00 People: Daniel Welch

… and algorithms. Each component is annotated with formal specifications that are all designed …

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis

ECOOP Research Papers When: Thu 22 Jun 2017 14:05 - 14:30 People: Baptiste Saleil, Marc Feeley

… the technique in a Scheme JIT compiler. Experiments show that it allows removing all

Declarative Language Definition

ECOOP Summer School When: Thu 22 Jun 2017 13:40 - 15:20Thu 22 Jun 2017 15:50 - 17:30 People: Eelco Visser

… . The Spoofax Language Workbench aims to support generation of all aspects …

Invited Talk: The Story of WALA at Watson and Beyond

ECOOP Doctoral Symposium When: Sun 18 Jun 2017 11:00 - 11:30 People: Julian Dolby

… scope. In all this work, there has been an interplay between research, the needs …