Indian Institute of Technology Bombay

M.S Research Projects 2021

  • Available project openings

    As of now there are 5 projects available. Here is a partial list in no particular order of importance.

    1. Project Title: An Abstraction-Refinement based Translation Validator for GCC Compiler (GCC Validator)
      No. of Positions: 1
      Project Description:

        The reliability of an executable code critically depends on the reliability of the compiler used to generate the executable. Translation validation provides guarantees on the reliability of specific runs of a compiler by showing that it transforms a source program into a semantically equivalent target program. We want to build an end-to-end Translation Validation tool that takes as input a C program, and automatically proves or disproves the following for a run of the GCC compiler with all optimizations enabled: (a) The behavior of the program before and after each machine-independent intraprocedural optimization pass (called tree optimizations in GCC) are equivalent. (b) The behavior of the tree-optimized GIMPLE program (the intermediate representation of GCC) is equivalent to the register transfer language (RTL) program obtained by the expansion pass of GCC. (c) The behavior of the program before and after each machine dependent RTL-optimization pass are equivalent. (d) If the semantics are not equivalent for any of the above passes, the tool will generate a counterexample as a witness. We will evaluate the effectiveness of our translation validator on the standard benchmark, SPEC2006.

      For more information about this project, please refer to this presentation. (Here are the accompanying slides.)


    2. Project Title: Cryo-Electron Microscopy (Cryo-Electron Microscopy)
      No. of Positions: 1
      Project Description:

    3. Project Title: Indic Language Machine Translation Workbench (Machine Translation)
      No. of Positions: 1
      Project Description:

        To address challenges in Indian language Machine translation and associated resource constraints, we propose an open and accessible ecosystem for english to native language translation, which will allow a range of participants to contribute to translation of texts into Indian languages in a cost effective manner. The core of this ecosystem is built around a Machine assisted translation system to augment human translators capabilities for higher efficiency and effectiveness which further brings down the cost of translation and turn around time with increased and consistent quality. The planned platform is intended to be available as complete translation workbench and allow consistent and high quality translation, while reducing the incremental cost of translating a document. The platform should ideally reduce the skill-set barrier for the translators to allow community participation for initial draft translation of any translation. Such an end-goal could be facilitated by maintaining the quality profile of translators, reviewers, proofreaders, etc.


    4. Project Title Smart Question Repository and Paper Generator (Smart Tests)
      No. of Positions: 2
      Faculty: Prof. Kameswari Chebrolu
      Project Description:
      Build a secure question bank that can be used in a collaborative fashion to store a variety of question types with appropriate tags. Question can be input via web interface, file template based upload (for new questions), pdf/latex (for past question papers). Process uploaded questions using machine intelligence to detect duplicates/variants and also auto-tag based on concepts. Generate question papers that leverages the question based on instructor entered specification.

    5. Project Title: Smart Authenticated Fast Exams (SAFE)
      No. of Positions: 2
      Faculty : Prof. Bhaskaran Raman & Prof. Kameswari Chebrolu
      Project Description:
      Details are available here.