Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiayi Yang
conf.researchr.org general profile
ESEC/FSE 2020 profile
Not registered as user
Name:
Jiayi Yang
Affiliation:
University of Texas at Austin, USA
Contributions
2020
ESEC/FSE
Panelist of Conversations on SAT and Synthesis within the Paper Presentations-track
Author of AlloyMC: Alloy Meets Model Counting within the Tool Demos-track
Share
x
Sat 21 Dec 18:23