Arnab De
Arnab De
Software Engineer, Facebook Inc
Verified email at
Cited by
Cited by
Scalable flow-sensitive pointer analysis for java with strong updates
A De, D D’Souza
European Conference on Object-Oriented Programming, 665-687, 2012
Dataflow analysis for datarace-free programs
A De, D D’Souza, R Nasre
European Symposium on Programming, 196-215, 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
Access path based dataflow analysis for sequential and concurrent programs
A De
Indian Institute of Science, 2012
WOMM: a weak operational memory model
A De, A Roychoudhury, D D’Souza
International Symposium On Leveraging Applications of Formal Methods …, 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
Generating code in statically typed programming languages for dynamically typed array-based language
DE Arnab, FM Smith, D Gurchenkov
US Patent US20160357533A1, 2019
Automatic Predicate Abstraction of Single-Threaded Java Programs
A De
The system can't perform the operation now. Try again later.
Articles 1–8