Sciweavers

Share
OOPSLA
2015
Springer
3 years 4 months ago
Partial evaluation of machine code
This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by...
Venkatesh Srinivasan, Thomas W. Reps
OOPSLA
2015
Springer
3 years 4 months ago
AutoMO: automatic inference of memory order parameters for C/C++11
Many concurrent data structures are initially designed for the sequential consistency (SC) memory model. Developers often then implement these algorithms on real-world systems wit...
Peizhao Ou, Brian Demsky
OOPSLA
2015
Springer
3 years 4 months ago
Interactively verifying absence of explicit information flows in Android apps
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play), desktop apps (Mac App Store and Ubuntu Software Center), comput...
Osbert Bastani, Saswat Anand, Alex Aiken
OOPSLA
2015
Springer
3 years 4 months ago
Musiplectics: computational assessment of the complexity of music scores
In the Western classical tradition, musicians play music from notated sheet music, called a score. When playing music from a score, a musician translates its visual symbols into s...
Ethan Holder, Eli Tilevich, Amy Gillick
OOPSLA
2015
Springer
3 years 4 months ago
Shiranui: a live programming with support for unit testing
Live programming environments help the programmers to try out expressions by giving immediate feedback on the results as well as intermediate evaluation processes. However, the fe...
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
OOPSLA
2015
Springer
3 years 4 months ago
Runtime pointer disambiguation
Péricles Alves, Fabian Gruber, Johannes Doe...
OOPSLA
2015
Springer
3 years 4 months ago
Incremental computation with names
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently up...
Matthew A. Hammer, Joshua Dunfield, Kyle Headley, ...
OOPSLA
2015
Springer
3 years 4 months ago
Infection size as a measure of bug severity
A simple bug in a program can influence a large part of the program execution by spreading throughout the state at runtime. This is known as program infection. The seriousness of...
Mohammad R. Azadmanesh, Matthias Hauswirth
OOPSLA
2015
Springer
3 years 4 months ago
Use at your own risk: the Java unsafe API in the wild
Java is a safe language. Its runtime environment provides strong safety guarantees that any Java application can rely on. Or so we think. We show that the runtime actually does no...
Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, M...
books