Is ChatGPT the ultimate programming assistant--how far is it? H Tian, W Lu, TO Li, X Tang, SC Cheung, J Klein, TF Bissyandé arXiv preprint arXiv:2304.11938, 2023 | 262 | 2023 |
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting TO Li, W Zong, Y Wang, H Tian, Y Wang, SC Cheung arXiv preprint arXiv:2304.11686, 2023 | 68* | 2023 |
Uranus: Simple, efficient sgx programming and its applications J Jiang, X Chen, TO Li, C Wang, T Shen, S Zhao, H Cui, CL Wang, ... Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020 | 30 | 2020 |
Owl: Understanding and detecting concurrency attacks S Zhao, R Gu, H Qiu, TO Li, Y Wang, H Cui, J Yang 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 29 | 2018 |
Is ChatGPT the Ultimate Programming Assistant–How far is it?(2023) H Tian, W Lu, TO Li, X Tang, SC Cheung, J Klein, TF Bissyandé arXiv preprint arXiv:2304.11938, 2023 | 19 | 2023 |
Comet: Coverage-guided model generation for deep learning library testing M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung ACM Transactions on Software Engineering and Methodology 32 (5), 1-34, 2023 | 18 | 2023 |
Efficient and DoS-resistant consensus for permissioned blockchains X Chen, S Zhao, J Qi, J Jiang, H Song, C Wang, T On Li, TH Hubert Chan, ... ACM SIGMETRICS Performance Evaluation Review 49 (3), 61-62, 2022 | 15 | 2022 |
{vSMT-IO}: Improving {I/O} Performance and Efficiency on {SMT} Processors in Virtualized Clouds W Jia, J Shan, TO Li, X Shang, H Cui, X Ding 2020 USENIX Annual Technical Conference (USENIX ATC 20), 449-463, 2020 | 12 | 2020 |
Differential spectral normalization (DSN) for PDE discovery CC So, TO Li, C Wu, SP Yung Proceedings of the AAAI Conference on Artificial Intelligence 35 (11), 9675-9684, 2021 | 9 | 2021 |
Is ChatGPT the ultimate programming assistant–How far is it? arXiv H Tian, W Lu, TO Li, X Tang, SC Cheung, J Klein, TF Bissyandé | 5 | 2023 |
Upa: An automated, accurate and efficient differentially private big-data mining system TO Li, J Jiang, J Qi, CC So, J Ma, X Chen, T Shen, H Cui, Y Wang, ... 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020 | 3 | 2020 |
Fulva: Efficient live migration for in-memory key-value stores with zero downtime J Hai, C Wang, X Chen, TO Li, H Cui, S Wang 2019 38th Symposium on Reliable Distributed Systems (SRDS), 83-8309, 2019 | 3 | 2019 |
Memo: Coverage-guided model generation for deep learning library testing M Li, J Cao, Y Tian, TO Li, M Wen, SC Cheung ArXiv, abs/2208.01508, 2022 | 2 | 2022 |
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability D Huang, TO Li, X Xie, H Cui 2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024 | | 2024 |
Application processing method and apparatus, cloud environment, medium, and program product J Jiang, X Chen, TO Li, C Wang, H Cui, S Wang, P Wang, G Zhang US Patent App. 17/975,163, 2023 | | 2023 |
Data Processing Method and Apparatus, Computing Device for Data Processing, and Storage Medium TO Li, J Jiang, J Qi, CC So, H Cui, S Wang, P Wang, G Zhang US Patent App. 18/074,972, 2023 | | 2023 |
MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application X Guan, Z Sun, S Deng, S Zhao, T Shen, TO Li, Y Wang, R Wang, H Cui 2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021 | | 2021 |