Aarhus University logo
Algorithmic Structure in Weak Memory and RDMA Verification
Weak memory models invalidate many classical assumptions underlying program verification,…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…
Abstract:Secure multi-party computation (MPC) enables parties to compute a function over private inputs while maintaining confidentiality. Although…
The last few years have seen several breakthroughs in the semantic foundations of probabilistic and statistical modelling. In this tutorial, we will…
Abstract: We study the consistency checking problem which consists in determining whether for a given program and a trace (e.g., an execution graph)…
Page 1 of 3
