Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond and Milind
Kulkarni. EnfoRSer: Hybrid Static-Dynamic Analysis for Region
Serializability. Technical Report OSU-CISRC-11/12-TR18, updated
November 2013. Computer Science & Engineering, Ohio State
University, 2012. PDF
- Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond.
DoubleChecker: Efficient Sound and Precise Atomicity Checking. To appear in PLDI 2014 . Before the final version is available the link to the TR is here: 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
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)
Me: I am from Kolkata ( Calcutta), India. I am an
avid fan of the game of
Cricket and love playing the game too. My academic CV is here:
Department of Computer Science and Engineering,
390, Dresse Lab,
2015 Neil Avenue,
Columbus, Ohio 43210-1277.
Ph: (614) 477-9964.