Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nima Dini
conf.researchr.org general profile
ICSE 2020 profile
ISSTA 2017 profile
ISSTA 2019 profile
Not registered as user yet
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
Share
x
Wed 11 Dec 20:24