Michael Roberson

According to our database, Michael Roberson authored at least 5 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Glass Box Software Model Checking.

Michael Roberson

PhD thesis, 2011

2010

Efficient modular glass box software model checking.

Michael Roberson, Chandrasekhar Boyapati

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Efficient software model checking of soundness of type systems.

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A type system for preventing data races and deadlocks in the java virtual machine language: 1.

Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

2006

Nonrigid registration using regularization that accomodates local tissue rigidity.

Dan Ruan, Jeffrey A. Fessler, Michael Roberson, James M. Balter, Marc L. Kessler

Proceedings of the Medical Imaging 2006: Image Processing, 2006