Department of Computer Science and Engineering
Indian Institute of Technology Bombay,
Powai, Mumbai 400076
Main office : Kanwal Rekhi Building.
Tel: +91-22-2576 7901/02
© 2017 -
As of now there are 5 projects available.
Here is a partial list in no particular order of importance.
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,
For more information about this project, please refer to this presentation. (Here are the accompanying slides.)
Please refer to this link for a 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.