Events (57 results)

Godot: All the Benefits of Implicit and Explicit Futures

Artifacts People: Kiko Fernandez-Reyes, Einar Broch Johnsen, Dave Clarke, Ludovic Henrio, Tobias Wrigstad

… …

Godot: All the Benefits of Implicit and Explicit Futures

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

… …

Godot: All the Benefits of Implicit and Explicit Futures

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

… …

Finite-State Machines: All models are wrong but this one is useful

Curry On When: Mon 15 Jul 2019 15:30 - 16:15 People: Raj Saxena, Chris Ford

… banking system and produce a robust and extensible service. At all times, we had …

One VM to Rule Them All? Lessons Learned with GraalVM

Curry On When: Tue 16 Jul 2019 10:45 - 11:30 People: Dhruv Makwana

… …

Keynote: Compiling for Android

ICOOOLPS 2019 When: Fri 19 Jul 2019 09:05 - 10:00 People: Mads Ager

… .

Java and Kotlin applications typically bundle all class files for all libraries … by removing all classes, methods, and fields that are not used by the application …

A Field Calculus Implementation of Spatial Logic

VORTEX 2019 When: Fri 19 Jul 2019 14:15 - 14:45 People: Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli

… size and computation time that are all linear in the size of the formula. We …

Hermes: Towards Representative Benchmarks

BenchWork When: Tue 16 Jul 2019 14:30 - 15:00 People: Michael Eichberg

… , a specifically created test suite is used for evaluation purposes. In all cases … an extremely large code base, such as all non-trivial Java projects found on GitHub …

Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching

AORTA 2019 When: Thu 18 Jul 2019 13:55 - 14:20 People: Stefan Marr

… implementations of various concurrency models, and debuggers that can support all

Dependent Object Types with Implicit Functions

Scala 2019 When: Wed 17 Jul 2019 10:30 - 11:00 People: Alex Jeffery

… DOT (Dependent Object Types) is an object calculus with path-dependent types and abstract type members, developed to serve as a theoretical foundation for the Scala programming language. As yet, DOT does not model all of Scala’s features …

Lightweight Software Profiling of Compiled Code

AORTA 2019 When: Thu 18 Jul 2019 14:45 - 15:10 People: Andrew Craik

… it in nearly all of the compiled bodies produced by our compiler for minimal throughput …

SoCRATES - Scala Radar for Test Smells

Scala 2019 When: Wed 17 Jul 2019 14:00 - 14:30 People: Jonas De Bleser, Dario Di Nucci, Coen De Roover

… . However, few tools are publicly available and all of them target JUnit - the most …

Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS

Scala 2019 When: Wed 17 Jul 2019 16:30 - 16:50 People: Alen Stojanov, Tiark Rompf, Markus Püschel

… that supports MATLAB type-specific numerical computations on all 12 primitive … all dynamic aspects of a subset of the language and overloaded computation …

Write your own Container in Rust!

Curry On When: Tue 16 Jul 2019 16:15 - 17:00 People: Gargi Sharma

… ." to create containers. But why does it take all these pieces to create a contaienr? Why is it not a simple syscall and it’s all done for me? In this talk, we …

Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language

Artifacts People: Alexi Turcotte, Ellen Arteca, Gregor Richards

… , the language implemented in the paper. Instructions for all components …

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

Artifacts People: Matthias Springer, Hidehiko Masuhara

… programs in which parallelism is expressed by running the same method on all … layout DSL and a parallel do-all operation. DynaSOAr optimizes the usage … with nine benchmark applications from different domains. All benchmarks can …

POSIX Regular Expression Matching and Lexing

Doctoral Symposium When: Fri 19 Jul 2019 10:30 - 11:00 People: Chengsong Tan

… a string). The problem is to make the algorithm by Sulzmann and Lu fast on all

The Correct Cloud: Logic and Languages

Curry On When: Mon 15 Jul 2019 10:45 - 11:30 People: Thomas Ball

… , and Z3 are all open source technologies. …

A compact bytecode format for JavaScriptCore

Curry On When: Tue 16 Jul 2019 11:30 - 12:15 People: Tadeu Zagallo

… JavaScriptCore (JSC) is the multi-tiered JavaScript virtual machine in WebKit. The bytecode is a central piece in JSC: it’s executed by the interpreter and the source of truth for all of JSC’s compilers. In this talk we’ll look …

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

Research Papers When: Thu 18 Jul 2019 15:40 - 16:00 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 …

Deep Static Modeling of invokedynamic

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: George Fourtounis, Yannis Smaragdakis

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

Deep Static Modeling of invokedynamic

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. …

Remolding the development experience

Summer School When: Mon 15 Jul 2019 15:30 - 17:00 People: Tudor Gîrba

… exemplify all our messages with live demos based on the Glamorous Toolkit, the free … the Development eXperience (gtoolkit.com). He built all sorts of projects like the Moose …

DynaSOAr: A Parallel Memory Allocator for OOP on GPUs

Posters When: Wed 17 Jul 2019 18:00 - 19:30 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

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

Artifacts People: George Fourtounis, Yannis Smaragdakis

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

Artifact …

Formal Methods and Computer Networks: A Match Made in Heaven?

