| |
| 2008 | ||
|---|---|---|
| 2 | EE | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati: Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504 |
| 2007 | ||
| 1 | EE | 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 |
| 1 | Chandrasekhar Boyapati | [1] [2] |
| 2 | Paul T. Darga | [2] |
| 3 | Melanie Harries | [2] |
| 4 | Pratibha Permandla | [1] |