Eric Larson's Research

Research Interests:

My primary areas of research are in software bug detection, software testing, and program analysis. I also create software tools, especially tools designed for computer science students in the classroom. In the past, I have done work in computer architecture and simulation.


Selected Publications:

Automatic Checking of Regular Expressions (Paper; ACRE tool; GitHub)
Eric Larson
18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), September 2018

Generating Evil Test Strings for Regular Expressions (Paper; Slides; EGRET tool; GitHub)
Eric Larson and Anna Kirk
9th IEEE International Conference on Software Testing (ICST), April 2016

Program Analysis Too Loopy? Set the Loops Aside
(Paper)
Eric Larson
IET Software, Volume 7, Issue 3, June 2013
(Earlier version appeared at SCAM 2011: Paper, Slides)

MDAT: A Multithreading Debugging and Testing Tool (Paper; Slides)
Eric Larson and Rochelle Palting
ACM SIGCSE 2013 Technical Symposium on Computer Science Education, March 2013

SUDS: An Infrastructure for Creating Bug Detection Tools (Paper)
Eric Larson
Journal of Automated Software Engineering, Volume 17, Issue 3, September 2010
(Earlier version appeared at SCAM 2007: Paper, Slides)

A Plethora of Paths (Paper; Slides)
Eric Larson
17th IEEE International Conference on Program Comprehension (ICPC), May 2009

A Simple but Realistic Assembly Language for a Course in Computer Organization (Paper; Slides)
Eric Larson and Moon Ok Kim
38th ASEE/IEEE Frontiers in Education Conference (FIE), October 2008

An Undergraduate Course on Software Bug Detection Tools and Techniques (Paper; Slides)
Eric Larson
ACM SIGCSE 2006 Technical Symposium on Computer Science Education, March 2006

High Coverage Detection of Input-related Security Faults (Paper; Slides)
Eric Larson and Todd Austin
12th USENIX Security Symposium (Security '03), August 2003


Ph.D. Dissertation:

My Ph.D. thesis is titled "Efficient Dynamic Detection of Input Related Software Faults" and was completed at the University of Michigan in Spring 2004 under the guidance of Todd Austin


Back home
Last updated August 28, 2018


This is a personal WEB site developed and maintained by an individual and not by Seattle University. The content and link(s) provided on this site do not represent or reflect the view(s) of Seattle University. The individual who authored this site is solely responsible for the site's content. This site and its author are subject to applicable University policies including the Computer Acceptable Use Policy (www.seattleu.edu/policies).