Colin Stebbins Gordon

Sc.B. Computer Science, Brown University

 colin@cs.brown.edu

 http://cs.brown.edu/~colin/

  PGP Key 1 | PGP Key 2

About Me

Until May 2008 I was a computer science concentrator at Brown University, in Providence, RI. While I was there I worked on a few research projects and was involved with the Brown PLT research group. I also TAed a few courses. Since August 2008 I work in the Technical Strategy Incubation team at Microsoft, exploring new directions in the systems arena.

I'm interested in improving the construction software to make the process easier and the results more robust. Specifically, they should be more natural to specify, and the programming languages and tools used should detect as many errors as possible before a potentially erroneous system is deployed. To this end I'm interested in new abstractions for managing difficult portions of software engineering (e.g. transactional memory), rich type systems to guarantee correctness of system behavior, as well as model checking to verify other correct behavior of systems.

Interests

Music, Bass Guitar, Film, Literature, Programming Languages (especially type systems and other static analyses), Operating Systems, Distributed Computing

Published Work

Refereed

• Colin Gordon, Leo Meyerovich, Joel Weinberger, and Shriram Krishnamurthi. Composition with Consistent Updates for Abstract State Machines. In Proceedings of the 14th International Workshop on Abstract State Machines (ASM'07), Grimstad, Norway. June 2007.
  [ abstract | pdf | proceedings ]

Unrefereed

• Colin Stebbins Gordon. Type-Safe Stack Inspection for Garbage Collector Implementation. Brown University Senior Honors Thesis. May 2008. Undergraduate Thesis.
  [ abstract | pdf | slides | other honors theses ]
• Meyerovich, L.A., Weinberger, J.H.W., Gordon, C.S., Krishnamurthi, S.: ASM Relational Transducer Security Policies. Technical Report CS-06-12, Computer Science Department, Brown University, Providence, RI, USA. November, 2006.
  [ abstract | department page | pdf ]
  This report is essentially an extended version of Composition with Consistent Updates for Abstract State Machines

This site is constantly (albeit slowly) under construction.

Courses every CS concentrator at Brown should take:

• CS167/9
• CS173
• CS176
• EN164