near

AsInst: A Probabilistic Language for Resource-Aware Asynchronous Choreographies

This paper introduces AsInst, a novel probabilistic, resource-aware language for modeling asynchronous, out-of-order choreographies. Unlike prior formal models, AsInst uses temporal Bayesian networks to capture both runtime values and their availability times. The work includes a proof of semantic equivalence with futures-style networks and demonstrates AsInst's capability in modeling complex scenarios like communication-failure recovery.

Aim High, Stay Private: Differentially Private Synthetic Data Enables Public Release of Behavioral Health Information with High Utility

"We Need a Standard": Toward an Expert-Informed Privacy Label for Differential Privacy

Distributed HDMM: Scalable, Distributed, Accurate, and Differentially Private Query Workloads without a Trusted Curator

Beyond Fixed Psychological Personas: State Beats Trait, but Language Models are State-Blind

Differentially Private Multimodal In-Context Learning