2 papers
cs.PL2025
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Xuanyu Peng, Dominic Kennedy, Yuyou Fan +3
Static analyses play a fundamental role during compilation: they discover facts that are true in all executions of the code being compiled, and then these facts are used to justify…
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…