Research
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
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)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
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)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
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)
Senior Principal Researcher