Grant Iraci

---

I'm a PhD candidate in the Department of Computer Science and Engineering at the University at Buffalo. I research programming language design for embedded systems. My PhD dissertation work leverages type systems to manage concurrency and protocol specifications. This blends process calculi, session typing, and systems programming in Rust to make static guarantees about programs and the communication protocols they follow.

Publications

• TOPLAS Rate-Based Session Types for IoT Systems
  Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
  Extension of OOPSLA '23
• OOPSLA '23 Validating IoT Devices with Rate-Based Session Types
  Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
  Distinguished Artifact Awardee
• POPL '25 Semantic Logical Relations for Timed Message-Passing Protocols
  Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek
• JFP Send to me first: Priority in Synchronous Message-Passing
  Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
  Extension of PADL '21
• PADL '21 Synchronous Message-Passing with Priority
  Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
• Concurruency and Computation A survey of real-time capabilities in functional languages and compilers
  Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek
• FM '18 IPL: An Integration Property Language for Multi-model Cyber-physical Systems
  Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
• UAI '18 Fast Counting in Machine Learning Applications
  Subhadeep Karan, Matthew Eichhorn, Blake Hurlburt, Grant Iraci, Jaroslaw Zola