Sciweavers

144
Voted
OOPSLA
2015
Springer
9 years 11 months 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
90
Voted
OOPSLA
2015
Springer
9 years 11 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
88
Voted
OOPSLA
2015
Springer
9 years 11 months 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...
85
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Runtime pointer disambiguation
Péricles Alves, Fabian Gruber, Johannes Doe...
83
Voted
OOPSLA
2015
Springer
9 years 11 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
Security Privacy
Top of PageReset Settings