Master's Thesis Information
This is the resource page for Nick Vrvilo's Master's thesis in Computer Science, entitled Asynchronous Checkpoint/Restart for the Concurrent Collections Model. A full PDF version of this thesis is available here, or on the Habanero publications page.
K-Framework Graphical Models
| Model | Runtime | Checkpoint |
|---|---|---|
| Simple (Monotonic) | Download PDF | Download PDF |
| Advanced (Trailing Edge) | Download PDF | Download PDF |
K-Framework + Clojure Hybrid Runtime (executable formal model)
This project depends on JDK6, Leiningen, and the K-framework.
Download the source tarball (gzipped).
Sample Applications for CnC on Habanero C
Depends on the Habanero C runtime, as well as liblfds (version 6.1.1). All other dependencies are bundled in the source tarball.
Download the source tarball (bzipped).
BibTeX Citation
@mastersthesis {NVrviloMS2014,
author = "Nick Vrvilo",
title = "{Asynchronous Checkpoint/Restart for the Concurrent Collections Model}",
school = "Rice University",
year = "2014",
type = "{MS Thesis}",
month = "August",
note = "\url{https://habanero.rice.edu/vrvilo-ms}"
}