Search events for 'all'
Position Paper: Building Debuggers and Other Tools: We Can “Have it All”
ICOOOLPS When: Mon 6 Jul 2015 10:00 - 10:30 People: Michael Van De Vanter
… …
One VM to Rule Them All And With Interoperability Bind Them
Truffle When: Tue 7 Jul 2015 10:20 - 10:45 People: Matthias Grimmer
… …
jUCM: Universal Class Morphing
MASPEGHI When: Sun 5 Jul 2015 09:50 - 10:30 People: Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis
… , all classes nested in another, all supertypes of a class) while maintaining …
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
PLE When: Tue 7 Jul 2015 12:05 - 12:30 People: Michael Pradel
… benchmark programs. We find that coercions are widely used (in 80.42% of all function …
Managing Dynamic Networks: Distributed or Centralized Control?
NetPL When: Mon 6 Jul 2015 16:00 - 17:00 People: Roger Wattenhofer
… What if a node or edge of a network fails? What if traffic between two nodes grows or shrinks? Clearly this is a case for distributed algorithms! After all … fault-tolerant but nevertheless) centralized controller is making all routing …
Dynamic Compilation of DSLs
DSLDI When: Tue 7 Jul 2015 15:10 - 15:40 People: Vojin Jovanovic, Martin Odersky
… .
Then the instrumented DSL compiler transparently reifies all computations …
Substrate VM
Truffle When: Tue 7 Jul 2015 10:45 - 11:10 People: Paul Wögerer
… code analysis over all application and VM infrastructure code. Subsequently Graal is used again to compile all reachable code and data into a single native …
Detecting Memory Protection Errors in GNU-R using Static Checking
RIOT When: Sun 5 Jul 2015 11:00 - 11:30 People: Tomas Kalibera
… pointer protection in all functions that call (recursively) into it. We’ve … find all errors and produces false alarms, but we have found maybe a hundred …
Flow: a static type checker for JavaScript
STOP When: Mon 6 Jul 2015 11:35 - 12:20 People: Avik Chaudhuri
… . Flow adds minimal compile-time overhead, as it does all its work proactively …
Distributed Performance Analysis for R
RIOT When: Sun 5 Jul 2015 11:30 - 12:00 People: Helena Kotthaus
… requirements of all parallel processes exceed the capacity of the system …
Micro-Policies: Formally Verified, Tag-Based Security Monitors
PLAS When: Mon 6 Jul 2015 10:10 - 11:10 People: Cătălin Hriţcu
… and fine-grained: large metadata tags are added to all machine words and these tags …
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Research Track When: Wed 8 Jul 2015 18:00 - 18:30 People: Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
… Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any … all variants of a SPL, and produces analysis results corresponding to all …
Empowering Spreadsheet Users with Probabilistic Programs
Curry On When: Mon 6 Jul 2015 13:50 - 14:30 People: Andrew D. Gordon
… - regression, classification, ranking, recommendation, and so on - can all be expressed … of models of data from scratch. Running examples are all based on the Tabular …
Crystal: a programming language for humans and computers
Curry On When: Mon 6 Jul 2015 10:05 - 10:45 People: Ary Borenszweig, Juan Wajnerman
… from combining all these language features.
…
Let's be mainstream! User-focused design in Elm
Curry On When: Tue 7 Jul 2015 18:30 - 19:20 People: Evan Czaplicki
… If functional programming is so great, why is it still niche? We have a product that can practically eliminate runtime errors, make refactoring much easier, lighten the testing burden, all while being quite delightful to use. What’s …
Optimization Coaching for JavaScript
Research Track When: Thu 9 Jul 2015 10:30 - 11:00 People: Vincent St-Amour, Shu-yu Guo
… . Such compilers, like all compilers, can silently fall back to generating …
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track When: Fri 10 Jul 2015 11:00 - 11:30 People: Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
… In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. The solution is to replicate data and propagate updates …
Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM
Curry On When: Mon 6 Jul 2015 13:50 - 14:30 People: Ben L. Titzer
… the web, and technical debt all have a role to play in the day to day march …
Pyro – Typing Python in Python
Curry On When: Tue 7 Jul 2015 10:55 - 11:35 People: Alex Muscar
… to machine learning algorithms. Now, we all know that, while Python is good for quickly …. While there are plenty of similar projects, most notably MyPy, they all fall short …
Access-rights Analysis in the Presence of Subjects
Research Track When: Wed 8 Jul 2015 17:30 - 18:00 People: Paolina Centonze, Marco Pistoia, Omer Tripp
… of a subject. SARA corrected all these vulnerabilities automatically, and additionally synthesized fresh and provably correct policies for all the libraries …
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track When: Fri 10 Jul 2015 11:30 - 12:00 People: Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
… 
Streaming libraries have become ubiquitous in object-oriented languages, with recent offerings in Java, C#, and Scala. All such libraries, however …
Modular Termination Verification
Research Track When: Fri 10 Jul 2015 16:00 - 16:30 People: Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
… all methods reachable by it any finite number of times, and to delegate similar …
Graceful Programming --- Teaching Introductory Programming
Summer School When: Thu 9 Jul 2015 15:30 - 17:00 People: Kim Bruce
… the features of modern programming languages, but without all the overhead …
Herding Weak Memory Cats
Summer School When: Fri 10 Jul 2015 17:00 - 18:30 People: Jade Alglave
… There is a joke where a physicist and a mathematician are asked to herd cats. The physicist starts with an infinitely large pen which he reduces until it is of reasonable diameter yet contains all the cats. The mathematician builds …
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Summer School When: Fri 10 Jul 2015 10:30 - 12:00 People: Suresh Jagannathan
… , all three programs nonetheless critically rely on common foundational advances …
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track When: Fri 10 Jul 2015 15:30 - 16:00 People: Pontus Boström, Peter Müller
… forever. For programs in which all threads terminate, progress essentially …
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Research Track When: Thu 9 Jul 2015 17:30 - 18:00 People: Michael Pradel, Koushik Sen
… benchmark programs. We find that coercions are widely used (in 69.42% of all function …
Bits of Advice for VM Writers
Curry On When: Tue 7 Jul 2015 10:05 - 10:45 People: Cliff Click
… ? All different scenarios, with radically different goals. While the talk is based …
TreatJS: Higher-Order Contracts for JavaScripts
Research Track When: Wed 8 Jul 2015 11:00 - 11:30 People: Matthias Keil, Peter Thiemann
… contracts.
TreatJS is implemented as a library so that all aspects of a contract …
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track When: Wed 8 Jul 2015 14:00 - 14:30 People: Maxime Chevalier-Boisvert, Marc Feeley
… . Lazy basic block versioning performs as well or better on all benchmarks …
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Research Track When: Thu 9 Jul 2015 18:00 - 18:30 People: Flavio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi
… continue to use the preprocessor despite all criticism and research, we ask how …
Synthesis and Verification for Everyone
Summer School When: Thu 9 Jul 2015 13:30 - 15:00 People: Emina Torlak
… . But these tools are very hard to build—today, all of them are made by highly …