Joshi, Rajeev

Committee Member — 2 thesises

• Florian, Mihai — Analysis-Aware Design of Embedded Systems Software (2014, Dissertation (Ph.D.))
• Yu, Xin — Reflection and Its Application to Mechanized MetaReasoning About Programming Languages (2007, Dissertation (Ph.D.))