Michael Roberson

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Michael Roberson, Chandrasekhar Boyapati
Efficient modular glass box software model checking. OOPSLA (2010)
Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati
Efficient software model checking of soundness of type systems. OOPSLA (2008)
Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
A type system for preventing data races and deadlocks in the java virtual machine language: 1. LCTES (2007)
Dan Ruan, Jeffrey A. Fessler, Michael Roberson, James M. Balter, Marc L. Kessler
Nonrigid registration using regularization that accomodates local tissue rigidity. Medical Imaging: Image Processing (2006)