Han Shi

Precise Condition Synthesis for Program Repair

Yingfei Xiong, Jie Wang, Runfa Yan et al. · 2017 · 313 citations

Computing, Computer Engineering, Computer Science +13

Systematically Debugging IoT Control System Correctness for Building Automation

Chieh-Jan Mike Liang, Lei Bu, Zhao Li et al. · 2016 · 59 citations

Computing, Computer Science, Systems Engineering +14

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems

Lei Bu, Wenjie Xiong, Chieh-Jan Mike Liang et al. · ACM Transactions on Cyber-Physical Systems · 2018 · 41 citations · Full text

Engineering, Computer Engineering, Systems Engineering +7

Multi-objective Neural Architecture Search via Predictive Network Performance Optimization

Han Shi, Renjie Pi, Hang Xu et al. · 2019 · 33 citations

Computing, Computer Engineering, Computer Science +17

“Not waiting for the storm to pass, but dancing in the rain”: professional identity construction of efl teachers at tutoring institutions

Han Shi, Yunsong Wang, Yongliang Wang · Asian-Pacific Journal of Second and Foreign Language Education · 2025 · 11 citations · Full text

Education, Teacher Education, Teaching +14