IPL: An Integration Property Language for Multi-model Cyber-physical Systems. - Ivan Ruchkin; Joshua Sunshine; Grant Iraci; Bradley R. Schmerl; David Garlan (FM, 2018)

Fast Counting in Machine Learning Applications. - Subhadeep Karan; Matthew Eichhorn; Blake Hurlburt; Grant Iraci; Jaroslaw Zola (UAI, 2018)

A survey of real-time capabilities in functional languages and compilers. - Jeffrey C. Murphy; Bhargav Shivkumar; Amy Pritchard; Grant Iraci; Dhruv Kumar 003; Sun Hyoung Kim; Lukasz Ziarek (Concurr. Comput. Pract. Exp., 2019)

Synchronous Message-Passing with Priority. - Cheng-En Chuang; Grant Iraci; Lukasz Ziarek (PADL, 2021)

Send to me first: Priority in synchronous message-passing. - Cheng-En Chuang; Grant Iraci; Lukasz Ziarek (J. Funct. Program., 2022)

Validating IoT Devices with Rate-Based Session Types. - Grant Iraci; Cheng-En Chuang; Raymond Hu; Lukasz Ziarek (Proc. ACM Program. Lang., 2023)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version). - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (CoRR, 2024)

Semantic Logical Relations for Timed Message-Passing Protocols. - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (Proc. ACM Program. Lang., 2025)