OOPSLA
2015
Springer
8 years 6 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 ...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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...
OOPSLA
2015
Springer
8 years 6 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
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
In approximate computing, programs gain efficiency by allowing occasional errors. Controlling the probabilistic effects of this approximation remains a key challenge. We propose ...
OOPSLA
2015
Springer
8 years 6 months ago
2015
Springer
ng complex Abstract Syntax Trees (ASTs) typically requires large amounts of tedious boilerplate code. For many operations most of the code simply walks the structure, and only a s...
AMCIS
2015
Springer
8 years 6 months ago
2015
Springer
Since the proliferation of technologies in organizations has been found to lead to technostress in employees and to various negative organizational consequences, much recent resea...
AMCIS
2015
Springer
8 years 6 months ago
2015
Springer
Standards in general promise more efficiency and effectiveness in doing (electronic) business. Lowering the costs of collaboration, achieving these gains depends of the developmen...
AMCIS
2015
Springer
8 years 6 months ago
2015
Springer
The role of ICT is becoming prominent in tackling some of the urban societal challenges such as energy wastage and increasing carbon emissions. In this context, the concept of DAR...