Registered user since Thu 12 Apr 2018
Michael O. Lam is an Assistant Professor in the Computer Science Department at James Madison University in Harrisonburg, Virginia. He received his Ph.D. and M.S. degrees in Computer Science from the University of Maryland, College Park, and has conducted research at Lawrence Livermore National Laboratory as a visiting faculty scholar. His research interests include program analysis, high-performance computing, and systems tools. He is the author of the CRAFT floating-point analysis framework, the SHVAL shadow value instrumentation tool, and co-author of the ADAPT library for automatic differentiation of floating-point code for mixed-precision analysis.
|PPoPP 2019|| Session Chair of Session 10: Verification (part of Main Conference)|
Web Chair in Organizing Committee