Gordon Stewart

zbMath Openstewart.gordonMaRDI QIDQ2323997

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A library for algorithmic game theory in \textsf{Ssreflect/Coq}	2019-09-18	Paper
Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees	2019-09-13	Paper
Brief Announcement	2017-10-11	Paper
Compositional CompCert	2016-09-29	Paper
Computational verification of network programs in Coq	2015-01-13	Paper
Program logics for certified compilers	2014-07-28	Paper
Verified heap theorem prover by paramodulation	2014-07-21	Paper
Verified Compilation for Shared-Memory C	2014-04-16	Paper
Enabling cutting-edge semiconductor simulation through grid technology	2011-01-18	Paper

Research outcomes over time

This page was built for person: Gordon Stewart