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. [Submitted]. PDF
Michael D. Bond, Milind Kulkarni, Meisam Fathi Salmi, Minjia Zhang, Swarnendu Biswas, Jipeng Huang and Aritra Sengupta. Octet: Practical Concurrency Control for Dynamic Analyses and Systems. Technical Report OSU-CISRC-7/12-TR13, Computer Science & Engineering, Ohio State University, 2012. [Submitted]. PDF
Research
: My
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.
Bond.
More details about our research group can be found here : PLaSS. Education
: 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) Experience:
I had
worked at Tata Consultancy Services Ltd. from Aug, 2008
till July, 2011. I have worked primarily on programming language
translation, program
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 About
Me: I am from Kolkata ( Calcutta), India. I am an
avid fan of the game of
Cricket and love playing the game too.
Contact Information:
Aritra Sengupta, Department of Computer Science and Engineering, 390, Dresse Lab, 2015 Neil Avenue, Columbus, Ohio 43210-1277. Ph: (614) 477-9964. Email: sengupta_AT_cse.ohio-state.edu
