Michael Roberson

	2008
2		Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati: Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504
	2007
1		Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati: A type system for preventing data races and deadlocks in the java virtual machine language: 1. LCTES 2007: 10

Coauthor Index

1	Chandrasekhar Boyapati	[1] [2]
2	Paul T. Darga	[2]
3	Melanie Harries	[2]
4	Pratibha Permandla	[1]