Workshop at ECOOP PC meeting in Zurich. See the slides.Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) 2015. See the slides.
Workshop on Highly Scalable Distributed Systems (Paris, Jan 2015). See the slides.
Princeton University, University of Pennsylvania (Nov. 2014). See the slides.
Workshop on Principles and Practice of Eventual Consistency (PaPEC) 2014. See the slides.
SPLASH-I talk in Indianapolis, 2013. See the slides.
Programming Language Techniques for Incremental and Reactive Computing (Oct. 2016)
Concurrent computing in the many-core era (Jan. 2015), see the slides.
Consistency in Distributed Systems (Feb. 2013), see the slides.
Multi-Core Memory Models and Concurrency Theory (Jan. 2010), see the slides.
- NSF panelist
Established: February 6, 2012
Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined way, using an algorithm that provides probabilistic coverage guarantees. Cuzz is very scalable and can run on large programs that create lots of threads. It is available as part of AppVerifier. You can find out more about Cuzz from…