Efficient System Enforced Deterministic Parallelism

Summary

Presented at the 9th USENIX Symposium on Operating Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of ... All for One and One for All: Program Logics for Exploiting Internal A video of my talk at PL-wonks on Friday, October 5, 2012. Last 5-10 minutes of the talk are missing, unfortunately. In the latest installment of the series, Intel Principal Engineer and author Michael McCool explains the mechanisms for expressing ... The optimization community has long formulated optimization models (which may have integer variables and/or nonlinear ... Nondeterminism is a key complication in programming multicore Last Minute Lecture is a student-run project and is currently funded entirely by students who believe educational resources should ... Sam Westrick (NYU) simons.berkeley.edu/talks/sam-westrick-nyu-2025-10-22 Managing Uncontrolled and unintended nondeterminism has been a persistent problem for concurrent, sigops.org/sosp/sosp11/current/index.html AAAI 2026 Paper by Ehsan Futuhi and Nathan R. Sturtevant The rapid advancement of GPU technology has unlocked powerful ... A talk I gave about my Ph.D. research. If you just want to see the Lebowski jokes, they're at 0:56, 28:42, and 45:45. Presenter: Sung Kook Kim Presented at POPL'20.