Gordon Stewart

According to our database, Gordon Stewart authored at least 26 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning.

Alexander Bagnall, Gordon Stewart, Anindya Banerjee

Proc. ACM Program. Lang., 2023

Inductive Reasoning for Coinductive Types.

Alexander Bagnall, Gordon Stewart, Anindya Banerjee

CoRR, 2023

DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems.

Garret Cunningham, Harsha Chenji, David Juedes, Gordon Stewart, Avinash Karanth

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022

Developing With Formal Methods at BedRock Systems, Inc.

Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai

IEEE Secur. Priv., 2022

2019

Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees.

Alexander Bagnall, Gordon Stewart

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow.

Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart, Avinash Karanth Kodi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.

Gordon Stewart, Samuel Merten, Logan Leland

Proceedings of the Practical Aspects of Declarative Languages, 2018

Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.

Samuel Merten, Alexander Bagnall, Gordon Stewart

Proceedings of the Programming Languages and Systems, 2018

2017

A Library for Algorithmic Game Theory in Ssreflect/Coq.

Alexander Bagnall, Samuel Merten, Gordon Stewart

J. Formaliz. Reason., 2017

Training Ensembles to Detect Adversarial Examples.

Alexander Bagnall, Razvan C. Bunescu, Gordon Stewart

CoRR, 2017

Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret.

Alexander Bagnall, Samuel Merten, Gordon Stewart

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Verified perceptron convergence theorem.

Charlie Murphy, Patrick Gray, Gordon Stewart

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2015

Verified Separate Compilation for C

Gordon Stewart

PhD thesis, 2015

Compositional CompCert.

Gordon Stewart, Lennart Beringer, Santiago Cuéllar, Andrew W. Appel

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis

Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Ziria: A DSL for Wireless Systems Programming.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Ziria: language for rapid prototyping of wireless PHY.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis

Proceedings of the 2014 ACM workshop on Software radio implementation forum, 2014

Poster: Ziria: language for rapid prototyping of wireless PHY.

Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

Verified Compilation for Shared-Memory C.

Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 2014

Portable Software Fault Isolation.

Joshua A. Kroll, Gordon Stewart, Andrew W. Appel

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures.

Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Computational Verification of Network Programs in Coq.

Gordon Stewart

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

Verified heap theorem prover by paramodulation.

Gordon Stewart, Lennart Beringer, Andrew W. Appel

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Local actions for a curry-style operational semantics.

Gordon Stewart, Andrew W. Appel

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

2007

A new generation of textual corpora: mining corpora from very large collections.

Gordon Stewart, Gregory R. Crane, Alison Babeu

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2007