Curry On When: Mon 15 Jul 2019 13:30 - 14:15 People: Nate Foster

… Computer networks provide the essential communication fabric that underpins almost all modern computing systems. Yet today, most networks are built and operated in an ad hoc manner and require frequent interventions from human experts …

NumLin: Linear Types for Linear Algebra

Artifacts People: Dhruv Makwana, Neel Krishnaswami

… and each of the examples presented in the paper. * examples: NumLin code for all

Automatic Differentiation for Dummies

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

Glean: facts about code

Curry On When: Mon 15 Jul 2019 09:00 - 10:15 People: Simon Marlow

… Semantic information about source code is a central requirement for searching, navigating, and analysing code, all of which are important tools in a developer’s workflow. As the size of the codebase grows, collecting and maintaining …

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

Artifacts People: Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers

… developers to observe all possible execution paths of a parallel program and debug … to interactively browse all possible execution states by means of multiverse breakpoints …

Static Analysis of Ethereum Smart Contracts

Summer School When: Mon 15 Jul 2019 10:45 - 12:15 People: Yannis Smaragdakis

… analyses, all expressed in a declarative, logic-based specification … notions all the way to high-level domain-specific concepts (such as "dynamic …

Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior

Summer School When: Tue 16 Jul 2019 10:45 - 12:15 People: Bart Jacobs

… in a matter of seconds, either reports “0 errors found”, meaning that all

Transferring Obligations Through Synchronizations

Research Papers When: Thu 18 Jul 2019 16:20 - 16:40 People: Jafar Hamin, Bart Jacobs

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

Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection

Curry On When: Tue 16 Jul 2019 14:15 - 15:00 People: Stephen Kell

… 1980s-style superpowers (or things even more futuristic still!) to all software, not just …

The Tricks of Game Programming in a Pure Functional Language

Curry On When: Mon 15 Jul 2019 16:15 - 17:00 People: Jordy Moos

… where you can unleash all your creativity. In this talk, we will discuss how you …

Transferring Obligations Through Synchronizations

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Jafar Hamin, Bart Jacobs

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

Beyond the Paper: End-to-End Program Analysis

Curry On When: Mon 15 Jul 2019 11:30 - 12:15 People: Cameron Tenny

… benefits from these tools and research. We can all do better. We introduce r2c …

Julia: A Compiler for the Future

Curry On When: Mon 15 Jul 2019 13:30 - 14:15 People: Simon Danisch

… Compiler research offers lots of challenges. We want our languages to be faster, more flexible, catching more errors all while being fully dynamic. In addition, Machine Learning researchers realize the need for sophisticated compiler …

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

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers

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

Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM

Curry On When: Mon 15 Jul 2019 16:15 - 17:00 People: Ron Pressler

… . These techniques come at a great cost and do not integrate at all smoothly …

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

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

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

No Hands on Deck: Automation @Uber

Curry On When: Mon 15 Jul 2019 14:15 - 15:00 People: Adam Welc

… of the monorepo that always successfully compiles and passes all the tests …

Getafix: Learning to fix bugs automatically

Curry On When: Tue 16 Jul 2019 13:30 - 14:15 People: Andrew Scott, Johannes Bader, Satish Chandra

… , trying them all until one that passes the test suite. This is not only …

Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)

Research Papers When: Wed 17 Jul 2019 09:00 - 10:00 People: Ilya Sergey

… theory, program logics, and semantics—all standard working tools …

Multitier Modules

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

… . Unfortunately, combining the code for all tiers into the same compilation unit poses …

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

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 …

Distributed System Development with ScalaLoci

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Pascal Weisenburger, Guido Salvaneschi

… . Unfortunately, combining the code for all tiers into the same compilation unit poses …

Type-Safe Data Plane Programming with SafeP4

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini

… for programmable data planes in which all packet data is guaranteed to have …

Garbage-free Abstract Interpretation through Abstract Reference Counting

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

… of an abstract interpreter. Our approach is able to eliminate all garbage, therefore …

Static Analysis for Asynchronous JavaScript Programs

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

IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Abhishek Tiwari, Sascha Groß, Christian Hammer

… requires simultaneously analyzing all apps installed on a device. We evaluated …

State Explosion Considered Harmful

Doctoral Symposium When: Fri 19 Jul 2019 14:00 - 14:30 People: Robbert Gurdeep Singh

… with a means to get insight into all the possible program executions. First …

Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis

Doctoral Symposium When: Fri 19 Jul 2019 15:40 - 16:10 People: Gebrehiwet Biyane Welearegai

… analysis. However, all the frameworks are not equally precise and scalable, they may …

Static Analysis for Asynchronous JavaScript Programs

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Thodoris Sotiropoulos, Benjamin Livshits

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

Lightweight Software Profiling of Compiled Code

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Andrew Craik, Rahil Shah, Ben Thomas, Devin Papineau

… it in nearly all of the compiled bodies produced by our compiler for minimal throughput …

Garbage-free Abstract Interpretation through Abstract Reference Counting

Posters When: Wed 17 Jul 2019 18:00 - 19:30 People: Noah Van Es, Quentin Stiévenart, Coen De Roover

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