Jonsson & Sagonas; Testing and Verifying Concurrent Algorithms Using Stateless Model Checking
41:42
Claes Redestad: Scaling the OpenJDK
27:58
Felix Mulder: Programming Multicores in Scala - past, present and future
31:00
Sylvan Clebsch: Language Runtimes for Parallel Programming: Weak Memory, and Program Order
29:30
Lars Carlsson: Machine Learning For Smarter Drug Discovery
32:26
Alberto Ros: Non-Speculative Reordering of Memory Operations with Strong Consistency
20:24
Fails You May Have Missed | Instant Regret 😔
43:55
Die Assads: Wie eine Familie Syrien terrorisierte | WDR Doku
31:03