John Toman - Staccato: A Bug Finder for Dynamic Configuration Updates ECOOP ! 428 подписчиков Скачать
Daco Harkes - IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object G Скачать
Johannes Späth - Boomerang: Demand Driven Flow and Context Sensitive Pointer Analysis for Java Скачать
Casper Bach Poulsen - Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Скачать
Atsushi Ohori - A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Скачать
Jens Dietrich - Magic with Dynamo: Flexible Cross Component Linking for Java with Invokedynamic Скачать
Maxime Chevalier Boisvert - Interprocedural Type Specialization of JavaScript Programs Without Type Скачать
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Скачать
Brijesh Dongol - Defining Correctness Conditions for Concurrent Objects in Multicore Architectures Скачать
Lu Fang - PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification Скачать
Aleksandar Dimovski - Variability Abstractions: Trading Precision for Speed in Family-Based Analyses Скачать
Maxime Chevalier-Boisvert - Simple and Effective Type Check Removal through Lazy Basic Block Version Скачать