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