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

더 보기