Call for lightning talks: Haskell Symposium 2026
decomposition ∘ alby Lindsey Kuper·21 Jul 2026
This year, I have the honor of serving as the program chair for the Haskell Symposium, co-located with the 2026 International Conference on Functional Programming, or ICFP to its friends1, on...
“Carol’s Causal Conundrum” is out!
decomposition ∘ alby Lindsey Kuper·9 Apr 2026
The newest zine from my research group, “Carol’s Causal Conundrum”, is out today! You can read it online, or print your own free copies to read offline!
Interpreters everywhere!
decomposition ∘ alby Lindsey Kuper·30 Dec 2025
Last month, I was thrilled to have the chance to give a colloquium talk, “Interpreters everywhere!”, at the Indiana University Computer Science Colloquium!
Where “simulation” came from
decomposition ∘ alby Lindsey Kuper·20 Nov 2025
When did computer scientists start to talk about “simulation” between programs? As of a couple of months ago, the earliest paper I had seen on this topic was Robin Milner’s widely cited IJCAI 1971...
I took the “Crusty Interpreter” class!
decomposition ∘ alby Lindsey Kuper·17 Nov 2025
Last week, I cleared everything else off my schedule to take the “Crusty Interpreter” course, an immersive 5-day “write an interpreter in Rust” course taught by Dave Beazley.
“CRDT Emulation, Simulation, and Representation Independence” will appear at ICFP 2025
decomposition ∘ alby Lindsey Kuper·29 Jun 2025
My research group has a new paper, “CRDT Emulation, Simulation, and Representation Independence”, appearing at ICFP this year!
Alan Jeffrey
decomposition ∘ alby Lindsey Kuper·31 Dec 2024
I want to wrap up 2024 by talking about my friend Alan Jeffrey, who we lost this year. I’m pretty sure I met Alan at the first academic conference I ever attended, which was ICFP 2010, but he was a...
“Communicating Chorrectly with a Choreography” is out!
decomposition ∘ alby Lindsey Kuper·5 Dec 2024
It’s finally done! 🎉 I am so excited to announce “Communicating Chorrectly with a Choreography”, the first zine from my research group.
When is causal broadcast not enough for causal memory?
decomposition ∘ alby Lindsey Kuper·22 Sept 2024
While getting ready to teach my grad distributed systems course this fall, I found myself once again flipping through Cheriton and Skeen’s rather scathing 1993 article “Understanding the...
Join us for !!Con, and help spread the word!
decomposition ∘ alby Lindsey Kuper·24 Jul 2024
The short version of this post: The last-ever !!Con is coming up in a month from today! Please spread the word about !!Con and get your tickets here!
Your filters hide everything on this page. Adjust them in preferences.