关注
Arnab De
Arnab De
Software Engineer, Facebook Inc
在 fb.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Scalable flow-sensitive pointer analysis for java with strong updates
A De, D D’Souza
European Conference on Object-Oriented Programming, 665-687, 2012
552012
Dataflow analysis for datarace-free programs
A De, D D’Souza, R Nasre
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
162011
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
142008
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
12010
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
系统目前无法执行此操作,请稍后再试。
文章 1–8