Gordon Stewart
From MaRDI portal
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 Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
| Compositional CompCert Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Computational verification of network programs in Coq Certified Programs and Proofs | 2015-01-13 | Paper |
| Program logics for certified compilers | 2014-07-28 | Paper |
| Verified heap theorem prover by paramodulation Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Verified Compilation for Shared-Memory C Programming Languages and Systems | 2014-04-16 | Paper |
| Enabling cutting-edge semiconductor simulation through grid technology Large-Scale Scientific Computing | 2011-01-18 | Paper |
Research outcomes over time
This page was built for person: Gordon Stewart
