Making Exceptions on Exception Handling - Tao Xie
The exception-handling mechanism has been widely adopted to deal with exception conditions that may arise during program executions.
To produce high-quality programs, developers are expected to handle these exception conditions and take necessary recovery or
resource-releasing actions. Failing to handle these exception conditions can lead to not only performance degradation, but also
critical issues. Developers can write formal specifications to capture expected exception-handling behavior, and then apply tools
to automatically analyze program code for detecting specification violations. However, in practice, developers rarely write formal
specifications. To address this issue, mining techniques have been used to mine common exception-handling behavior out of program
code. In this talk, I will discuss challenges and achievements in precisely specifying and mining formal exception-handling specifications,
as tackled by our previous work. Our key insight is that expected exception-handling behavior may be "conditional" or may need to accommodate
Tao Xie is an Associate Professor in the Department of Computer Science at North Carolina State University. He received his Ph.D. in
Computer Science from the University of Washington in 2005, advised by David Notkin. He has worked as a visiting researcher at Microsoft
Research Redmond and Microsoft Research Asia. His research interests are in software engineering, including software testing, analysis, and
analytics. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member of the ACM History Committee.
He received a National Science Foundation Faculty Early Career Development (CAREER) Award in 2009. He received a 2011 Microsoft Research Software
Engineering Innovation Foundation (SEIF) Award, 2008, 2009, and 2010 IBM Faculty Awards, and a 2008 IBM Jazz Innovation Award. He received the
ASE 2009 Best Paper Award and an ACM SIGSOFT Distinguished Paper Award. He was Program Co-Chair of ICSM 2009 and MSR 2011/2012. His homepage is