Skip to main content
Princeton Engineering
Magnifying Glass
Princeton Computer Science
CS GUIDE

Main navigation

  • Academics
    • Undergraduate Program
    • Graduate Program
    • Courses
  • Research
    • Research Areas
    • Technical Reports
    • Computing Facilities
  • People
    • Faculty
    • Researchers
    • Technical Staff
    • Administrative Staff
    • Graduate Students
    • Undergraduate Students
    • Graduate Alumni
  • News & Events
    • Events
    • News
  • Diversity & Outreach
    • Climate and Inclusion Committee
    • REU on AI and Machine Learning
    • Resources for students
    • Outreach initiatives
    • Resources for faculty and staff

Reports for Author "Perry, Frances"

  • TR-776-07 - Fault-tolerant Typed Assembly Language (2007-04-00)
    August, David I. / Mackey, Lester / Reis, George A. / Perry, Frances / Walker, David / Ligatti, Jay
  • TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (2007-10-00)
    Perry, Frances / Walker, David
  • TR-831-08 - Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change] (2008-08-00)
    Perry, Frances
  • TR-830-08 - Reasoning about Software in the Presence of Transient Faults (thesis) (2008-08-00)
    Perry, Frances
Princeton Shield Princeton University
Department of Computer Science
Visit Us
35 Olden Street
Princeton, NJ 08544
Contact Us
Jobs
Princeton Engineering
© 2025 The Trustees of Princeton University | Privacy | Accessibility
Connect with us
Facebook
X.com
LinkedIn
YouTube