Scott Moore

Maxwell-Dworkin 309
sdmoore@fas.harvard.edu

Research

I am a PhD student in the Programming Languages group at Harvard University. Currently, I am working with Stephen Chong on practical techniques for enforcing expressive information flow security policies.

In general, I am interested in programming langauge techniques and formal methods that help programmers write safe, correct, and understandable software.

Teaching

In fall term 2011, I was the head TF for CS 61, Harvard's introductory systems course.

Publications

Conference papers

Scott Moore and Stephen Chong. Static analysis for efficient hybrid information-flow control. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), June 2011.

Workshop papers

Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar. ActionScript Bytecode Verification With Co-Logic Programming. In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), 9-15, June 2009.

Schedule