Jacob Lidman

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Membership Degrees

Fuzzy Relations

Database Replication

Top Venues

Electron. Notes Theor. Comput. Sci.

ACM Trans. Program. Lang. Syst.

Publications

Jacob Lidman, Sally A. McKee
Verifying Reliability Properties Using the Hyperball Abstract Domain. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Jacob Lidman, Josef Svenningsson
Fuzzy Set Abstraction. Electron. Notes Theor. Comput. Sci. 334 (2018)
Jacob Lidman, Josef Svenningsson
Bridging Static and Dynamic Program Analysis using Fuzzy Logic. QAPL@ETAPS (2017)
Jacob Lidman, Sally A. McKee, Daniel J. Quinlan, Chunhua Liao
An Automated Performance-Aware Approach to Reliability Transformations. Euro-Par Workshops (1) (2014)
Jacob Lidman, Daniel J. Quinlan, Chunhua Liao, Sally A. McKee
ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research. DSN Workshops (2012)
Per Larsen, Razya Ladelsky, Jacob Lidman, Sally A. McKee, Sven Karlsson, Ayal Zaks
Parallelizing more Loops with Compiler Guided Refactoring. ICPP (2012)