Search events for 'all'
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
… …
Godot: All the Benefits of Implicit and Explicit Futures
Artifacts 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 …
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 …
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 …
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 …
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 …
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. …
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 …
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 …
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. …
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
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 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 …
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 …
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 …
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 …
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 …
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 …
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 …
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
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …