Gordon Stewart

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