Frances (Spalding) Perry
my_first_name@frances-perry.net
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]
Updated: 5/9/2009