Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
This colloquium talk from the Allen School Colloquia Series features Jules Jacobs from Cornell University discussing programming language designs that prevent deadlocks and resource leaks. Explore how type system innovations can provide static guarantees that well-typed concurrent programs are both deadlock-free and resource leak-free by construction. Learn why even memory-safe languages like Go and Rust don't fully prevent these concurrency issues, and discover alternative approaches that eliminate these pitfalls through careful language design. Jules Jacobs, a computer science researcher specializing in programming languages, formal methods, and concurrency, shares insights from his work on deadlock-free type systems, concurrent separation logic for message passing, probabilistic programming, and automata-based verification of networking policies. The presentation is scheduled for February 27, 2025, and runs approximately 55 minutes.
