Michael Lam

Registered user since Thu 12 Apr 2018

Name:Michael Lam
Bio:

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.

Country:United States
Affiliation:James Madison University
Research interests:Program Analysis, High-Performance Computing, Systems Tools

Contributions

PPoPP 2019 Session Chair of Session 10: Verification (part of Main Conference)
Web Chair in Organizing Committee