Articles with public access mandates - Gordon StewartLearn more
Available somewhere: 8
Certifying the true error: Machine learning in Coq with verified generalization guarantees
A Bagnall, G Stewart
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2662-2669, 2019
Mandates: US National Science Foundation
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures
G Stewart, A Banerjee, A Nanevski
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
Mandates: Government of Spain
Garuda: Designing energy-efficient hardware monitors from high-level policies for secure information flow
S Sefton, T Siddiqui, NS Amour, G Stewart, AK Kodi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
Mandates: US National Science Foundation
A library for algorithmic game theory in Ssreflect/Coq
A Bagnall, S Merten, G Stewart
Journal of Formalized Reasoning 10 (1), 67-95, 2017
Mandates: US National Science Foundation
Formally verified samplers from probabilistic programs with loops and conditioning
A Bagnall, G Stewart, A Banerjee
Proceedings of the ACM on Programming Languages 7 (PLDI), 1-24, 2023
Mandates: US National Science Foundation
Brief Announcement: Certified Multiplicative Weights Update
A Bagnall, S Merten, G Stewart
Proceedings of the ACM Symposium on Principles of Distributed Computing, 459-461, 2017
Mandates: US National Science Foundation
Verified Learning Without Regret: From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees
S Merten, A Bagnall, G Stewart
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
Mandates: US National Science Foundation
DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems
G Cunningham, H Chenji, D Juedes, G Stewart, A Karanth
2023 24th International Symposium on Quality Electronic Design (ISQED), 1-7, 2023
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program