Gordon Stewart

Cited by

	All	Since 2019
Citations	1113	637
h-index	13	10
i10-index	14	10

120

20092010201120122013201420152016201720182019202020212022202320249 10 13 19 28 52 91 92 92 58 107 116 104 96 102 111

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Lennart BeringerVerified email at pm.me
Dimitrios VytiniotisDeepMindVerified email at google.com
Bozidar RadunovicMicrosoft ResearchVerified email at microsoft.com
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
Mahanth GowdaAssociate Professor, Computer Science, Pennsylvania State UniversityVerified email at psu.edu
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Sandrine BlazyProfessor of Computer Science, University of RennesVerified email at irisa.fr
santiago cuellarPhD, Princeton UniversityVerified email at princeton.edu
Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
Razvan BunescuUNC CharlotteVerified email at uncc.edu
Joshua KrollNaval Postgraduate SchoolVerified email at nps.edu
Charlie MurphyPostdoctoral Researcher, University of Wisconsin MadisonVerified email at cs.princeton.edu
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Harsha ChenjiAssociate Professor, Ohio UniversityVerified email at ohio.edu
Ahmad Y. JavaidAssociate Professor, The University of ToledoVerified email at utoledo.edu
Vijay DevabhaktuniEE Chair Illinois State UniversityVerified email at ilstu.edu
Zhiqiang WuBrage Golding Distinguished Professor of Electrical Engineering, Wright State UniversityVerified email at wright.edu
František FarkaIMDEA Software InstituteVerified email at imdea.org
Robert DockinsPrinceton University

Gordon Stewart

BedRock Systems, Inc.

Verified email at bedrocksystems.com - Homepage

Programming Languages Interactive Theorem Proving Software Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	271	2014
Implications and mitigation of radio frequency blackout during reentry of reusable launch vehicles R Hartunian, G Stewart, T Curtiss, S Fergason, R Seibold, P Shome AIAA Atmospheric Flight Mechanics Conference and Exhibit, 6633, 2007	219	2007
Compositional CompCert G Stewart, L Beringer, S Cuellar, AW Appel Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	134	2015
The CompCert memory model X Leroy, AW Appel, S Blazy, G Stewart Program Logics for Certified Compilers, 237-271, 2014	128*	2014
Verified compilation for shared-memory C L Beringer, G Stewart, R Dockins, AW Appel Programming Languages and Systems: 23rd European Symposium on Programming …, 2014	61	2014
Training ensembles to detect adversarial examples A Bagnall, R Bunescu, G Stewart arXiv preprint arXiv:1712.04006, 2017	43	2017
Ziria: A DSL for wireless systems programming G Stewart, M Gowda, G Mainland, B Radunovic, D Vytiniotis, CL Agullo ACM SIGARCH Computer Architecture News 43 (1), 415-428, 2015	43*	2015
Certifying the true error: Machine learning in Coq with verified generalization guarantees A Bagnall, G Stewart Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2662-2669, 2019	37	2019
Portable software fault isolation JA Kroll, G Stewart, AW Appel 2014 IEEE 27th Computer Security Foundations Symposium, 18-32, 2014	35	2014
A new generation of textual corpora: mining corpora from very large collections G Stewart, G Crane, A Babeu Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries …, 2007	23	2007
Verified heap theorem prover by paramodulation G Stewart, L Beringer, AW Appel ACM SIGPLAN Notices 47 (9), 3-14, 2012	22	2012
Computational verification of network programs in Coq G Stewart Certified Programs and Proofs, 33-49, 2013	15	2013
Verified Perceptron Convergence Theorem C Murphy, P Gray, G Stewart Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017	13	2017
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures G Stewart, A Banerjee, A Nanevski Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013	11	2013
Garuda: Designing energy-efficient hardware monitors from high-level policies for secure information flow S Sefton, T Siddiqui, NS Amour, G Stewart, AK Kodi IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018	8	2018
A library for algorithmic game theory in Ssreflect/Coq A Bagnall, S Merten, G Stewart Journal of Formalized Reasoning 10 (1), 67-95, 2017	8	2017
An architecture concept for cognitive space communication networks H Chenji, G Stewart, Z Wu, A Javaid, V Devabhaktuni, K Bhasin, B Wang 34th AIAA International Communications Satellite Systems Conference, 5728, 2016	8	2016
The CompCert Memory Model, Version 2. INRIA, 26 X Leroy, AW Appel, S Blazy, G Stewart	8	2012
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell G Stewart, S Merten, L Leland International Symposium on Practical Aspects of Declarative Languages, 36-52, 2017	5	2017
Formally verified samplers from probabilistic programs with loops and conditioning A Bagnall, G Stewart, A Banerjee Proceedings of the ACM on Programming Languages 7 (PLDI), 1-24, 2023	4	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors