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 …

Reran: Timing-and touch-sensitive record and replay for android

L Gomez, I Neamtiu, T Azim… - 2013 35th international …, 2013 - ieeexplore.ieee.org
Touchscreen-based devices such as smartphones and tablets are gaining popularity, but
their rich input capabilities pose new development and testing complications. To alleviate …

Deterministic replay: A survey

Y Chen, S Zhang, Q Guo, L Li, R Wu… - ACM Computing Surveys …, 2015 - dl.acm.org
Deterministic replay is a type of emerging technique dedicated to providing deterministic
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 …

Sherlog: error diagnosis by connecting clues from run-time logs

D Yuan, H Mai, W Xiong, L Tan, Y Zhou… - Proceedings of the …, 2010 - dl.acm.org
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 …

Improving software diagnosability via log enhancement

D Yuan, J Zheng, S Park, Y Zhou… - ACM Transactions on …, 2012 - dl.acm.org
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 …

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 …

AVIO: detecting atomicity violations via access interleaving invariants

S Lu, J Tucek, F Qin, Y Zhou - ACM SIGOPS Operating Systems Review, 2006 - dl.acm.org
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 …

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 …

Pinplay: a framework for deterministic replay and reproducible analysis of parallel programs

H Patil, C Pereira, M Stallcup, G Lueck… - Proceedings of the 8th …, 2010 - dl.acm.org
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 …