
Formally Validating a Practical Verification Condition Generator (extended version)
A program verifier produces reliable results only if both the logic used...
read it

Gobra: Modular Specification and Verification of Go Programs (extended version)
Go is an increasinglypopular systems programming language targeting, es...
read it

Identifying Overly Restrictive Matching Patterns in SMTbased Program Verifiers
Universal quantifiers occur frequently in proof obligations produced by ...
read it

Modular Verification of Collaborating Smart Contracts
Smart contracts are programs that execute inside blockchains such as Eth...
read it

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)
Modern separation logics allow one to prove rich properties of intricate...
read it

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have...
read it

Bayesian Nonparametric Bivariate Survival Regression for Current Status Data
We consider nonparametric inference for event time distributions based o...
read it

VerifyThis 2019: A Program Verification Competition (Extended Report)
VerifyThis is a series of program verification competitions that emphasi...
read it

A Semiparametric Bayesian Approach to Population Finding with TimetoEvent and Toxicity Data in a Randomized Clinical Trial
A utilitybased Bayesian population finding (BaPoFi) method was proposed...
read it

Modular Verification of Heap Reachability Properties in Separation Logic
The correctness of many algorithms and data structures depends on reacha...
read it

A Bayesian Nonparametric Approach for Evaluating the Effect of Treatment in Randomized Trials with SemiCompeting Risks
We develop a Bayesian nonparametric (BNP) approach to evaluate the effec...
read it

Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Smart contracts are programs that manage digital assets according to a c...
read it

Engineering Collaborative Social Science Toolkits. STS Methods and Concepts as Devices for Interdisciplinary Diplomacy
The smartification of industries is marked by the development of cyberp...
read it

Scalable Bayesian Nonparametric Clustering and Classification
We develop a scalable multistep Monte Carlo algorithm for inference und...
read it

Permission Inference for Array Programs
Information about the memory locations accessed by a program is, for ins...
read it
Peter Müller
is this you? claim profile