Gordon Stewart

Orcid: 0000-0003-0244-2980

Affiliations:
  • Bedrock Systems, Inc.
  • Ohio University, Athens, OH, USA (former)
  • Princeton University, NJ, USA (PhD)


According to our database1, Gordon Stewart authored at least 25 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning.
Proc. ACM Program. Lang., 2023

Inductive Reasoning for Coinductive Types.
CoRR, 2023

DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems.
Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022
Developing With Formal Methods at BedRock Systems, Inc.
IEEE Secur. Priv., 2022

2019
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.
Proceedings of the Programming Languages and Systems, 2018

2017
A Library for Algorithmic Game Theory in Ssreflect/Coq.
J. Formaliz. Reason., 2017

Training Ensembles to Detect Adversarial Examples.
CoRR, 2017

Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Verified perceptron convergence theorem.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2015
Compositional CompCert.
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.
Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Ziria: A DSL for Wireless Systems Programming.
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.
Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming.
Proceedings of the 2014 ACM workshop on Software radio implementation forum, 2014

Poster: Ziria: language for rapid prototyping of wireless PHY.
Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

Verified Compilation for Shared-Memory C.
Proceedings of the Programming Languages and Systems, 2014

Portable Software Fault Isolation.
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.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Computational Verification of Network Programs in Coq.
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012
Verified heap theorem prover by paramodulation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
Local actions for a curry-style operational semantics.
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.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2007


  Loading...