Commit a880df4c4086ae8724aa9e81ed9e117cdd55ff9e
1 parent
bbab0194
Record and replay reference.
Showing
2 changed files
with
11 additions
and
2 deletions
certainty.tex
| ... | ... | @@ -53,8 +53,8 @@ believe that eventually including some form of labeling syntax for |
| 53 | 53 | |
| 54 | 54 | If a \texttt{maybe} alternative throws an error, the system will bypass the |
| 55 | 55 | \texttt{evaluate} block and give it the worst possible score. By integrating |
| 56 | -a form of record-and-replay~\cite{FIXME}, it may also be possible to roll | |
| 57 | -back the failed alternatives changes and retry another alternative. | |
| 56 | +a form of record-and-replay~\cite{gomez2013reran}, it may also be possible to | |
| 57 | +roll back the failed alternatives changes and retry another alternative. | |
| 58 | 58 | \texttt{maybe} is intended to enable adaptation, not avoid errors, but the |
| 59 | 59 | existence of other alternatives provides our system with a way to work around |
| 60 | 60 | failures caused by uncertainty. Resistance to errors may also encourage | ... | ... |
references.bib
| ... | ... | @@ -2,6 +2,15 @@ |
| 2 | 2 | @string{sosp = "SOSP"} |
| 3 | 3 | @string{osdi = "OSDI"} |
| 4 | 4 | |
| 5 | +@inproceedings{gomez2013reran, | |
| 6 | + title={Reran: Timing-and touch-sensitive record and replay for android}, | |
| 7 | + author={Gomez, Lorenzo and Neamtiu, Iulian and Azim, Tanzirul and Millstein, Todd}, | |
| 8 | + booktitle={Software Engineering (ICSE), 2013 35th International Conference on}, | |
| 9 | + pages={72--81}, | |
| 10 | + year={2013}, | |
| 11 | + organization={IEEE} | |
| 12 | +} | |
| 13 | + | |
| 5 | 14 | @misc{phonelab-url, |
| 6 | 15 | Author = "PhoneLab", |
| 7 | 16 | Howpublished = {\url{http://www.phone-lab.org}}, | ... | ... |