dblp.uni-trier.dewww.uni-trier.de

Frances Perry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEJuan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki: Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI 2008: 183-192
3EEFrances Perry, David Walker: Reasoning about Control Flow in the Presence of Transient Faults. SAS 2008: 332-346
2007
2EEFrances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker: Fault-tolerant typed assembly language. PLDI 2007: 42-53
2006
1EEFrances Perry, Limin Jia, David Walker: Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110

Coauthor Index

1David I. August [2]
2Juan Chen [4]
3Derrick Coetzee [4]
4Jeremy Condit [4]
5Mike Emmi [4]
6Chris Hawblitzel [4]
7Limin Jia [1]
8Jay Ligatti (Jarred Ligatti) [2]
9Lester W. Mackey [2]
10Polyvios Pratikaki [4]
11George A. Reis [2]
12David Walker [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)