![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > QUIC Graphs: Relational Invariant Generation for Containers
![]() QUIC Graphs: Relational Invariant Generation for ContainersAdd 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 Programs written in modern languages perform intricate manipulations of containers such as arrays, lists, dictionaries, and sets. We present an abstract interpretation-based framework for automatically inferring relations between the set of values stored in these containers. Relations include inclusion relations over unions and intersections, as well as quantified relationships with scalar variables. We develop an abstract domain constructor that builds a container domain out of a Quantified Union-Intersection Constraint (QUIC) graph parameterized by an arbitrary base domain. We instantiate our domain with a polyhedral base domain and evaluate it on programs extracted from the Python test suite. Over traditional, non-relational domains, we find significant precision improvements with minimal performance cost. This talk is part of the Microsoft Research Cambridge, public talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsEnterprise Tuesday 2010/2011 "Existential Risk" screening and Q & A Oxbridge PDE conferenceOther talksActive Subspace Techniques to Construct Surrogate Models for Complex Physical and Biological Models Dame Ottoline Leyser: Plant Development Streptococcus suis - managing a global zoonotic pathogen of pigs Aspects of adaptive Galerkin FE for stochastic direct and inverse problems On Classical Tractability of Quantum Schur Sampling Description: Olfaction of biologically relevant vapors by secondary electrospray ionization mass spectrometry |