Skip to: Main Content Search Navigation Secondary Navigation

James Gordon Stewart

Assistant Professor
Electrical Engineering and Computer Science
Stocker Center 355
gstewart@ohio.edu
Phone: 740.593.1578

http://ace.cs.ohio.edu/~gstewart/

Gordon Stewart joined the electrical engineering and computer science faculty of Ohio University in 2015. His research uses programming languages theory and formal methods to make it easier for programmers to build correct and secure software systems. He regularly teaches courses in programming languages, compilers, and software verification.


Research Interests: programming languages, software verification, software security

All Degrees Earned: Ph.D., Computer Science, Princeton University, 2015; M.A., Computer Science, Princeton University, 2011; A.B., Harvard University, 2006

Awards:

Wu Prize for Excellence, Princeton School of Engineering and Applied Science, 2013.

Other (3)

  • Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D. (2015). Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. New York, NY, USA: MobiCom '15: Proceedings of the 21st Annual International Conference on Mobile Computing and Networking; 210-211.
  • Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D. (2014). Demo: 802.11 a/g PHY Implementation in Ziria, Domain-Specific Language for Wireless Programming. New York, NY, USA: SRIF’14: Proceedings of the 2014 ACM Software Radio Implementation Forum, ACM; 27–30.
  • Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D., Patterson, D. (2014). Demo: Ziria: Language for Rapid Prototyping of Wireless PHY. New York, NY, USA: SIGCOMM'14: Proceedings of the 2014 ACM Conference on SIGCOMM, ACM; 357–358.

Technical Report (3)

  • Bagnall, A., Bunescu, R., Stewart, G. (2017). Training Ensembles to Detect Adversarial Examples. http://arxiv.org/abs/1712.04006.
  • Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D. (2013). Ziria: Wireless Programming for Hardware Dummies. Microsoft Research Technical Report MSR-TR-2013-135.
  • Leroy, X., Appel, A., Blazy, S., Stewart, G. (2012). The CompCert Memory Model, Version 2. INRIA Research Report RR-7987.

Conference Proceeding (16)

  • Merten, S., Bagnall, A., Stewart, G. (2018). Verified Learning Without Regret. Springer; 561-588. http://www.etaps.org/index.php/2018/esop.
  • Stewart, G., Merten, S., Leland, L. (2018). Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. Springer Verlag; http://ace.cs.ohio.edu/~gstewart/papers/snaarkl.pdf.
  • Bagnall, A., Merten, S., Stewart, G. (2017). Brief Announcement: Certified Multiplicative Weights Update; or Verified Learning Without Regret. New York, NY: ACM; 459-461.
  • Murphy, T., Gray, P., Stewart, G. (2017). Verified Perceptron Convergence Theorem. New York, NY: ACM; 43-50.
  • Chenji, H., Stewart, G., Wu, Z., Javaid, A., Devabhaktuni, V., Bhasin, K., Wang, B. (2016). An architecture concept for cognitive space communication networks. 34th AIAA International Communications Satellite Systems Conference (ICSSC).
  • Wu, Z., Chenji, H., Stewart, G., Javaid, A., Devabhaktuni, V., Bhasin, K., Wang, B. (2016). Intelligent Channel Sensing based Secure Cross Layer Cognitive Networking for Resilient Space Communication. 2016 National Aerospace and Electronics Conference (NAECON).
  • Samuel, M., Stewart, G., Juedes, D. (2016). Certified Program for Computing All Maximal Independent Sets (Rough Diamond).
  • Stewart, G., Beringer, L., Cuellar, S., Appel, A. (2015). Compositional CompCert. New York, NY, USA: POPL’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM; 275–287.
  • Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D., Agullo, C. (2015). Ziria: A DSL for Wireless Systems Programming. New York, NY: Proceedings of ASPLOS'15: the 20th International Conference on Architectural Support for Programming Languages and Operating Systems, ACM; 415-428. http://dl.acm.org/citation.cfm?id=2694344.2694368&coll=DL&dl=ACM&CFID=543839190&CFTOKEN=20034093.
  • Kroll, J., Stewart, G., Appel, A. (2014). Portable Software Fault Isolation. Proceedings of the 27th IEEE Computer Security Foundations Symposium; 18-32.
  • Beringer, L., Stewart, G., Dockins, R., Appel, A. (2014). Verified Compilation for Shared-memory C. Berlin, Heidelberg: Proceedings of ESOP'14: the 23rd European Symposium on Programming, Springer; 8410: 107-127. http://link.springer.com/chapter/10.1007%2F978-3-642-54833-8_7.
  • Stewart, G., Banerjee, A., Nanevski, A. (2013). Dependent Types for Enforcement of Information Flow and Erasure Policies in Heterogeneous Data Structures. New York, NY, USA: PPDP'13: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, ACM; 145–156.
  • Beringer, L., Stewart, G., Dockins, R., Appel, A. (2013). Towards Verified Shared-memory Cooperation for C (Extended Abstract). LOLA'13: Syntax and Semantics of Low-Level Languages.
  • Stewart, G., Beringer, L., Appel, A. (2012). Verified Heap Theorem Prover by Paramodulation. New York, NY: ICFP'12: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, ACM; 3-14. http://dl.acm.org/citation.cfm?id=2364527.2364531&coll=DL&dl=ACM&CFID=543839190&CFTOKEN=20034093.
  • Stewart, G., Appel, A. (2011). Local Actions for a Curry-style Operational Semantics. New York, NY, USA: PLPV’11: Proceedings of the 5th ACM workshop on Programming Languages Meets Program Verification, ACM; 31–42.
  • Stewart, G., Crane, G., Babeu, A. (2007). A New Generation of Textual Corpora: Mining Corpora From Very Large Collections. New York, NY, USA: JCDL’07: Proceedings of the 7th ACM/IEEE-CS Joint Conference on Digital Libraries, ACM; 356–365.

Journal Article, Academic Journal (2)

  • Sefton, S., Siddiqui, T., St. Amour, N., Stewart, G., Kodi, A. (2018). GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. 11. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; 37: 2509-2518.
  • Bagnall, A., Merten, S., Stewart, G. (2017). A Library for Algorithmic Game Theory in Ssreflect/Coq. 1. Journal of Formalized Reasoning; 10: 67-95. http://jfr.unibo.it/.

Conference, Poster (1)

  • Gowda, M., Stewart, G., Mainland, G., Radunovic, B., Vytiniotis, D., Patterson, D. (2014). Poster: Ziria: Language for Rapid Prototyping of Wireless PHY. New York, NY, USA: MobiCom’14: Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, ACM; 359–362.

Book, Scholarly (1)

  • Appel, A., Dockins, R., Hobor, A., Beringer, L., Dodds, J., Stewart, G., Blazy, S., Leroy, X. (2014). Program Logics for Certified Compilers. Cambridge: Cambridge University Press.