RohitImg

Rohit Singh

PhD Student

CSAIL, MIT

about

My goal is to develop techniques and tools using program synthesis to solve impactful problems in different areas of computer science.

research

Swapper

Swapper is a framework for automatically generating domain-specific rewriters for SMT problems and the Sketch Synthesis system. The generated problem rewriters are auto-tuned to performance of a specific solver for problems from a particular domain.

Entity Resolution using Program Synthesis

Bellmania-Compiler

Automatically Generating efficient SAT encodings

resume

Resume

contact

Contact

Email me at rohitsingh@csail.mit.edu