Sciweavers

153
Voted
OOPSLA
2015
Springer
10 years 12 days ago
Finding deep compiler bugs via guided stochastic program mutation
Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...
Vu Le, Chengnian Sun, Zhendong Su
OOPSLA
2015
Springer
10 years 12 days ago
Probability type inference for flexible approximate programming
In approximate computing, programs gain efficiency by allowing occasional errors. Controlling the probabilistic effects of this approximation remains a key challenge. We propose ...
Brett Boston, Adrian Sampson, Dan Grossman, Luis C...
OOPSLA
2015
Springer
10 years 12 days 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
10 years 12 days ago
Runtime pointer disambiguation
Péricles Alves, Fabian Gruber, Johannes Doe...
OOPSLA
2015
Springer
10 years 12 days 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
Security Privacy
Top of PageReset Settings