Lefan Zhang -

Registered user since Thu 13 Dec 2018

Name:Lefan Zhang

Affiliation:The University of Chicago

Contributions

2019

ICSE

Author of AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties within the Technical Track-track