Cuzz – Concurrency Fuzzing

Established: February 6, 2012

Publications

View by:

- Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
  
  Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
  
  Programming Languages Design and Implementation | July 2012
  
  Programming Languages Design and Implementation
  
  Publication
- Effective Data-Race Detection for the Kernel
  
  John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
  
  Operating System Design and Implementation (OSDI'10) | October 2010
  
  Operating System Design and Implementation (OSDI'10)
  
  Publication Project
- A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
  
  Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
  
  Publication Publication

- Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
  
  Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
  
  Programming Languages Design and Implementation | July 2012
  
  Programming Languages Design and Implementation
  
  Publication
- Effective Data-Race Detection for the Kernel
  
  John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
  
  Operating System Design and Implementation (OSDI'10) | October 2010
  
  Operating System Design and Implementation (OSDI'10)
  
  Publication Project
- A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
  
  Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
  
  Publication Publication

- Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
  
  Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
  
  Programming Languages Design and Implementation | July 2012
  
  Programming Languages Design and Implementation
  
  Publication
- Effective Data-Race Detection for the Kernel
  
  John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
  
  Operating System Design and Implementation (OSDI'10) | October 2010
  
  Operating System Design and Implementation (OSDI'10)
  
  Publication Project
- A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
  
  Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
  
  Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
  
  Publication Publication

People

Madan Musuvathi

Partner Research Manager

Learn more

Sebastian Burckhardt

Senior Principal Researcher

Learn more