15,000+ Scientists & Academics
3,000+ Scientific disciplines
7,000+ Projects posted
Trusted by 2,500+ businesses
Why Kolabtree
  • Getting started is quick and easy. No upfront fees
  • It’s free to request a service and invite bids from experts
  • Discuss the project scope and fee and hire the expert who best meets your requirements
  • Collaborate with the expert directly to get your work done the right way
  • Fund project when you hire the expert, but release the funds only once work is done
Want to hire this expert for a project? Request a quote for free.
Profile Details
Hire Dr. Nishant Sinha
USD 150 per hour
India

Deep Learning Researcher and Engineer

Summary
Subject Matter Expertise
Services
Work Experience
  • Independent Researcher, Consultant, Educator

    OffNote Labs

    January 2016 - Present

  • Research Scientist

    IBM Research

    January 2011 - January 2016

  • IBM Research

    2011 - 2016

  • Research Staff member

    NEC Labs

    January 2007 - January 2011

Education
  • Ph.D.

    Carnegie Mellon University

    January 2001 - January 2007

  • Ph.D.

    Carnegie Mellon University

    2001 - 2007

  • B. Tech. (Computer Science)

    IIT Kharagpur

    January 1997 - January 2001

Publications
    CONFERENCE PAPER
  • Chen, Yu-Fang and Hong, Chih-Duo and Leng{\'a}l, Ond{\v{r}}ej and Mu, Shin-Cheng and Sinha, Nishant and Wang, Bow-Yaw(2017). An executable sequential specification for Spark aggregation. International Conference on Networked Systems. p. 421--438.
  • Sung, Chungha and Kusano, Markus and Sinha, Nishant and Wang, Chao(2016). Static DOM event dependency analysis for testing web applications. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. p. 447--459.
  • Dhok, Monika and Ramanathan, Murali Krishna and Sinha, Nishant(2016). Type-aware concolic testing of JavaScript programs. Proceedings of the 38th International Conference on Software Engineering. p. 168--179.
  • Chen, Yu-Fang and Hong, Chih-Duo and Sinha, Nishant and Wang, Bow-Yaw(2015). Commutativity of reducers. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. p. 131--146.
  • Sinha, Nishant and Karim, Rezwana and Gupta, Monika(2015). Simplifying web programming. Proceedings of the 8th India Software Engineering Conference. p. 80--89.
  • Sinha, Nishant and Karim, Rezwana(2015). Responsive designs in a snap. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. p. 544--554.
  • Murali, Vijayaraghavan and Sinha, Nishant and Torlak, Emina and Chandra, Satish(2014). What gives? A hybrid algorithm for error trace explanation. Working Conference on Verified Software: Theories, Tools, and Experiments. p. 270--286.
  • Chaki, Sagar and Gurfinkel, Arie and Sinha, Nishant(2014). Efficient verification of periodic programs using sequential consistency and snapshots. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. p. 51--58.
  • Sinha, Nishant and Karim, Rezwana(2013). Compiling mockups to flexible uis. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. p. 312--322.
  • Thummalapenta, Suresh and Lakshmi, K Vasanta and Sinha, Saurabh and Sinha, Nishant and Chandra, Satish(2013). Guided test generation for web applications. Proceedings of the 2013 International Conference on Software Engineering. p. 162--171.
  • Sinha, Nishant and Singhania, Nimit and Chandra, Satish and Sridharan, Manu(2012). Alternate and learn: Finding witnesses without looking all over. International Conference on Computer Aided Verification. p. 599--615.
  • Yang, Jing and Balakrishnan, Gogul and Maeda, Naoto and Ivan{\v{c}}i{\'c}, Franjo and Gupta, Aarti and Sinha, Nishant and Sankaranarayanan, Sriram and Sharma, Naveen(2012). Object model construction for inheritance in c++ and its applications to program analysis. International Conference on Compiler Construction. p. 144--164.
  • Sinha, Nishant and Wang, Chao(2011). On interference abstractions. ACM SIGPLAN Notices. 46. (1). p. 423--434.
  • Sinha, Nishant(2010). Modular bug detection with inertial refinement. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. p. 199--206.
  • (2010). Staged concurrent program analysis. Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. p. 47--56.
  • (2010). Scalable and precise program analysis at nec. Formal Methods in Computer-Aided Design (FMCAD), 2010. p. 273--274.
  • Singh, Atul and Sinha, Nishant and Agrawal, Nitin(2010). Avatars for pennies: Cheap n-version programming for replication. 6th Workshop on Hot Topics in System Dependability.
  • Kahlon, Vineet and Sinha, Nishant and Kruus, Erik and Zhang, Yun(2009). Static data race detection for concurrent programs with asynchronous calls. Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. p. 13--22.
  • Sinha, Nishant(2008). Symbolic program analysis using term rewriting and generalization. Formal Methods in Computer-Aided Design, 2008. FMCAD'08. p. 1--9.
  • Sinha, Nishant and Clarke, Edmund(2007). SAT-based compositional verification using lazy learning. International Conference on Computer Aided Verification. p. 39--54.
  • Chaki, Sagar and Sinha, Nishant(2006). Assume-guarantee reasoning for deadlock. Formal Methods in Computer Aided Design, 2006. FMCAD'06. p. 134--144.
  • Kahlon, Vineet and Gupta, Aarti and Sinha, Nishant(2006). Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. International conference on computer aided verification. p. 286--299.
  • Chaki, Sagar and Clarke, Edmund and Sinha, Nishant and Thati, Prasanna(2005). Automated assume-guarantee reasoning for simulation conformance. International Conference on Computer Aided Verification. p. 534--547.
  • Sharygina, Natasha and Chaki, Sagar and Clarke, Edmund and Sinha, Nishant(2005). Dynamic component substitutability analysis. International Symposium on Formal Methods. p. 512--528.
  • Clarke, Edmund and Sharygina, Natasha and Sinha, Nishant(2005). Program compatibility approaches. International Symposium on Formal Methods for Components and Objects. p. 243--258.
  • Chaki, Sagar and Clarke, Edmund M and Ouaknine, Jo{\"e}l and Sharygina, Natasha and Sinha, Nishant(2004). State/event-based software model checking. International Conference on Integrated Formal Methods. p. 128--147.
  • Talupur, Muralidhar and Sinha, Nishant and Strichman, Ofer and Pnueli, Amir(2004). Range allocation for separation logic. International Conference on Computer Aided Verification. p. 148--161.
  • Samanta, Debasis and Sinha, Nishant and Pal, Ajit(2002). Synthesis of high performance low power dynamic cmos circuits. Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design. p. 99--104.
  • Badrinath, R and Mitra, Abhijit and Sinha, Nishant and Mukherjee, Niloy(2001). Real-time performance modeling of (3G) UMTS system. Enabling Technologies for 3G and Beyond. 4529. p. 46--57.
    OTHER
  • Chandra, Satish and Thummalapenta, Suresh and Sinha, Nishant and Sinha, Saurabh and Vaishampayan, Anand and Lakshmi, Vasanta K(2015). Generating test cases for covering enterprise rules and predicates.
  • Chandra, Satish and Lakshmi, Kommineni Vasanta and Sinha, Nishant and Sinha, Saurabh and Thummalapenta, Suresh and Vaishampayan, Anand Krishna(2014). Efficiently generating test cases.
  • Balakrishnan, Gogul and Maeda, Naoto and Ivancic, Franjo and Sinha, Nishant and Gupta, Aarti and Yang, Jing(2014). Embedding class hierarchy into object models for multiple class inheritance.
  • Sinha, Nishant and Wang, Chao(2013). Systems and methods for concurrency analysis.
  • Sinha, Nishant and Wang, Chao(2013). Precise thread-modular summarization of concurrent programs.
  • Kahlon, Vineet and Sinha, Nishant and Zhang, Yun and Kruus, Eric J(2013). Fast and accurate data race detection for concurrent programs with asynchronous calls.
  • Sinha, Nishant(2012). Modular bug detection with inertial refinement.
  • Wang, Chao and Mahmoud, SAID and Gupta, Aarti and Kahlon, Vineet and Sinha, Nishant(2012). Dynamic test generation for concurrent programs.
  • Sinha, Nishant(2012). Symbolic program analysis using term rewriting and generalization.
  • Sinha, Nishant(2007). Automated compositional analysis for checking component substitutability. Dissertation Abstracts International. 68. (11).
    JOURNAL ARTICLE
  • Chaki, Sagar and Clarke, Edmund and Sharygina, Natasha and Sinha, Nishant(2008). Verification of evolving software via component substitutability analysis. Formal Methods in System Design. 32. (3). p. 235--266. Springer US
  • Clarke, Edmund and Jain, Himanshu and Sinha, Nishant(2006). Grand challenge: Model check software. NATO Security through Science Series D-Information and Communication Security. 1. p. 55. IOS PRESS
  • Sinha, Nishant and Chaki, Sagar(2006). Assume-Guarantee Reasoning for Deadlock.
  • Chaki, Sagar and Clarke, Edmund and Ouaknine, Jo{\"e}l and Sharygina, Natasha and Sinha, Nishant(2005). Concurrent software verification with states, events, and deadlocks. Formal Aspects of Computing. 17. (4). p. 461--483. Springer-Verlag
  • Chaki, Sagar and Sharygina, Natasha and Sinha, Nishant(2004). Verification of evolving software. Citeseer
  • Sharygina, Sagar Chaki Natasha and Sinha, Nishant(2004). Verification of evolving software. SAVCBS 2004 Specification and Verification of Component-Based Systems. p. 55.
  • (2003). Symbolic model checking of software. Electronic notes in theoretical computer science. 89. (3). p. 480--498. Elsevier Science
  • Sinha, Nishant(2002). Language CL.
  • Sinha, Nishant and Singhania, Nimit and Chandra, Satish and Sridharan, ManuAlternate and Learn: Finding witnesses without.
  • Sharygina, Sagar Chaki Jo{\"o}el Ouaknine Natasha and Sinha, NishantState/Event-based Software Model Checking.
    REPORT
  • Ivers, James and Sinha, Nishant and Wallnau, Kurt(2002). A basis for composition language CL.