Events (11 results)

Godot: All the Benefits of Implicit and Explicit Futures

ECOOP Research Papers When: Wed 17 Jul 2019 10:50 - 11:10 People: Kiko Fernandez-Reyes, Einar Broch Johnsen, Dave Clarke, Ludovic Henrio, Tobias Wrigstad

… …

DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access

ECOOP Research Papers When: Thu 18 Jul 2019 15:40 - 15:55 People: Matthias Springer, Hidehiko Masuhara

… devices, but all of them suffer from uncoalesed memory accesses.

In this work, we … GPU object allocator that provides a parallel do-all operation, which …

Eventually Sound Points-To Analysis with Specifications

ECOOP Research Papers When: Wed 17 Jul 2019 16:40 - 17:00 People: Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

… Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native … analysis eventually becomes statically sound with respect to all remaining executions …

Deep Static Modeling of invokedynamic

ECOOP Research Papers When: Thu 18 Jul 2019 13:30 - 13:50 People: George Fourtounis, Yannis Smaragdakis

… and helps eliminate all unsoundness in the handling of lambdas (including associated …, uncovering all code previously unreachable due to unsoundness, highly efficiently. …

Automatic Differentiation for Dummies

ECOOP Research Papers When: Thu 18 Jul 2019 17:00 - 18:00 People: Simon Peyton Jones

… -bending); there are tapes and mutation, delimited continuations, and more. It all

Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs

ECOOP Research Papers When: Thu 18 Jul 2019 14:50 - 15:10 People: Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers

… programs that allow developers to observe all possible execution paths of a parallel …

Transferring Obligations Through Synchronizations

ECOOP Research Papers When: Thu 18 Jul 2019 16:10 - 16:25 People: Jafar Hamin, Bart Jacobs

… permissions and it also fulfills all of its obligations before it terminates …

Multitier Modules

ECOOP Research Papers When: Wed 17 Jul 2019 11:30 - 11:50 People: Pascal Weisenburger, Guido Salvaneschi

… communication. Unfortunately, using the same compilation unit for all tiers does …

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4

ECOOP Research Papers When: Thu 18 Jul 2019 10:30 - 10:50 People: Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini

… -specific language for programmable data planes in which all packet data is guaranteed …

Garbage-free Abstract Interpretation through Abstract Reference Counting

ECOOP Research Papers When: Wed 17 Jul 2019 16:20 - 16:40 People: Noah Van Es, Quentin Stiévenart, Coen De Roover

… in the results of an abstract interpreter. Our approach is able to eliminate all garbage …

Static Analysis for Asynchronous JavaScript Programs

ECOOP Research Papers When: Wed 17 Jul 2019 15:40 - 16:00 People: Thodoris Sotiropoulos, Ben Livshits

… one of the first static analysis schemes capable of dealing with almost all