Attach Slides here so that they are only accessible to people having access to the 517 page.

• UnitTestingRice.ppt: Nat Ayewah Slides
• Tools_Presentation_(2007-01-28).ppt: Karen Wu and Roumen Kaiabachev Slides
• Floating Point Analysis with Affine Arithmetic: Jun Inoue
  • presentation on
    • Floating-Point Error Analysis Based On Affine Arithmetic and
    • Toward Efficient Static Analysis of Finite-Precision Effects in DSP Applications via Affine Arithmetic Modeling
• Eliminating Array Bound Checking Through Dependent Types: Cherif Salama
• Statically Detecting Likely Buffer Overflow Vulnerabilities: Cherif Salama
• A Monadic Approach to Avoiding Code Duplication: Jun Inoue
• Formal Verification of Dynamic Properties in an Aerospace Application (PDF): Alex Stoll
• Bond Graph Modeling, Pt2.pdf: Josh Langsfeld
• The PDE2D Collocation Finite Element Method: Granville Sewell
• PDE2D Example1: Granville Sewell
• PDE2D Example2: Granville Sewell
• PDE2D Example3: Granville Sewell
• Modular Checking for Buffer Overflows in the Large: Cherif Salama
• An Ideal Model for Polymorphic Recursive Types: Jun Inoue
• Intro to Dynamic System Stability: Josh Langsfeld

---

Access Control: (Please don't edit)

• Set ALLOWTOPICCHANGE = RapGroup, StudentsComp617Group, JenniferEvans, MathiasRicken

---