Frances
(Spalding)
Perry
my_first_name@cs.princeton.edu
About
I'm a fifth year
Computer Science Phd student in Programming Languages at
Princeton.
My research focuses on designing and implementing techniques for improving code reliability.
I am currently working on
Project Zap with
Dave Walker,
where we reason about fault-tolerant code using low-level type systems.
Publications
Reasoning about Control Flow in the Presence of Transient Faults
Frances Perry and David Walker
International Static Analysis Symposium (SAS), to appear July 2008
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), to appear June 2008
Simple and Flexible Stack Types
Frances Perry, Chris Hawblitzel, and Juan Chen
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
A preliminary, unpublished version appeared in the SPACE Workshop in January 2006.