Talk Open Original ↗
On the Optimization of Equivalent Concurrent Computations
Type
Conference talk
Client
—
Date
2022
Domain
Systems
Effort
—
Section
—
Presenters
Henrich Lauko Lukáš Korenčik Peter Goodman
Related
- 2026-02 Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits Talk
- 2026 Auditing Scapy With Agents Talk
- 2025 Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software Talk
- 2025 Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge Talk
- 2025 Buttercup and DARPA's AI Cyber Challenge, Ringzer0 Talk
- 2025 Our experience competing in the AI Cyber Challenge Talk
