Fully Automatic Mining of General Temporal Properties Prof. Zhendong Su
Department of Computer Science
University of California, Davis, USA Time: 10:00-12:00, July 14th, 2009 (Tuesday)
Location: Room 504, Building MengMinwei Abstract Program specifications are important in many phases of the software
development process, but they are often omitted or incomplete. An important
class of specifications takes the form of temporal properties that prescribe
proper usage of components of a software system. Recent work has focused on
the automated inference of temporal specifications from the static or runtime
behavior of programs. However, existing techniques mine only simple patterns
or a single complex pattern restricted to some manually selected events. There
is no practical, automatic technique that can mine general temporal
properties. This talk will present Javert, the first general specification mining
framework that can learn, fully automatically, complex temporal properties
from execution traces. It is based on two insights: (1) there is much
regularity in the search space of learning all instances of a generic pattern,
such as the alternating pattern (ab)*; (2) real, complex specifications can
be formed by composing instances of small generic patterns. Javert can
discover many interesting, nontrivial specifications in real-world code that
are beyond the reach of existing automatic techniques. About Prof. Zhendong Su Zhendong Su is an Associate Professor in Computer Science at UC Davis. His
research interests span programming languages, software engineering, and
computer security, focusing on developing practical techniques and tools for
improving software quality and programmer productivity. He received his Ph.D.
degree in Computer Science from UC Berkeley, and is the recipient of a Best
Paper Award from the European Association for Programming Languages and
Systems, an ACM SIGSOFT Distinguished Paper Award, an NSF CAREER Award, a
College of Engineering Outstanding Junior Faculty Award at UC Davis, and an IB
M Software Quality Innovation Award. He is serving as an Associate Editor for
ACM Transactions on Software Engineering and Methodology and a Program Co-
Chair for the 16th International Static Analysis Symposium. http://www.cs.ucdavis.edu/~su/ |
