67
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
We present a complete end-to-end dynamic analysis system for finding data races in mobile Android applications. The capabilities of our system significantly exceed the state of ...
74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Previous work has shown how to insert fences that enforce sequential consistency. However, for many concurrent algorithms, sequential consistency is unnecessarily strong and can l...
74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
MIT App Inventor is a web service that enables users with little to no previous programming experience to create mobile applications using a visual blocks language. We analyze a s...
75
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
This paper proposes the idea of Trace Register Allocation, a register allocation approach that is tailored for just-intime (JIT) compilation in the context of virtual machines wit...
61
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Abstract Interpreters Reusable Metatheory for Program Analysis David Darais University of Maryland Matthew Might University of Utah David Van Horn University of Maryland