University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > QUIC Graphs: Relational Invariant Generation for Containers

  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

QUIC Graphs: Relational Invariant Generation for Containers

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

People and Permacuture: Creating synergetic productive groups with Looby Macnamara Department of History and Philosophy of Science Future of Sustainable Development in South Asia Enterprise Tuesday 2010/2011 "Existential Risk" screening and Q & A Oxbridge PDE conference

Other talks

Unbiased Estimation of the Eigenvalues of Large Implicit Matrices On Classical Tractability of Quantum Schur Sampling Aspects of adaptive Galerkin FE for stochastic direct and inverse problems Streptococcus suis - managing a global zoonotic pathogen of pigs Dame Ottoline Leyser: Plant Development Active Subspace Techniques to Construct Surrogate Models for Complex Physical and Biological Models LARMOR LECTURE - Exoplanets, on the hunt of Universal life "The integrated stress response – a double edged sword in skeletal development and disease" A polyfold lab report XZ: X-ray spectroscopic redshifts of obscured AGN Description: Olfaction of biologically relevant vapors by secondary electrospray ionization mass spectrometry
 

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