Computer Science Department Colloquium Time and Date: 3:00-4:00PM, Friday, September 12, 2014 Location: Hardymon Theater - Marksbury Building Title: Probabilistic Symbolic Execution Speaker: Professor Matthew B. Dwyer Affiliation: Department of Computer Science and Engineering, University of Nebraska-Lincoln Host: Professor Tingting Yu Abstract: Symbolic execution has been applied over the last decade to automate the generation of test suites, perform precise differencing of software versions, and detect faults and security vulnerabilities. Symbolic execution is path-sensitive, but it treats all paths equally, when developers understand that some paths will be executed much more frequently either because specific inputs are more likely or the sets of values that drive execution down a path are large. In this talk, we describe recent work that incorporates probabilistic reasoning into symbolic execution to quantify the likelihood of executing a program path. We describe how this is done for sequential programs in some detail and sketch more recent work for non-deterministic and concurrent programs. Applications of these techniques include being able to quantify the confidence that a property holds when it cannot be proven definitively, ranking errors based on their likelihood, and accelerating statistical program analysis. Biography: Matthew B. Dwyer is the Leonard A. Lovell Professor of Engineering and Chair of the Department of Computer Science and Engineering at the University of Nebraska-Lincoln. He received a Bachelors in Electrical Engineering from the University of Rochester (1985), a Masters in Computer Science from the University of Massachusetts at Boston (1989), and a Doctorate in Computer Science from the University of Massachusetts at Amherst in 1995. From 1985 through 1990 he worked at Intermetrics Inc. on the development of embedded systems and compilers. He was a faculty member at Kansas State University and currently holds an appointment as Extraordinary Professor at Stellenbosch University, South Africa. He has published widely in the areas of program analysis, software specification, and automated formal methods. His work has received several awards including the ICSE Most Influential Paper and SIGSOFT Impact Paper awards in 2010 and he has been named ACM Distinguished Scientist (2007), Fulbright Research Scholar (2011), and IEEE Fellow (2013). Dr. Dwyer has served as program chair of a number of top research conferences including: the ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2004), the International Conference on Software Engineering (ICSE 2008), and the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012). His editorial work includes serving as co-Editor-in-Chief for the International Journal of Software Tools for Technology Transfer (2001-2007), Associate Editor of ACM Transactions on Programming Languages and Systems (since 2009), Editorial Board Member for CACM Research Highlights (since 2013), and Associate Editor (2006-2009) and Editor-in-Chief (since 2014) of IEEE Transactions on Software Engineering.
Posted on: Wed, 10 Sep 2014 15:33:10 +0000
Trending Topics
Recently Viewed Topics
© 2015