Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Chorex: Restartable, Language-Integrated Choreographies
Ashton Wiersdorf, Ben Greenman
We built Chorex, a language that brings choreographic programming to Elixir as a path toward robust distributed applications. Chorex is unique among choreographic languages because…
cs.PL2024
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Taylor Allred, Xinyi Li, Ashton Wiersdorf +2
Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a comm…