| Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014 | 261 | 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 | 212 | 2007 |
| Compositional CompCert G Stewart, L Beringer, S Cuellar, AW Appel Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 131 | 2015 |
| The CompCert memory model X Leroy, AW Appel, S Blazy, G Stewart Program Logics for Certified Compilers, 237-271, 2014 | 123* | 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 | 60 | 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 | 42* | 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 | 35 | 2019 |
| Portable software fault isolation JA Kroll, G Stewart, AW Appel 2014 IEEE 27th Computer Security Foundations Symposium, 18-32, 2014 | 33 | 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 | 7 | 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 |
Andrew W. AppelProfessor of Computer Science, Princeton University在 princeton.edu 的电子邮件经过验证
