| Probabilistic Programs with Stochastic Conditioning | 0 | 0.34 | 2021 |
| Differentiable Algorithm For Marginalising Changepoints | 0 | 0.34 | 2020 |
| Variational Inference for Sequential Data with Future Likelihood Estimates | 0 | 0.34 | 2020 |
| On Correctness of Automatic Differentiation for Non-Differentiable Functions | 0 | 0.34 | 2020 |
| Towards verified stochastic variational inference for probabilistic programs | 0 | 0.34 | 2020 |
| Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support | 0 | 0.34 | 2020 |
| Trust Region Sequential Variational Inference. | 0 | 0.34 | 2019 |
| Some Semantic Issues in Probabilistic Programming Languages (Invited Talk). | 0 | 0.34 | 2019 |
| Resource-aware program analysis via online abstraction coarsening | 1 | 0.36 | 2019 |
| Discontinuous Hamiltonian Monte Carlo for Probabilistic Programs. | 0 | 0.34 | 2018 |
| Adaptive Static Analysis via Learning with Bayesian Optimization. | 0 | 0.34 | 2018 |
| On Nesting Monte Carlo Estimators. | 2 | 0.41 | 2018 |
| Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. | 0 | 0.34 | 2018 |
| The Beta-Bernoulli process and algebraic effects. | 0 | 0.34 | 2018 |
| Reparameterization Gradient for Non-differentiable Models. | 0 | 0.34 | 2018 |
| Automatically generating features for learning program analysis heuristics for C-like languages | 5 | 0.41 | 2017 |
| Denotational validation of higher-order Bayesian inference | 4 | 0.48 | 2017 |
| Probabilistic Programming (Invited Talk). | 0 | 0.34 | 2017 |
| Algebraic Laws for Weak Consistency. | 1 | 0.35 | 2017 |
| Abstraction refinement guided by a learnt probabilistic model. | 8 | 0.46 | 2016 |
| Specification and Complexity of Collaborative Text Editing. | 8 | 0.54 | 2016 |
| 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems | 32 | 0.93 | 2016 |
| Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. | 10 | 0.50 | 2016 |
| Symbolic automata for representing big code | 1 | 0.35 | 2016 |
| Design and Implementation of Probabilistic Programming Language Anglican. | 10 | 0.54 | 2016 |
| Spreadsheet Probabilistic Programming. | 0 | 0.34 | 2016 |
| Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. | 27 | 1.01 | 2016 |
| Automatically generating features for learning program analysis heuristics. | 0 | 0.34 | 2016 |
| The CISE tool: proving weakly-consistent applications correct. | 8 | 0.50 | 2016 |
| Composite Replicated Data Types. | 4 | 0.45 | 2015 |
| Learning a strategy for adapting a program analysis via bayesian optimisation | 20 | 0.66 | 2015 |
| Particle Gibbs with Ancestor Sampling for Probabilistic Programs. | 7 | 0.61 | 2015 |
| Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis | 2 | 0.38 | 2015 |
| Transaction Chopping for Parallel Snapshot Isolation. | 5 | 0.39 | 2015 |
| Hybrid top-down and bottom-up interprocedural analysis | 11 | 0.50 | 2014 |
| On abstraction refinement for program analyses in Datalog | 27 | 0.91 | 2014 |
| Replicated data types: specification, verification, optimality | 51 | 1.80 | 2014 |
| Selective context-sensitivity guided by impact pre-analysis | 28 | 0.85 | 2014 |
| Parameterised Linearisability. | 0 | 0.34 | 2014 |
| A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. | 4 | 0.47 | 2014 |
| Views: compositional reasoning for concurrent programs | 69 | 2.00 | 2013 |
| Modular verification of preemptive OS kernels | 9 | 0.62 | 2013 |
| A step-indexed kripke model of hidden state | 1 | 0.36 | 2013 |
| Symbolic Automata for Static Specification Mining. | 4 | 0.39 | 2013 |
| Verifying concurrent memory reclamation algorithms with grace | 17 | 0.74 | 2013 |
| Finding optimum abstractions in parametric dataflow analysis | 15 | 0.67 | 2013 |
| Linearizability with ownership transfer | 20 | 0.95 | 2012 |
| Automated concolic testing of smartphone apps | 174 | 6.24 | 2012 |
| Show no weakness: sequentially consistent specifications of TSO libraries | 24 | 0.94 | 2012 |
| Two for the Price of One: Lifting Separation Logic Assertions | 3 | 0.38 | 2012 |
