Rohit Singh

Registered user since Sat 13 Aug 2016

Name: Rohit Singh

Country: United States

Affiliation: CSAIL, MIT

Personal website: http://rohitsingh.net

Research interests: Programming Languages, Machine Learning, Constraint Solving

Contributions

POPL 2018Website Chair in Organizing Committee
SPLASH 2016Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track