University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Guessing Program Annotations with Probabilistic 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

Guessing Program Annotations with Probabilistic 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.

Program analysis tools require annotations in order to be effective. We present techniques to guess annotations using hints from the programmer. In our experience, we find that it is easier for programmers to give hints, if we allow specifying facts that are likely to hold. For instance, the programmer might state that if a pointer is probed inside a method and then accessed, then it is very likely that the pointer has not been validated on entry to the method. We propose using probabilistic inference to deal with such hints, using probability as the uniform currency in representing and manipulating uncertainty. We give two examples from our experience: (1) Merlin, an inference engine for information flow annotations, and (2) Anek, an inference engine for aliasing annotations known as access permissions. These experiences have led to a general framework called BayeZ for guessing annotations via a combination of logical and probabilistic inference. We present preliminary results for BayeZ together with applications beyond programming languages.

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

Seminar on Religion, Conflict and Its Aftermath Hinsley Lecture Series Electron Microscopy Group Conferences

Other talks

A transmissible RNA pathway in honeybees The Exposome in Epidemiological Practice Childhood adversity and chronic disease: risks, mechanisms and resilience. Intrinsically Motivating Teachers;STIR's use of Data Driven Insight to Iterate, Pivot and (where necessary) Fail Fast What we don’t know about the Universe from the very small to the very big : ONE DAY MEETING Knot Floer homology and algebraic methods The Gopakumar-Vafa conjecture for symplectic manifolds Single Cell Seminars (October) mTORC1 signaling coordinates different POMC neurons subpopulations to regulate feeding Measuring interacting electrons in low dimensional systems: spin-charge separation and 'replicas & tbd
 

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