MathejaChristoph

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

KaminskiBenjamin Lucien, KatoenJoost-Pieter, BatzKevin, 2019 .

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

KaminskiBenjamin Lucien, KatoenJoost-Pieter, OlmedoFederico, 2018 .

How do programmers use unsafe rust

J SummersAlexander, MüllerPeter, MathejaChristoph, 2020 .