Registered user since Mon 22 Jan 2018

Name: Rohan Padhye

Affiliation: University of California, Berkeley

Personal website: https://people.eecs.berkeley.edu/~rohanpadhye

Research interests: Program Analysis, Automatic Test-Input Generation

Contributions