My research group has a new paper, “CRDT Emulation, Simulation, and Representation Independence”, appearing at ICFP this year! This project was headed up by my PhD student Nathan Liittschwager, with help from another PhD student in my group, Jonathan Castello, and our collaborator Stelios Tsampas. You can read our preprint (warts and all, but soon to be improved, thanks to feedback from the ICFP reviewers) on arXiv, but here’s a quick summary.| decomposition ∘ al
Here's the CFP for ARRAY '25 this year! Dear all We are organising ARRAY'25 which is co-located with PLDI'25. This workshop is dedicated to array programming, which is interpreted very liberally. We are interested in classical array programming a la APL, array theories, semantics, verification, type systems, compiler optimisations, parallel| Fastidious Elegance
My research group was busy this past year. Here’s a summary of what we’ve been up to in 2022-2023!| decomposition ∘ al