Nima Dini -

Not registered as user yet

Name: Nima Dini

Country: United States

Affiliation: University of Texas at Austin

Personal website: http://nimadini.net/

Contributions

SPIN 2019	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
ICSE 2020	Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
ISSTA 2017	Committee Member in Artifact Evaluation Committee within the Artifacts-track