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 | Link | Speakers |
|---|---|---|
| August 12, 6-8pm | https://lu.ma/kpldx7px | Xiangpeng Hao on LiquidCache by InfluxData, Richard Hart with 33 hot takes on systems programming. |
| July 8, 2025 | https://lu.ma/570rz4gw | Liam DeVoe of HypoFuzz on strongly-typed property-based testing, José Trilla on lazy languages. |
| June 10, 2025 | https://lu.ma/21i2s274 | Dan Slimmon from Hashicorp on queueing theory, Mike Rushanan of Harbor Labs on making medical devices secure-by-design. |
| May 13, 2025 | https://lu.ma/swn68ky0 | Rohan Padhye from CMU on controlled concurrency testing on the JVM, Harrison Goldstein from UMD on proof assistants |
| Mar 11, 2025 | https://lu.ma/mrt59mg9 | Achille Roussel from Firetiger on faster parquet bloom filters, Sravan Balaji from Metron on Robotics |
| Feb 18, 2025 | https://lu.ma/f4xzl8wp | Matt Butrovich from Apple on Apache DataFusion, Jayaprabhakar (JP) Kadarkarai from FizzBee on Formal Verification |
| Dec 10, 2024 | https://lu.ma/b9ndtfi5 | 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 | https://lu.ma/uwekrl13 | Aaron Eline from AWS on randomized testing & formal verification, Tim Deeb-Swihart from Temporal on reliability |
| Oct 8, 2024 | https://lu.ma/pr4klipw | 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. Antithesis has been gracious enough to host the events.