Gordon Stewart

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 12

Top Topics

Inductive Reasoning

Rapid Prototyping

Embedded Systems

Top Venues

Publications

Garret Cunningham, Harsha Chenji, David Juedes, Gordon Stewart, Avinash Karanth
DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems. ISQED (2023)
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Inductive Reasoning for Coinductive Types. CoRR (2023)
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning. CoRR (2022)
Alexander Bagnall, Gordon Stewart
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. AAAI (2019)
Gordon Stewart, Samuel Merten, Logan Leland
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. PADL (2018)
Samuel Merten, Alexander Bagnall, Gordon Stewart
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. ESOP (2018)
Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart, Avinash Karanth Kodi
GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Alexander Bagnall, Samuel Merten, Gordon Stewart
Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. PODC (2017)
Charlie Murphy, Patrick Gray, Gordon Stewart
Verified perceptron convergence theorem. MAPL@PLDI (2017)
Alexander Bagnall, Samuel Merten, Gordon Stewart
A Library for Algorithmic Game Theory in Ssreflect/Coq. J. Formaliz. Reason. 10 (1) (2017)
Alexander Bagnall, Razvan C. Bunescu, Gordon Stewart
Training Ensembles to Detect Adversarial Examples. CoRR (2017)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo
Ziria: A DSL for Wireless Systems Programming. ASPLOS (2015)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. MobiCom (2015)
Gordon Stewart, Lennart Beringer, Santiago Cuellar, Andrew W. Appel
Compositional CompCert. POPL (2015)
Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Poster: Ziria: language for rapid prototyping of wireless PHY. MobiCom (2014)
Joshua A. Kroll, Gordon Stewart, Andrew W. Appel
Portable Software Fault Isolation. CSF (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Ziria: language for rapid prototyping of wireless PHY. SIGCOMM (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. SRIF@SIGCOMM (2014)
Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel
Verified Compilation for Shared-Memory C. ESOP (2014)
Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. PPDP (2013)
Gordon Stewart
Computational Verification of Network Programs in Coq. CPP (2013)
Gordon Stewart, Lennart Beringer, Andrew W. Appel
Verified heap theorem prover by paramodulation. ICFP (2012)
Gordon Stewart, Andrew W. Appel
Local actions for a curry-style operational semantics. PLPV (2011)
Gordon Stewart, Gregory R. Crane, Alison Babeu
A new generation of textual corpora: mining corpora from very large collections. JCDL (2007)