| Deepsim: deep learning code functional similarity G Zhao, J Huang Proceedings of the 2018 26th ACM joint meeting on european software …, 2018 | 302 | 2018 |
| Maximal sound predictive race detection with control flow abstraction J Huang, PON Meredith, G Rosu Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 244 | 2014 |
| Clap: Recording local executions to reproduce concurrency failures J Huang, C Zhang, J Dolby Acm Sigplan Notices 48 (6), 141-152, 2013 | 178 | 2013 |
| ROSRV: Runtime verification for robots J Huang, C Erdogan, Y Zhang, B Moore, Q Luo, A Sundaresan, G Rosu Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 157 | 2014 |
| LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs J Huang, P Liu, C Zhang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 154 | 2010 |
| Functional code clone detection with syntax and semantics fusion learning C Fang, Z Liu, Y Shi, J Huang, Q Shi Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020 | 143 | 2020 |
| Stateless model checking concurrent programs with maximal causality reduction J Huang ACM SIGPLAN Notices 50 (6), 165-174, 2015 | 109 | 2015 |
| Persuasive prediction of concurrency access anomalies J Huang, C Zhang Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 97 | 2011 |
| Attacking the brain: Races in the {SDN} control plane L Xu, J Huang, S Hong, J Zhang, G Gu 26th USENIX Security Symposium (USENIX Security 17), 451-468, 2017 | 96 | 2017 |
| EHBDroid: Beyond GUI testing for Android applications W Song, X Qian, J Huang 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 88 | 2017 |
| Efficiently programming large language models using sglang L Zheng, L Yin, Z Xie, J Huang, C Sun, C Hao Yu, S Cao, C Kozyrakis, ... arXiv e-prints, arXiv: 2312.07104, 2023 | 61 | 2023 |
| Securing unsafe rust programs with XRust P Liu, G Zhao, J Huang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 53 | 2020 |
| D4: fast concurrency debugging with parallel differential analysis B Liu, J Huang ACM SIGPLAN Notices 53 (4), 359-373, 2018 | 53 | 2018 |
| Maximal causality reduction for TSO and PSO S Huang, J Huang ACM SIGPLAN Notices 51 (10), 447-461, 2016 | 53 | 2016 |
| ECHO: instantaneous in situ race detection in the IDE S Zhan, J Huang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 48 | 2016 |
| GPredict: Generic predictive concurrency analysis J Huang, Q Luo, G Rosu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 45 | 2015 |
| Automated generation of event-oriented exploits in android hybrid apps G Yang, J Huang Proc. of the Network and Distributed System Security Symposium (NDSS'18), 2018 | 42 | 2018 |
| Study and mitigation of origin stripping vulnerabilities in hybrid-postmessage enabled mobile applications G Yang, J Huang, G Gu, A Mendoza 2018 IEEE Symposium on Security and Privacy (SP), 742-755, 2018 | 40 | 2018 |
| Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction J Huang, C Zhang Proceedings of the ACM international conference on Object oriented …, 2012 | 39 | 2012 |
| VRust: Automated vulnerability detection for solana smart contracts S Cui, G Zhao, Y Gao, T Tavu, J Huang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 38 | 2022 |
