Frances (Spalding) Perry
Seattle, WA• my_first_name@frances-perry.net•http://www.frances-perry.net
EDUCATION
Princeton University,
Department of Computer Science, Princeton, NJ
Ph.D. in Computer Science, September 2008
Princeton University,
Department of Computer Science, Princeton, NJ
M.A. in Computer Science, April 2005, GPA 4.0
Cornell University,
School of Arts and Sciences, Ithaca, NY
B.A. cum laude in Computer Science, May 2003, GPA 3.72
EXPERIENCE
Research Assistant
Computer Science Department, Princeton University
Spring 2004 - Summer 2008
Advisor: David Walker
Designing low-level type systems for proving properties of programs, including the correctness of fault-tolerance and memory management schemes.
Research Intern
Advanced Compiler Technology Group, Microsoft Research
Summer 2006
Mentor: Juan Chen
Helped design and implement a low-level type system for the Bartok Research Compiler.
Research Intern
Program Analysis Group, Microsoft
Summer 2005
Mentor: Jason Yang
Developed and implemented a sequential analysis for detecting potential deadlocks in Windows code. The tool has found over 100 confirmed concurrency bugs in Windows Vista.
Science Undergraduate Laboratory Fellowship
Princeton Plasma Physics Laboratory, Princeton University
Summer 2003
Developed a flexible data acquisition system for small experiments.
Student Researcher
Computer Science Department, Cornell University
Summer 2002
Advisor: Greg Morrisett
Implemented a post-pass for the Cyclone compiler to convert the generated C code into ANSI C.
Applications Developer
Fermi National Accelerator Laboratory, Batavia, IL
Summer 1999, 2000, 2001; Winter 2001, 2002
Developed software tools to assist particle physicists, including an electronic logbook, web-based forms and a data acquisition system.
SELECTED PUBLICATIONS
Fault-tolerant Typed Assembly Language
Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August and David Walker
Programming Language Design and Implementation (PLDI), June 2007
Joint winner of the PLDI 07 Best Paper Award
Certifying Compilation for a Language with Stack Allocation
Limin Jia, Frances Spalding [Perry], David Walker and Neal Glew
Logic in Computer Sciences (LICS), June 2005
SKILLS
Fluent in Java, Standard ML
•
Proficient in C, C++, C#, Perl, Ocaml, x86 Assembly
HONORS & AWARDS
Princeton Engineering Wu Prize for Excellence 2007
•
PLDI Best Paper Award 2007
•
Microsoft Graduate Research Fellowship 2006-2007
•
Cornell CS Undergraduate TA Award 2003