Cuzz – Concurrency Fuzzing

成立时间：February 6, 2012

论文与出版物

查看方式：

- 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
  
  论文与出版物
- 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)
  
  论文与出版物项目
- 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)
  
  论文与出版物论文与出版物

- 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
  
  论文与出版物
- 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)
  
  论文与出版物项目
- 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)
  
  论文与出版物论文与出版物

- 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
  
  论文与出版物
- 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)
  
  论文与出版物项目
- 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)
  
  论文与出版物论文与出版物

人员

Madan Musuvathi

Partner Research Manager

Sebastian Burckhardt

Senior Principal Researcher