Contact Information:

profile

logo

Aritra Sengupta,
Department of Computer Science and Engineering,
395, Dreese Lab,
2015 Neil Avenue,
Columbus, Ohio 43210-1277.
Emails: sengupta.25@buckeyemail.osu.edu, a.sengupta@samsung.com




Research Interests Publications
 Education
 About Me


News:
1. I joined Samsung Research America (starting July 2017). Resume.
2. Defended my PhD Dissertation: Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware: Dissertation.
3. Paper on bounded region serializability using HTM accepted at CGO 2017. Presented the work at Austin on Feb 6, 2017.
4. Completed an internship at Microsoft Research. Worked with an amazing team on memory pressure aware server provisioning.
5. Presented a poster on bounded region serializability at OOPSLA 2015 student research competition.
6. Paper on enforcement of stronger memory model for Java accepted at PPPJ 2015. Presented the paper at Melbourne, Florida.
7. Passed PhD candidacy examination.
8. Paper on enforcement of strong semantics using hybrid static-dynamic analysis accepted at ASPLOS 2015. Presented the paper at Istanbul, Turkey.
9. Presented a poster on a novel technique to enforce serializability at PLDI 2013 student research competition.

Research
       I am interested in work related to runtimes, programming models, hardware and software TM, program analysis (static and dynamic analysis), and distributed systems/systems software for IoT. I completed my PhD. under the guidance of Prof. Michael D. Bond. Our research group at OSU: PLaSS. My research was directed towards low-overhead, state-of-the-art solutions that enforce strong semantics in ill-synchronized programs using hyrbid static-dynamic analysis, runtime support, compiler transformations, and software or hardware transactional memory, all on commodity hardware. I had the opportunity to collaborate with Prof. Milind Kulkarni at Purdue on several projects that are part of my PhD dissertation.
 
Currently I am a Researcher at Samsung Research, in SRA's Artificial Intelligence Center, looking into distributed systems in the context of "Smart" homes. My work here involves designing and building novel systems for IoT targeting reliability and explainability.

My academic CV is here: Resume.

Refereed Conference and Journal Publications:           


 Other Publications:            

Education: I completed my Ph.D. at The Ohio State University focusing on programming language and runtime systems for reliable concurrent programs. I have done my Bachelor of Technology in Computer Science and Engineering from Vellore Institute of Technology, India.

        Selected Courses:
  1. Foundations of Programming Languages (CSE 755)
  2. Analysis of Algorithms (CSE 780)
  3. Computer Architecture (CSE 775)
  4. Compiler Design and Impl. (CSE 756)
  5. Advanced Operating Systems (CSE 760)
  6. Computability and Complexity (CSE 6321)
  7. Distributed Algorithms (CSE 6333)
  8. Introduction to Parallel Computing (CSE 5441)
  9. Advanced Parallel Computing (CSE 6441)
  10. Dynamic Program Analysis and Runtime Systems Reliable Concurrent Software (CSE 5349)
  11. Compile-Time Program Analysis and Transformations (CSE 5239)
  12. Dynamic Analysis of Software (CSE 5239)

About Me: I am from Kolkata (Calcutta), India. I am an avid fan of the game of cricket and love playing the game too.