Intermittent computation without hardware support or programmer intervention
J Van Der Woude, M Hicks - 12th USENIX Symposium on Operating …, 2016 - usenix.org
As computation scales downward in area, the limitations imposed by the batteries required
to power that computation become more pronounced. Thus, many future devices will forgo …
to power that computation become more pronounced. Thus, many future devices will forgo …
Reran: Timing-and touch-sensitive record and replay for android
Touchscreen-based devices such as smartphones and tablets are gaining popularity, but
their rich input capabilities pose new development and testing complications. To alleviate …
their rich input capabilities pose new development and testing complications. To alleviate …
Deterministic replay: A survey
Deterministic replay is a type of emerging technique dedicated to providing deterministic
executions of computer programs in the presence of nondeterministic factors. The …
executions of computer programs in the presence of nondeterministic factors. The …
Paranoid android: versatile protection for smartphones
G Portokalidis, P Homburg, K Anagnostakis… - Proceedings of the 26th …, 2010 - dl.acm.org
Smartphone usage has been continuously increasing in recent years. Moreover,
smartphones are often used for privacy-sensitive tasks, becoming highly valuable targets for …
smartphones are often used for privacy-sensitive tasks, becoming highly valuable targets for …
Sherlog: error diagnosis by connecting clues from run-time logs
Computer systems often fail due to many factors such as software bugs or administrator
errors. Diagnosing such production run failures is an important but challenging task since it …
errors. Diagnosing such production run failures is an important but challenging task since it …
Improving software diagnosability via log enhancement
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental
complexity of troubleshooting any complex software system, but further exacerbated by the …
complexity of troubleshooting any complex software system, but further exacerbated by the …
Clank: Architectural support for intermittent computation
M Hicks - ACM SIGARCH Computer Architecture News, 2017 - dl.acm.org
The processors that drive embedded systems are getting smaller; meanwhile, the batteries
used to provide power to those systems have stagnated. If we are to realize the dream of …
used to provide power to those systems have stagnated. If we are to realize the dream of …
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The
multicore technology trend worsens this problem. Most previous concurrency bug detection …
multicore technology trend worsens this problem. Most previous concurrency bug detection …
Learning scene-specific pedestrian detectors without real data
H Hattori, V Naresh Boddeti… - Proceedings of the …, 2015 - openaccess.thecvf.com
We consider the problem of designing a scene-specific pedestrian detector in a scenario
where we have zero instances of real pedestrian data (ie, no labeled real data or …
where we have zero instances of real pedestrian data (ie, no labeled real data or …
Pinplay: a framework for deterministic replay and reproducible analysis of parallel programs
Analysis of parallel programs is hard mainly because their behavior changes from run to run.
We present an execution capture and deterministic replay system that enables repeatable …
We present an execution capture and deterministic replay system that enables repeatable …