2 papers
cs.PL2024
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
Yue Yao, Grant Iraci, Cheng-En Chuang +2
Many of today's message-passing systems not only require messages to be exchanged in a certain order but also to happen at a certain \emph{time} or within a certain \emph{time wind…
stat.ML2018
Fast Counting in Machine Learning Applications
Subhadeep Karan, Matthew Eichhorn, Blake Hurlburt +2
We propose scalable methods to execute counting queries in machine learning applications. To achieve memory and computational efficiency, we abstract counting queries and their con…