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
Schedule
| Date | Link | Speakers |
|---|---|---|
| Oct 8, 6-8pm | https://lu.ma/pr4klipw | Phil Eaton from EDB on distributed consensus, Andrei Matei from Data Ex Machina on dynamic instrumentation |
| Nov 12, 6-8pm | https://lu.ma/uwekrl13 | Aaron Eline from AWS on randomized testing & formal verification, Tim Deeb-Swihart from Temporal on reliability |
| Dec 10, 6-8:30pm | 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 |
Sign up for mailing list to be notified of future meetups - Google Form.
Brought to you by
This talk series is organized by Gabriel Guerra. Antithesis has been gracious enough to host the events.