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.
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
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