3 papers
cs.PL2026
Probabilistic, Resource-Aware, Asynchronous, Out-of-Order Choreographies
Mako Bates, Steven Baldasty, Ernest Hyun +2
Futures-based implementations of out-of-order choreographies can substantially improve latency and throughput, but their actual behavior depends on resources such as communication…
cs.HC2025
SoK: Usability Studies in Differential Privacy
Onyinye Dibia, Prianka Bhattacharjee, Brad Stenger +5
Differential Privacy (DP) has emerged as a pivotal approach for safeguarding individual privacy in data analysis, yet its practical adoption is often hindered by challenges in the…
cs.PL2025
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri +3
Choreographic programming (CP) is a paradigm for implementing distributed systems that uses a single global program to define the actions and interactions of all participants. Libr…