Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance. - Alex Shye; Tipp Moseley; Vijay Janapa Reddi; Joseph Blomstedt; Daniel A. Connors (DSN, 2007)

PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures. - Alex Shye; Joseph Blomstedt; Tipp Moseley; Vijay Janapa Reddi; Daniel A. Connors (IEEE Trans. Dependable Secur. Comput., 2009)

Hansei: property-based development of concurrent systems. - Joseph Blomstedt (Erlang Workshop, 2012)