DC Systems
DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area.
We are focused on high quality talks and expert speakers. Talks about engineering, not product pitches.
Speakers will share their experience building, testing, debugging, and maintaining:
Compilers, parsers, virtual machines, IDEs, profiling, etc.
Databases, storage, networking, distributed systems
Large scale infrastructure, low latency, high availability services
Formal methods, verification
Browsers, kernel development, security, etc.
Algorithms, data structures, performance optimizations, HPC
Operating Systems / kernels
Embedded systems, IoT, robotic, etc.
AI training, inference, compute orchestration
Previous talks are available here
Schedule
Date<br>Link<br>Speakers
February 10, 2026, 6-8pm<br>https://luma.com/rvwarvpy<br>PWL homage edition, with Aaron Eline on his favorite computer science paper.
Nov 11, 6-8pm<br>https://luma.com/jt013ba5<br>Yi Cai on Vest: a formally verified, efficient parser for binary formats, Gabe Parmer on the evolution of endpoint detection and response systems.
October 14, 6-8pm<br>https://luma.com/s4orzid3<br>Jacopo Tagliabue on speedrunning data lakehouses, Alperen Keles on the art of database testing.
September 9, 6-8pm<br>https://lu.ma/fg0har8y<br>Amy Brown on Developing FPGAs with Amaranth and Pytest, Richard Hart with 33 hot takes on systems programming.
August 12, 6-8pm<br>https://lu.ma/kpldx7px<br>Xiangpeng Hao on LiquidCache by InfluxData, Alex Pshenichkin on how to double your RAM.
July 8, 2025<br>https://lu.ma/570rz4gw<br>Liam DeVoe of HypoFuzz on strongly-typed property-based testing, José Trilla on lazy languages.
June 10, 2025<br>https://lu.ma/21i2s274<br>Dan Slimmon from Hashicorp on queueing theory, Mike Rushanan of Harbor Labs on making medical devices secure-by-design.
May 13, 2025<br>https://lu.ma/swn68ky0<br>Rohan Padhye from CMU on controlled concurrency testing on the JVM, Harrison Goldstein from UMD on proof assistants
Mar 11, 2025<br>https://lu.ma/mrt59mg9<br>Achille Roussel from Firetiger on faster parquet bloom filters, Sravan Balaji from Metron on Robotics
Feb 18, 2025<br>https://lu.ma/f4xzl8wp<br>Matt Butrovich from Apple on Apache DataFusion, Jayaprabhakar (JP) Kadarkarai from FizzBee on Formal Verification
Dec 10, 2024<br>https://lu.ma/b9ndtfi5<br>Shivansh Vij from Loophole Labs on VM migrations, Alperen Keleş from University of Maryland on Property-Based Testing, Paul Ryan from Antithesis on robustness
Nov 12, 2024<br>https://lu.ma/uwekrl13<br>Aaron Eline from AWS on randomized testing & formal verification, Tim Deeb-Swihart from Temporal on reliability
Oct 8, 2024<br>https://lu.ma/pr4klipw<br>Phil Eaton from EDB on distributed consensus, Andrei Matei from Data Ex Machina on dynamic instrumentation
Sign up for mailing list to be notified of future meetups - Google Form.
Brought to you by
This talk series is organized by Aaron Eline, John Murray & tw lim. Antithesis has been gracious enough to host the events.