| Scalable flow-sensitive pointer analysis for java with strong updates A De, D D’Souza European Conference on Object-Oriented Programming, 665-687, 2012 | 59 | 2012 |
| Dataflow analysis for datarace-free programs A De, D D’Souza, R Nasre Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 16 | 2011 |
| Java memory model aware software validation A De, A Roychoudhury, D D'Souza Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2008 | 14 | 2008 |
| Access path based dataflow analysis for sequential and concurrent programs A De Indian Institute of Science, 2012 | 2* | 2012 |
| WOMM: a weak operational memory model A De, A Roychoudhury, D D’Souza Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 1 | 2010 |
| Java memory model aware software verification A De, A Roychoudhury, D D’Souza Technical report, 2008. http://clweb. csa. iisc. ernet. in/arnabde/opmm-full …, 0 | 1 | |
| Generating code in statically typed programming languages for dynamically typed array-based language DE Arnab, FM Smith, D Gurchenkov US Patent US20160357533A1, 2019 | | 2019 |
| Automatic Predicate Abstraction of Single-Threaded Java Programs A De | | |
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
