Grant Iraci

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Sum Product Algorithm

Approximate Inference

Inference In Graphical Models

Machine Learning

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Send to me first: Priority in synchronous message-passing. J. Funct. Program. 32 (2022)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Synchronous Message-Passing with Priority. PADL (2021)
Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek
A survey of real-time capabilities in functional languages and compilers. Concurr. Comput. Pract. Exp. 31 (4) (2019)
Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM (2018)
Subhadeep Karan, Matthew Eichhorn, Blake Hurlburt, Grant Iraci, Jaroslaw Zola
Fast Counting in Machine Learning Applications. UAI (2018)
Subhadeep Karan, Matthew Eichhorn, Blake Hurlburt, Grant Iraci, Jaroslaw Zola
Fast Counting in Machine Learning Applications. CoRR (2018)