Grant Iraci

According to our database, Grant Iraci authored at least 8 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Semantic Logical Relations for Timed Message-Passing Protocols.

Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek

Proc. ACM Program. Lang., 2025

2024

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version).

Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek

CoRR, 2024

2023

Validating IoT Devices with Rate-Based Session Types.

Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek

Proc. ACM Program. Lang., October, 2023

2022

Send to me first: Priority in synchronous message-passing.

Cheng-En Chuang, Grant Iraci, Lukasz Ziarek

J. Funct. Program., 2022

2021

Synchronous Message-Passing with Priority.

Cheng-En Chuang, Grant Iraci, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2021

2019

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

Concurr. Comput. Pract. Exp., 2019

2018

Fast Counting in Machine Learning Applications.

Subhadeep Karan, Matthew Eichhorn, Blake Hurlburt, Grant Iraci, Jaroslaw Zola

Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan

Proceedings of the Formal Methods - 22nd International Symposium, 2018