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 2018 Website Chair in Organizing Committee
SPLASH 2016 Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track