Gordon Stewart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
15
Active years
2008–2019
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | AAAI | Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. | Alexander Bagnall, Gordon Stewart |
| 2018 | ESOP | Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees. | Samuel Merten, Alexander Bagnall, Gordon Stewart |
| 2018 | PADL | Snrkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. | Gordon Stewart, Samuel Merten, Logan Leland |
| 2017 | PLDI | Verified perceptron convergence theorem. | Charlie Murphy, Patrick Gray, Gordon Stewart |
| 2017 | PODC | Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. | Alexander Bagnall, Samuel Merten, Gordon Stewart |
| 2015 | ASPLOS | Ziria: A DSL for Wireless Systems Programming. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo |
| 2015 | MOBICOM | 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 |
| 2015 | POPL | Compositional CompCert. | Gordon Stewart, Lennart Beringer, Santiago Cullar, Andrew W. Appel |
| 2014 | ESOP | Verified Compilation for Shared-Memory C. | Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel |
| 2014 | MOBICOM | Poster: Ziria: language for rapid prototyping of wireless PHY. | Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2014 | SIGCOMM | 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 |
| 2014 | SIGCOMM | Ziria: language for rapid prototyping of wireless PHY. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2013 | CPP | Computational Verification of Network Programs in Coq. | Gordon Stewart |
| 2013 | PPDP | Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. | Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski |
| 2012 | ICFP | Verified heap theorem prover by paramodulation. | Gordon Stewart, Lennart Beringer, Andrew W. Appel |
| 2008 | CCGRID | Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models. | Richard O. Sinnott, David W. Chadwick, Thomas Doherty, David B. Martin, Anthony Stell, Gordon Stewart, Linying Su, John P. Watt |
| 2008 | ICCS | Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research. | Richard O. Sinnott, Thomas Doherty, David B. Martin, Campbell Millar, Gordon Stewart, John P. Watt |
| 2008 | ISPA | Integrating Security Solutions to Support nanoCMOS Electronics Research. | Richard O. Sinnott, Christopher Bayliss, Thomas Doherty, David B. Martin, Campbell Millar, Gordon Stewart, John P. Watt, Asen Asenov, Gareth Roy, Scott Roy, C. Davenhall, Bruno Harbulot, Mike Jones |