| 2014 |
— |
conf |
GRADES
Raghavan Raman, Oskar van Rest, Sungpack Hong, Zhe Wu, Hassan Chafi, Jay Banerjee
|
| 2014 |
A* |
conf |
PLDI
Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar
|
| 2013 |
— |
conf |
GRADES
Sungpack Hong, Jan Van Der Lugt, Adam Welc, Raghavan Raman, Hassan Chafi
|
| 2013 |
— |
conf |
GRADES
Adam Welc, Raghavan Raman, Zhe Wu, Sungpack Hong, Hassan Chafi, Jay Banerjee
|
| 2012 |
J |
jnl |
Formal Methods Syst. Des.
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
|
| 2012 |
A* |
conf |
PLDI
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
|
| 2011 |
— |
conf |
PPPJ
Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar
|
| 2011 |
— |
conf |
OOPSLA Companion
Vincent Cavé, Jarred Payne, Raghavan Raman, Mathias Ricken, Corky Cartwright, Vivek Sarkar
|
| 2011 |
— |
conf |
OOPSLA Companion
Zoran Budimlic, Vincent Cavé, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Jisheng Zhao, Vivek Sarkar
|
| 2010 |
B |
conf |
SAS
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar
|
| 2010 |
B |
conf |
RV
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
|
| 2009 |
— |
conf |
OOPSLA Companion
Rajkishore Barik, Zoran Budimlic, Vincent Cavé, Sanjay Chatterjee, Yi Guo, David M. Peixotto, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Yonghong Yan, Yisheng Zhao, Vivek Sarkar
|
| 2009 |
A |
conf |
IPDPS
Yi Guo, Rajkishore Barik, Raghavan Raman, Vivek Sarkar
|