Aritra Sengupta, Swarnendu Biswas, Michael D. Bond and Milind Kulkarni. EnforSCer: Hybrid
Static–Dynamic Analysis for End-to-End Sequential Consistency in Software. Technical Report
OSU-CISRC-11/12-TR18, Computer Science & Engineering, Ohio State University, 2012. PDF
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta and Jipeng
Huang. Octet: Capturing and Controlling Cross-Thread Dependences Efficiently OOPSLA 2013. PDF
area of interest is Program Analysis. Currently, I am working on
development of analyses for solving concurrency issues in
multi-threaded programs. I am working under the guidance of Prof. Michael D.
More details about our research group can be found here : PLaSS.
: I am a graduate student pursuing Ph.D. in Computer
Science and Engineering. Prior to joining
Ohio State Univeristy,
I have done my Bachelor of Technology in Computer Science and
Engineering from Vellore Institute of Technology, India. (June 2004
- May 2008)
worked at Tata Consultancy Services Ltd. from Aug, 2008
till July, 2011. I have worked primarily on programming language
analysis, and migration of legacy systems to other platforms. I have
worked on inter language migration issues (e.g C calling COBOL
libraries, encryption algorithms in C with bit level operations etc.).
I have also been involved in developments based on core Java. My academic projects were related to rule based expert systems,
principal component analysis, and web-developments as well. For more
details please refer Resume
Me: I am from Kolkata ( Calcutta), India. I am an
avid fan of the game of
Cricket and love playing the game too.
Department of Computer Science and Engineering,
390, Dresse Lab,
2015 Neil Avenue,
Columbus, Ohio 43210-1277.
Ph: (614) 477-9964.