Cole Schlesinger

Email:
cschlesi at cs dot princeton dot edu

Office:
COS 214

Address:
Dept. of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540

About me

I am a third-year Ph.D. student in the Programming Languages group of the Computer Science department at Princeton University. My advisor is David Walker. My current research interests span programming languages and software security, with an emphasis on type-theoretic formal methods for securing and verifying real systems.

Before beginning at Princeton, I worked for several years at GrammaTech, Inc. Founded by Dr. Teitelbaum of Cornell University and Dr. Reps of the University of Wisconsin at Madison, GrammaTech develops program understanding and analysis tools based on sophisticated static analysis techniques.

Drafts currently under review

Verification Condition Generation with the Dijkstra State Monad.
Cole Schlesinger and Nikhil Swamy. March 2012.
[pdf]

Monadic Refinement Types for Verifying JavaScript Programs.
Nikhil Swamy, Joel Weinberger, Juan Chen, Ben Livshits, and Cole Schlesinger. March 2012.
[pdf]

Publications

Abstractions for Network Update.
Mark Reittblatt, Nate Foster, Jen Rexford, Cole Schlesinger, David Walker. To appear in ACM SIGCOMM, August 2012.

Modular Protections against Non-control Data Attacks.
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker and Benjamin Zorn. CSF 2011.
[pdf | tech report]