Sciweavers

125
Voted
OSS
2015
Springer
9 years 11 months ago
How Developers Acquire FLOSS Skills
With the increasing prominence of open collaboration as found in free/libre/open source software projects and other joint production communities, potential participants need to acq...
Ann Barcomb, Michael Grottke, Jan-Philipp Stauffer...
81
Voted
OSS
2015
Springer
9 years 11 months ago
Smart Route Planning Using Open Data and Participatory Sensing
Smart cities are not merely the infusion of technology into a city’s infrastructure, but also require citizens interacting with their urban environment in a smart and informed ma...
Vivek Nallur, Amal Elgammal, Siobhán Clarke
84
Voted
OOPSLA
2015
Springer
9 years 11 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
81
Voted
OOPSLA
2015
Springer
9 years 11 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
93
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