Ben Liblit

former Associate Professor
Computer Sciences Department
University of Wisconsin–Madison

crypto:  PEM, PGP

I am no longer affiliated with the University of Wisconsin.

I was an associate professor of computer science, specializing in software engineering and programming languages. My work in this area began with a pioneering four-year field study on the practice of programming. (That is, I was an actual grownup with a real job as a software engineer.) Today it is the challenges and needs of the professional programmer that inspire my research.

My research team:

Former Students

Bug Isolation in an Imperfect World

How many times has your computer crashed this month? My current focus is on improving software quality in a world where bugs are a fact of life. I seek practical ways to use program analysis, machine learning, and other techniques to understand and fix bugs in the real world.

Error Propagation

Finding and Fixing Bugs in Concurrent and Parallel Programs

Postmortem Program Analysis

Statistical Debugging and Cooperative Bug Isolation

The Cooperative Bug Isolation Project is putting many of the above ideas to work in a large scale, real world deployment. When theory collides with practice, fun things happen.

Dynamic Heap Type Inference

Other Bug Hunting

Languages for Scientific Computing

Your supercomputer is only as good as the code you’re running on it. As a member of the Titanium project I developed a formal basis for understanding the behavior of distributed data with applications in language design, algorithm development, programming, and optimization.

Odds and Ends

I’ve also written a few things about other facets of programming and program analysis.