Michael O Lam

Michael O Lam
James Madison University | JMU · Department of Computer Science

PhD in Computer Science, University of Maryland

About

18
Publications
1,442
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
326
Citations
Introduction
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). 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, College Park for developing a general framework for binary instrumentation for floating-point precision analysis.
Additional affiliations
May 2020 - present
James Madison University
Position
  • Professor (Associate)
August 2014 - May 2020
James Madison University
Position
  • Professor (Assistant)
January 2014 - June 2014
University of Maryland, College Park
Position
  • PostDoc Position
Education
August 2007 - May 2014
University of Maryland, College Park
Field of study
  • Computer Science

Publications

Publications (18)
Article
Full-text available
Modern embedded systems are becoming more reliant on real-valued arithmetic as they employ mathematically complex vision algorithms and sensor signal processing. Double-precision floating point is the most commonly used precision in computer vision algorithm implementations. A single-precision floating point can provide a performance boost due to l...
Article
Full-text available
Floating-point computation is ubiquitous in high-performance scientific computing, but rounding error can compromise the results of extended calculations, especially at large scales. In this paper, we present new techniques that use binary instrumentation and modification to do fine-grained floating-point precision analysis, simulating any level of...
Conference Paper
Full-text available
Introducing software testing has taken on a greater importance in undergraduate computer science curricula in the last several years, with many departments using JUnit or other testing frameworks in the programming sequence and software engineering courses. We have developed an automated framework for unit and integration testing and grading for ou...
Article
Full-text available
We develop a new algorithm to compute a basis for Mk(Γ0(N))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_k(\Gamma _0(N))$$\end{document}, the space of weight k holo...
Conference Paper
Full-text available
As scientific computation continues to scale, efficient use of floating-point arithmetic processors is critical. Lower precision allows streaming architectures to perform more operations per second and can reduce memory bandwidth pressure on all architectures. However, using a precision that is too low for a given algorithm and data set leads to in...
Conference Paper
As scientific computation continues to scale, it is crucial to use floating-point arithmetic processors as efficiently as possible. Lower precision allows streaming architectures to perform more operations per second and can reduce memory bandwidth pressure on all architectures. However, using a precision that is too low for a given algorithm and d...
Conference Paper
As scientific computation continues to scale, efficient use of floating-point arithmetic processors is critical. Lower precision allows streaming architectures to perform more operations per second and can reduce memory bandwidth pressure on all architectures. However, using a precision that is too low for a given algorithm and data set leads to in...
Article
Full-text available
Floating-point rounding error is a well-known problem in numerical computation that distorts results and is difficult to analyze accurately. We propose a tool that performs automatic binary instrumentation of floating-point code to detect cancellations and to run side-by-side calculations in alternate precisions. The results of this analysis can he...
Article
Full-text available
We have created a content-based image retrieval framework for computed tomography images of pulmonary nodules. When presented with a nodule image, the system retrieves images of similar nodules from a collection prepared by the Lung Image Database Consortium (LIDC). The system (1) extracts images of individual nodules from the LIDC collection based...
Article
Research studies have shown that advances in computed tomography (CT) technology allow better detection of pulmonary nodules by generating higher-resolution images. However, the new technology also generates many more individual transversal reconstructions, which as a result may affect the efficiency and accuracy of the radiologists interpreting th...
Article
Scientic visualizations often include uncertainty, as do vi- sualizations meant for other specialized users, but there is currently no standard software toolkit for visualizing uncer- tainty. Furthermore, previous studies of user reactions to visualization of uncertain data have focused on users famil- iar with uncertainty. Here we present Fuzz, a...

Network

Cited By

Projects

Projects (8)
Project
This project integrates several other tools (CRAFT, ADAPT, and TypeForge) to build an end-to-end automated pipeline for tuning mixed-precision C and C++ programs at the source level.