Exploring Practical Statically Checked Deterministic Parallelism
Exploring Practical Statically Checked Deterministic Parallelism reveals several interesting facts.
- Presenter: Sung Kook Kim Presented at POPL'20.
- Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti Achieving
- Computer Architecture peer
- Presented at the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10) held in Vancouver, BC, ...
- One important feature of a
In-Depth Information on Practical Statically Checked Deterministic Parallelism
Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of ... 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. Nondeterminism is a key complication in programming multicore systems. Previous approaches to coping with it have focused on ... A video of my talk at PL-wonks on Friday, October 5, 2012. Last 5-10 minutes of the talk are missing, unfortunately.
Multicore computers are now the norm. Taking advantage of multiple cores requires
Stay tuned for more updates related to Practical Statically Checked Deterministic Parallelism.
