Media Summary: Presented at the 9th USENIX Symposium on Operating A video of my talk at PL-wonks on Friday, October 5, 2012. Last 5-10 minutes of the talk are missing, unfortunately. 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.

Efficient System Enforced Deterministic Parallelism - Detailed Analysis & Overview

Presented at the 9th USENIX Symposium on Operating A video of my talk at PL-wonks on Friday, October 5, 2012. Last 5-10 minutes of the talk are missing, unfortunately. 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. This video is part of an online course, Intro to Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti Achieving Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of ...

Nondeterminism is a key complication in programming multicore This talk presents feedback-driven adaptive algorithms for Presenter: Sung Kook Kim Presented at POPL'20.

Photo Gallery

Efficient System-Enforced Deterministic Parallelism
A Lattice-Based Approach to Deterministic Parallelism with Shared State
Concurrency Vs Parallelism!
Lindsey Kuper: Abstractions for Expressive, Efficient Parallel and Distributed Computing
Lindsey Kuper, "A Lattice-Based Approach to Deterministic Parallelism", MPI-SWS, 30 January 2013
Building A Power Efficient Processor - Intro to Parallel Programming
Monadic Composition for Deterministic, Parallel Batch Processing
Practical Statically-checked Deterministic Parallelism
Improving Parallel Programmability with Determinism
Automatic Parallelism Management
Writing Efficient Programs - Intro to Parallel Programming
Provably-Efficient Adaptive Scheduling with Parallelism Feedback
View Detailed Profile
Efficient System-Enforced Deterministic Parallelism

Efficient System-Enforced Deterministic Parallelism

Presented at the 9th USENIX Symposium on Operating

A Lattice-Based Approach to Deterministic Parallelism with Shared State

A Lattice-Based Approach to Deterministic Parallelism with Shared State

A video of my talk at PL-wonks on Friday, October 5, 2012. Last 5-10 minutes of the talk are missing, unfortunately.

Concurrency Vs Parallelism!

Concurrency Vs Parallelism!

Get a Free

Lindsey Kuper: Abstractions for Expressive, Efficient Parallel and Distributed Computing

Lindsey Kuper: Abstractions for Expressive, Efficient Parallel and Distributed Computing

Presented by: Lindsey Kuper

Lindsey Kuper, "A Lattice-Based Approach to Deterministic Parallelism", MPI-SWS, 30 January 2013

Lindsey Kuper, "A Lattice-Based Approach to Deterministic Parallelism", MPI-SWS, 30 January 2013

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.

Building A Power Efficient Processor - Intro to Parallel Programming

Building A Power Efficient Processor - Intro to Parallel Programming

This video is part of an online course, Intro to

Monadic Composition for Deterministic, Parallel Batch Processing

Monadic Composition for Deterministic, Parallel Batch Processing

Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti Achieving

Practical Statically-checked Deterministic Parallelism

Practical Statically-checked Deterministic Parallelism

Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of ...

Improving Parallel Programmability with Determinism

Improving Parallel Programmability with Determinism

Nondeterminism is a key complication in programming multicore

Automatic Parallelism Management

Automatic Parallelism Management

Sam Westrick (NYU) https://simons.berkeley.edu/talks/sam-westrick-nyu-2025-10-22 Managing

Writing Efficient Programs - Intro to Parallel Programming

Writing Efficient Programs - Intro to Parallel Programming

This video is part of an online course, Intro to

Provably-Efficient Adaptive Scheduling with Parallelism Feedback

Provably-Efficient Adaptive Scheduling with Parallelism Feedback

This talk presents feedback-driven adaptive algorithms for

Deterministic Parallel Fixpoint Computation

Deterministic Parallel Fixpoint Computation

Presenter: Sung Kook Kim Presented at POPL'20.