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

詳細はこちら