Cuzz – Concurrency Fuzzing

Établi : February 6, 2012

Publications

Afficher par:

- 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 Projet
- 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 Projet
- 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 Projet
- 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

Personne

Madan Musuvathi

Partner Research Manager

Sebastian Burckhardt

Senior Principal Researcher