ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research. - Jacob Lidman; Daniel J. Quinlan; Chunhua Liao; Sally A. McKee (DSN Workshops, 2012)

Parallelizing more Loops with Compiler Guided Refactoring. - Per Larsen; Razya Ladelsky; Jacob Lidman; Sally A. McKee; Sven Karlsson; Ayal Zaks (ICPP, 2012)

An Automated Performance-Aware Approach to Reliability Transformations. - Jacob Lidman; Sally A. McKee; Daniel J. Quinlan; Chunhua Liao (Euro-Par Workshops (1), 2014)

Bridging Static and Dynamic Program Analysis using Fuzzy Logic. - Jacob Lidman; Josef Svenningsson (QAPL@ETAPS, 2017)

Fuzzy Set Abstraction. - Jacob Lidman; Josef Svenningsson (NSAD@SAS, 2017)

Verifying Reliability Properties Using the Hyperball Abstract Domain. - Jacob Lidman; Sally A. McKee (ACM Trans. Program. Lang. Syst., 2018)