University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Automated Error Diagnosis Using Abductive Inference

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Automated Error Diagnosis Using Abductive Inference

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but this task is time-consuming, error-prone, and does not utilize facts already proven by the analysis. We present a new technique for assisting users in classifying error reports. Our technique computes small, relevant queries presented to a user that capture exactly the information the analysis is missing to either discharge or validate the error. Our insight is that identifying these missing facts is an instance of the abductive inference problem in logic, and we present a new algorithm for computing the smallest and most general abductions in this setting. We perform the first user study to rigorously evaluate the accuracy and effort involved in manual classification of error reports. Our study demonstrates that our new technique is very useful for improving both the speed and accuracy of error report classification.

This talk is part of the Microsoft Research Cambridge, public talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Institute of Astronomy Talk Lists Faculty of Divinity Centre for Research in Contemporary Problems Regional Zebrafish meeting Darwin Society (Christ's) Hardware for Machine Learning

Other talks

Speculations about homological mirror symmetry for affine hypersurfaces How language variation contributes to reading difficulties and “achievement gaps” Modular Algorithm Analysis Ethics for the working mathematician, seminar 12: Going back to the start. Electoral intrigue, ethnic politics and the vibrancy of the Kenyan public sphere Uncertainty Quantification with Multi-Level and Multi-Index methods Genomic Approaches to Cancer Knot Floer homology and algebraic methods Lunchtime Talk: Helen's Bedroom The Global Warming Sceptic Molecular mechanisms of cardiomyopathies in patients with severe non-ischemic heart failure The spin evolution of supermassive black holes
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity