Who are we?
We're a group of systems developers who love computing—from hardware to software, from theory to practice. We hold particular interest in the following fields:
- Distributed and concurrent data systems
- Formal methods (e.g. modelling, verification)
- Compiler/language design and implementation
- OS/virtual machine development
Evening Talk Series
Once every 2 months, we hold an evening of long-form and lightning talks. We provide food and drinks, and there will be plenty of time before and after the presentations to talk with one another.
At our last installment, Andy Pavlo presented his paper, What Goes Around Comes Around... And Around... .
Our next event is on November 20th, 2024, with speakers Alex Krentsel from Google Systems Research and Qian Li from DBOS. You can sign up for the event on our lu.ma page.
Morning Coffee Chats
We also meet once a month at 10am to chat about systems over coffee (or your morning beverage of choice). The exact location and date will vary by month, and in case of rain, we'll find a suitable indoor Public Open Space nearby.
Our next coffee chat is on December 6th, 2024. You can sign up for it here.