17.01.2013 Views

Resume - Computer Science & Engineering, Department of

Resume - Computer Science & Engineering, Department of

Resume - Computer Science & Engineering, Department of

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Aritra Sengupta<br />

Curriculum Vitae<br />

Research Interest<br />

395 Dreese Laboratories<br />

2015 Neil Avenue<br />

Columbus, Ohio<br />

H (+1) 614-477-9964<br />

B sengupta@cse.ohio-state.edu<br />

PhD student at Ohio State University<br />

Programming Languages, Runtime Systems, Program Analysis, Compilers, Code Optimization,<br />

Concurrency Bugs, Memory Models.<br />

Education<br />

9/2011–current PhD. in Programming Languages, <strong>Computer</strong> <strong>Science</strong> and <strong>Engineering</strong> <strong>Department</strong>,<br />

Ohio State University, Columbus, Ohio.<br />

GPA: 3.95/4 (http://www.cse.ohio-state.edu)<br />

6/2004–6/2008 B.Tech in <strong>Computer</strong> <strong>Science</strong> and <strong>Engineering</strong>, School <strong>of</strong> <strong>Computer</strong> <strong>Science</strong> and <strong>Engineering</strong>,<br />

Vellore Institute <strong>of</strong> Technology University, Vellore, India.<br />

GPA: 9.29/10 (http://www.vit.ac.in)<br />

Publications<br />

Aritra Sengupta, Swarnendu Biswas, Michael D. Bond and Milind Kulkarni. EnforSCer: Hybrid<br />

Static–Dynamic Analysis for End-to-End Sequential Consistency in S<strong>of</strong>tware. Technical Report<br />

OSU-CISRC-11/12-TR18, <strong>Computer</strong> <strong>Science</strong> & <strong>Engineering</strong>, Ohio State University, 2012. [Submitted].<br />

Michael D. Bond, Milind Kulkarni, Meisam Fathi Salmi, Minjia Zhang, Swarnendu Biswas, Jipeng<br />

Huang and Aritra Sengupta. Octet: Practical Concurrency Control for Dynamic Analyses and<br />

Systems. Technical Report OSU-CISRC-7/12-TR13, <strong>Computer</strong> <strong>Science</strong> & <strong>Engineering</strong>, Ohio State<br />

University, 2012. [Submitted].<br />

Related Work Experience<br />

9/2011–Present Research Assistant, <strong>Computer</strong> <strong>Science</strong> and <strong>Engineering</strong> <strong>Department</strong>, Ohio State University,<br />

Columbus, Ohio.<br />

Research at the PLaSS group involves development <strong>of</strong> analyses inside the JVM to solve concurrency<br />

issues in multi-threaded programs. In particular, my current research project uses a combination <strong>of</strong><br />

static and dynamic analysis to enforce sequential consistency (SC) in s<strong>of</strong>tware. This is a novel technique<br />

which ensures end-to-end SC at reasonable overheads without any customization <strong>of</strong> hardware.<br />

1/2011–7/2011 Systems Engineer, Tata Consultancy Services (TCS), Kolkata, India.<br />

Developments in Core Java and Java Struts<br />

8/2008–12/2010 Systems Engineer, Tata Consultancy Services (TCS), Kolkata, India.<br />

Migration <strong>of</strong> Algol code in legacy systems to C/C++, Interfacing C libraries with COBOL.<br />

Honors and Awards<br />

2011-2012 Awarded “University Fellowship”, graduate student fellowsip, Ohio State University.<br />

4/2010 Secured “Star <strong>of</strong> the Month” award via TCS Gems as recognition <strong>of</strong> contribution to strategy,<br />

design, and implementation <strong>of</strong> a language migration project, undertaken by Tata Consultancy<br />

Services, India.<br />

11/2008 Secured “Initial Learning Program Top Performer” award via TCS Gems in the first phase<br />

<strong>of</strong> training at Tata Consultancy Services, India.<br />

2006-2008 Awarded merit certificate and scholarship in three consecutive years 2006, 2007, 2008 for<br />

academic performance at Vellore Institute <strong>of</strong> Technology University, Vellore, India.<br />

1/2


2004 Awarded merit certificate for academic performance in Physics, Chemistry and Mathematics<br />

in Indian School Certificate Examination.<br />

<strong>Computer</strong> skills<br />

• Familiar with Jikes RVM.<br />

• Familiar with the components <strong>of</strong> managed languages: JIT compiler, optimizing compiler.<br />

• Data-flow and control-flow analysis on intermediate represenation, dynamic analysis in<br />

JVM.<br />

• Have worked in ROSE compiler framework, Soot: a Java optimization framework.<br />

2/2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!