Steve R. Diersen is an author at University of Wyoming specializing in system software, parallel programming, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel Computing
Publications per year
2013–2013
1
1
Symbolic Analysis of Concurrency Errors in OpenMP Programs
Hongyi Ma, Steve R. Diersen, Liqiang Wang et al. · 2013 · 40 citations · Full text
Rows per page
1–1 of 1