Gordon Stewart

Citée par

	Toutes	Depuis 2018
Citations	792	482
indice h	11	9
indice i10	13	9

100

2009201020112012201320142015201620172018201920202021202220233 2 7 9 16 34 74 76 74 49 94 98 81 86 73

Accès public

Tout afficher

6 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Andrew W. AppelProfessor of Computer Science, Princeton UniversityAdresse e-mail validée de princeton.edu
Lennart BeringerPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
Dimitrios VytiniotisDeepMindAdresse e-mail validée de google.com
Bozidar RadunovicMicrosoft ResearchAdresse e-mail validée de microsoft.com
Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityAdresse e-mail validée de drexel.edu
Mahanth GowdaWormley Family Early Career Assistant Professor, EECS, Pennsylvania State UniversityAdresse e-mail validée de psu.edu
Xavier LeroyCollège de FranceAdresse e-mail validée de college-de-france.fr
Sandrine BlazyProfessor of Computer Science, University of RennesAdresse e-mail validée de irisa.fr
santiago cuellarPhD, Princeton UniversityAdresse e-mail validée de princeton.edu
Anindya BanerjeeProfessor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Razvan BunescuUNC CharlotteAdresse e-mail validée de uncc.edu
Joshua KrollNaval Postgraduate SchoolAdresse e-mail validée de nps.edu
Aleksandar NanevskiIMDEA Software InstituteAdresse e-mail validée de imdea.org
Charlie MurphyPostdoctoral Researcher, University of Wisconsin MadisonAdresse e-mail validée de cs.princeton.edu
Harsha ChenjiAssociate Professor, Ohio UniversityAdresse e-mail validée de ohio.edu
Ahmad Y. JavaidAssociate Professor, The University of ToledoAdresse e-mail validée de utoledo.edu
Vijay DevabhaktuniEE Chair Illinois State UniversityAdresse e-mail validée de ilstu.edu
Zhiqiang WuBrage Golding Distinguished Professor of Electrical Engineering, Wright State UniversityAdresse e-mail validée de wright.edu
František FarkaIMDEA Software InstituteAdresse e-mail validée de imdea.org
Robert DockinsPrinceton University

Suivre

Gordon Stewart

BedRock Systems, Inc.

Adresse e-mail validée de bedrocksystems.com - Page d'accueil

Programming Languages Interactive Theorem Proving Software Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	246	2014
Compositional CompCert G Stewart, L Beringer, S Cuellar, AW Appel Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	125	2015
The CompCert memory model X Leroy, AW Appel, S Blazy, G Stewart Program Logics for Certified Compilers, 237-271, 2014	111*	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	59	2014
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	41*	2015
Training ensembles to detect adversarial examples A Bagnall, R Bunescu, G Stewart arXiv preprint arXiv:1712.04006, 2017	37	2017
Portable software fault isolation JA Kroll, G Stewart, AW Appel 2014 IEEE 27th Computer Security Foundations Symposium, 18-32, 2014	32	2014
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	28	2019
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	19	2012
Computational verification of network programs in Coq G Stewart Certified Programs and Proofs, 33-49, 2013	15	2013
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
Verified Perceptron Convergence Theorem C Murphy, P Gray, G Stewart Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017	10	2017
A library for algorithmic game theory in ssreflect/coq A Bagnall, S Merten, G Stewart Journal of Formalized Reasoning 10 (1), 67-95, 2017	7	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	7	2016
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	5	2018
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	4	2017
Brief Announcement: Certified Multiplicative Weights Update A Bagnall, S Merten, G Stewart Proceedings of the ACM Symposium on Principles of Distributed Computing, 459-461, 2017	3	2017
Local actions for a curry-style operational semantics G Stewart, AW Appel Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011	3	2011
Developing With Formal Methods at BedRock Systems, Inc. G Malecha, G Stewart, F Farka, J Haag, Y Hirai IEEE Security & Privacy 20 (3), 33-42, 2022	2	2022

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs