NimitSinghania.pdfVIP

Nimit Singhania University of Pennsylvania +1 (215) 605-0424 3330 Walnut Street, Levine Hall nimits@ Philadelphia, PA, US - 19104 /~nimits Expertise - Theory and systems for program analysis and verification - Worked on large scale research projects for tools to improve user productivity - Application of constraint solvers and machine learning techniques Education Ph.D., Computer Science, University of Pennsylvania, US 2013 - Present Advisor: Rajeev Alur B.Tech., Computer Science, Indian Institute of Technology Kanpur, India 2006 - 2010 Work Experience Research Assistant, University of Pennsylvania, US 2013 - Present Precise Piecewise Affine Models from Input-Output Data - Developed a technique to learn piecewise linear functions from input-output data - Novel combination of Linear Regression and Linear Constraint Solving - Implemented a prototype tool in Matlab; evaluated it against existing techniques - better test performance with small increase in the size of the learnt functions Software Engineer, IBM Research, Delhi, India 2010 - 2013 Symbolic Bug Detection - Scalable and precise analysis technique to check feasibility of bug at a program location - Developed an algorithm to reuse analysis for modules in different program contexts - Implemented a tool in Java using a static analysis framework for Java byte code, WALA and SMT Solvers, CVC4 and MathSat 5 Automating Test Automation - Tool to automate Web GUI testing and generate executable scripts from manual test scripts - Developed the backend responsible for interactions with the web application - Designed an algorithm to identify change-resilient representatio