John Regehr's Research Page

My group works to improve software quality, for example by:

Also, we are indirectly improving software quality by mechanically finding compiler wrong-code bugs, crash bugs, and missed-optimization bugs. As of 2014 we've found and reported 475 bugs to various compiler vendors.

Much of our research gets prototyped in the form of tools that are designed to improve the quality of sensor network applications running on TinyOS, and some of these tools are now deployed. For example, starting with TinyOS 2.1, developers can type make micaz safe to create a sensornet image that is dynamically type safe. Starting with the next release after 2.1, users will be able to type make micaz stack-check to statically analyze the sensornet image to detect possible stack overflow errors.

See our publications, my CV, or my Google Scholar page for more details.

Group Members

Current: Alumni:

Random Research Stuff


Back to John's Homepage