Martin C. Rinard

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T1A: Design (1 times)
  • T4D: Interpretation (1 times)
  • T5H: Usability (1 times)
• Top 2 coauthors:
  • Jiasi Shen (1 times)
  • ∅ (1 times)
• Made 2 contributions (see below)

List of contributions

• (SLE 2017) Coauthored Robust Programs with Filtered Iterators (Jiasi Shen, Martin C. Rinard)
• (SLE 2018) Authored A New Approach for Software Correctness and Reliability (Martin C. Rinard)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.