Follow
Lefan Zhang
Lefan Zhang
Verified email at uchicago.edu
Title
Cited by
Cited by
Year
AutoTap: Synthesizing and repairing trigger-action programs using LTL properties
L Zhang, W He, J Martinez, N Brackenbury, S Lu, B Ur
2019 IEEE/ACM 41st international conference on software engineering (ICSE …, 2019
792019
When smart devices are stupid: negative experiences using home smart devices
W He, J Martinez, R Padhi, L Zhang, B Ur
2019 IEEE Security and Privacy Workshops (SPW), 150-155, 2019
392019
Trace2tap: Synthesizing trigger-action programs from traces of behavior
L Zhang, W He, O Morkved, V Zhao, ML Littman, S Lu, B Ur
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2020
232020
Visualizing differences to improve end-user understanding of trigger-action programs
V Zhao, L Zhang, B Wang, S Lu, B Ur
Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing …, 2020
212020
Understanding trigger-action programs through novel visualizations of program differences
V Zhao, L Zhang, B Wang, ML Littman, S Lu, B Ur
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021
132021
Prototyping energy harvesting powered systems with nonvolatile processor
Y Wu, Y Sun, Z Jia, L Zhang, Y Liu, J Hu
2018 International Symposium on Rapid System Prototyping (RSP), 49-55, 2018
82018
An extensible system simulator for intermittently-powered multiple-peripheral IoT devices
T Wu, L Zhang, H Yang, Y Liu
Proceedings of the 6th International Workshop on Energy Harvesting & Energy …, 2018
52018
Helping Users Debug Trigger-Action Programs
L Zhang, C Zhou, ML Littman, B Ur, S Lu
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2023
32023
Correctness Session
C Wan, L Zhang
Barking up the Wrong Tree: Correctness & Debugging
C Wan, L Zhang
The system can't perform the operation now. Try again later.
Articles 1–10