Frances Perry's Homepage

About

I am interested in designing and implementing techniques for improving code reliability. I work in the systems infrastructure group at Google. See my CV or resume for more information.

Life in Academia

"Toto, I don't think we're in grad school any more..."

I received my Phd in Computer Science from Princeton in September 2008. I worked on Project Zap with Dave Walker, where we reasoned about fault-tolerant code using low-level type systems.

Dissertation: Reasoning about Software in the Presence of Transient Faults

Frances Perry

Princeton University Doctoral Thesis, September 2008 [pdf] [slides]

Job Search Materials, January 2008: [research] [teaching] [talk]

Reasoning about Control Flow in the Presence of Transient Faults

Frances Perry and David Walker

International Static Analysis Symposium (SAS), July 2008 [pdf] [slides]

Princeton University Technical Report TR-799-07, October 2007 [pdf] [proofs]

Type-Preserving Compilation for Realistic Object-Oriented Compilers

Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee and Polyvios Pratikakis

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2008 [pdf]

Simple and Flexible Stack Types

Frances Perry, Chris Hawblitzel, and Juan Chen

International Workshop on Aliasing, Confinement, and Ownership (IWACO), July 2007 [pdf] [slides]

Microsoft Research Technical Report MSR-TR-2007-51, May 2007 [pdf] [proofs]

Fault-tolerant Typed Assembly Language

Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, and David Walker

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2007 [pdf] [slides]

Joint winner of the PLDI 2007 Best Paper Award

Princeton University Technical Report TR-776-07, April 2007 [pdf]

Expressing Heap-shape Contracts in Linear Logic

Frances Perry, Limin Jia, and David Walker

Generative Programming and Component Engineering (GPCE), October 2006 [pdf] [slides]

A preliminary, unpublished version appeared in the SPACE Workshop in January 2006.

Certifying Compilation for a Language with Stack Allocation

Limin Jia, Frances Spalding [Perry], David Walker, and Neal Glew

IEEE Symposium on Logic in Computer Science (LICS), June 2005 [pdf]

Princeton University Technical Report TR-724-05, March 2005 [pdf]