It's finally done! πŸŽ‰ I am so excited to announce "Communicating Chorrectly with a Choreography", the first zine from my research group!

Read online and print your own free copies: https://decomposition.al/zines/

Thread! πŸ‘‡

Zines from my research group

Lindsey Kuper’s blog

decomposition ∘ al

Making research zines has been a dream of mine for a long time. Back in 2019, I experimented with zine creation as an optional assignment in my undergrad distributed systems class (https://decomposition.al/blog/2019/06/29/my-students-made-zines-and-so-can-yours/).

In 2021, part of my NSF CAREER proposal involved integrating zine creation into my team's research process. You can read my proposal and the context behind it here: https://decomposition.al/blog/2022/01/31/career-building-reliable-distributed-systems-with-refinement-types/

My students made zines, and so can you(rs)!

This spring, I taught our undergrad distributed systems course here at UC Santa Cruz for the first time! It was a blast, and one of the most fun things about it was reading the zines about distributed systems that my students made.

decomposition ∘ al

@lindsey i keep meaning to mention btw: i finally did a zine assignment in my class this semester (grad PL), adapting your assignment text from your blog post: https://www.khoury.northeastern.edu/~cmartens/Courses/7400-f24/zines.html

thanks for writing the blog post!

CS 7400: iPPL (Fall 2024)

Course website for CS 7400: Intensive Principles of Programming Languages at Northeastern

@chrisamaphone Oh, fantastic! I'll add this to my list!