Gordon Stewart

Photo Address:
Dept. of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540
 E-mail:
jsseven at cs dot princeton dot edu

Office:
COS 214

I'm a PhD student in Computer Science at Princeton University working on the Verified Software Toolchain project. My advisor is Andrew Appel.

In summer 2011, I worked with Anindya Banerjee and Aleks Nanevski as a research intern at IMDEA Software in Madrid.

Research Interests

Programming Languages, Interactive and Automated Theorem Proving, Software Security. My current projects include building a verified theorem prover for Separation Logic and developing techniques for reasoning about information flow in data structures.

Research Papers

Modular Enforcement of Information Flow Policies in Data Structures
Gordon Stewart, Anindya Banerjee and Aleksandar Nanevski.
In submission.
Files accompanying the paper are available here.

Local Actions for a Curry-style Operational Semantics
Gordon Stewart and Andrew W. Appel.
In PLPV'11: 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification, January 29, 2011.
Files accompanying the paper are available here.

A New Generation of Textual Corpora: Mining Corpora from Very Large Collections
Gordon Stewart, Gregory Crane and Alison Babeu
In JCDL'07: 7th ACM/IEEE-CS Joint Conference on Digital Libraries, pages 356-365, Vancouver, British Columbia: ACM Digital Library, 2007.

Teaching

TA, CS333: Advanced Programming Techniques, Princeton University, Spring 2012
TA, CS126: General Computer Science, Princeton University, Spring 2011
TA, CS126: General Computer Science, Princeton University, Fall 2010