Search events for 'all'
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …