Welcome!

I'm Mike Lam, a computer science faculty member at James Madison University, specializing in program analysis, compilers, systems tools, and high-performance computing (HPC). Check out my research, teaching, and service as well as my CV using the links at the top of the page.
Professionally and academically, I am a researcher and system tools developer with experience in automated floating-point program analysis, particularly for mixed-precision implementations. I earned my Ph.D from the University of Maryland in Computer Science for developing a general framework for binary instrumentation for floating-point precision analysis.
Personally, I enjoy spending time with friends and family as well as doing crossword puzzles. I am a long-time PC gamer; lately, however, I have been mostly just following the video game industry in general and playing various games as time allows.
Currently teaching:
- CS 432 - Compilers (Fall 2025)
Contact info:
- Office: King 227 (TuTh) or King 365 (MWF)
- Drop-in hours (Fa'25): Tue 1-3pm and Thu 9:30-11:30am (in person and on Zoom; contact me for Zoom link)
- Email: lam2mo (at) jmu (dot) edu
Other info:
- Twitter: @lam2mo
- Github: @lam2mo
- YouTube: Channel
- ORCID:
0000-0002-9415-5534
- Profiles: Google Scholar | LinkedIn | ResearchGate | Zotero
Other information:
- CS 470 student research projects
- JMU Computer Science club info page (now on CS wiki)
- Mid-Atlantic ICPC Programming Contest
- Floating-point analysis research page (hosted elsewhere but maintained by me)
