Nima Dini -

Not registered as user

Name:Nima Dini

Country:United States

Affiliation:University of Texas at Austin

Personal website: http://nimadini.net/

Contributions

2020

ICSE

Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track

2019

SPIN

Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track

2017

ISSTA

Committee Member in Artifact Evaluation Committee within the Artifacts-track