Jacob Lidman

According to our database1, Jacob Lidman authored at least 6 papers between 2012 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Verifying Reliability Properties Using the Hyperball Abstract Domain.
ACM Trans. Program. Lang. Syst., 2018

2017
Fuzzy Set Abstraction.
Proceedings of the Seventh Workshop on Numericaland Symbolic Abstract Domains, 2017

Bridging Static and Dynamic Program Analysis using Fuzzy Logic.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

2014
An Automated Performance-Aware Approach to Reliability Transformations.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2012
Parallelizing more Loops with Compiler Guided Refactoring.
Proceedings of the 41st International Conference on Parallel Processing, 2012

ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012


  Loading...