Expressing heap-shape contracts in linear logic. - Frances Perry; Limin Jia 001; David Walker 001 (GPCE, 2006)

Fault-tolerant typed assembly language. - Frances Perry; Lester W. Mackey; George A. Reis; Jay Ligatti; David I. August; David Walker 001 (PLDI, 2007)

Type-preserving compilation for large-scale optimizing object-oriented compilers. - Juan Chen; Chris Hawblitzel; Frances Perry; Michael Emmi; Jeremy Condit; Derrick Coetzee; Polyvios Pratikakis (PLDI, 2008)

Reasoning about Control Flow in the Presence of Transient Faults. - Frances Perry; David Walker (SAS, 2008)

FlumeJava: easy, efficient data-parallel pipelines. - Craig Chambers; Ashish Raniwala; Frances Perry; Stephen Adams 001; Robert R. Henry 001; Robert Bradshaw; Nathan Weizenbaum (PLDI, 2010)

The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing. - Tyler Akidau; Robert Bradshaw; Craig Chambers; Slava Chernyak; Rafael Fernández-Moctezuma; Reuven Lax; Sam McVeety; Daniel Mills; Frances Perry; Eric Schmidt 001; Sam Whittle (Proc. VLDB Endow., 2015)