research
∙
06/22/2023
Special Delivery: Programming with Mailbox Types (Extended Version)
The asynchronous and unidirectional communication model supported by mai...
share
research
∙
07/16/2022
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability
Web applications are structured as multi-tier stacks of components. Each...
research
∙
07/14/2022
Parallel Flowshop in YewPar
Parallelism may reduce the time to find exact solutions for many Operati...
research
∙
11/25/2021
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
Generating high-performance code for diverse hardware and application do...
research
∙
01/07/2018