DeepDyve: Dynamic Verification for Deep Neural Networks Y Li, M Li, B Luo, Y Tian, Q Xu Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020 | 43 | 2020 |
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference M Li, Y Li, Y Tian, L Jiang, Q Xu 2021 58th ACM/IEEE Design Automation Conference (DAC), 409-414, 2021 | 28 | 2021 |
D2NN: a fine-grained dual modular redundancy framework for deep neural networks Y Li, Y Liu, M Li, Y Tian, B Luo, Q Xu Proceedings of the 35th Annual Computer Security Applications Conference …, 2019 | 23 | 2019 |
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks Y Li, M Li, Q Lai, Y Liu, Q Xu Advances in Neural Information Processing Systems 34, 20874-20886, 2021 | 21 | 2021 |
DeepGate: learning neural representations of logic gates M Li, S Khan, Z Shi, N Wang, H Yu, Q Xu Proceedings of the 59th ACM/IEEE Design Automation Conference, 667-672, 2022 | 20* | 2022 |
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs W Fang, M Li, M Li, Z Yan, S Liu, H Zhang, Z Xie arXiv preprint arXiv:2402.00386, 2024 | 12 | 2024 |
T-WaveNet: A Tree-Structured Wavelet Neural Network for Time Series Signal Analysis LIU Minhao, A Zeng, LAI Qiuxia, R Gao, M Li, J Qin, Q Xu International Conference on Learning Representations, 2021 | 12 | 2021 |
On EDA-Driven Learning for SAT Solving M Li, Z Shi, Q Lai, S Khan, S Cai, Q Xu 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 10* | 2023 |
DeepTPI: Test Point Insertion with Deep Reinforcement Learning Z Shi, M Li, S Khan, L Wang, N Wang, Y Huang, Q Xu 2022 IEEE International Test Conference (ITC), 194-203, 2022 | 9 | 2022 |
SATformer: Transformer-Based UNSAT Core Learning Z Shi, M Li, Y Liu, S Khan, J Huang, HL Zhen, M Yuan, Q Xu 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-4, 2023 | 8* | 2023 |
Deepgate2: Functionality-aware circuit representation learning Z Shi, H Pan, S Khan, M Li, Y Liu, J Huang, HL Zhen, M Yuan, Z Chu, ... 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023 | 7 | 2023 |
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models L Chen, Y Chen, Z Chu, W Fang, TY Ho, Y Huang, S Khan, M Li, X Li, ... arXiv preprint arXiv:2403.07257, 2024 | 4 | 2024 |
DeepSeq: Deep Sequential Circuit Learning S Khan, Z Shi, M Li, Q Xu 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2024 | 3 | 2024 |
The Elephant in the Room: Variable Dependency in GNN-based SAT Solving Z Yan, M Li, Z Shi, W Zhang, YC Chen, H Zhang First International Workshop on Deep Learning-aided Verification, 0 | 2* | |
UCoL: Unsupervised Learning of Discriminative Facial Representations via Uncertainty-Aware Contrast H Wang, M Li, Y Song, Y Zhang, L Chi Proceedings of the AAAI Conference on Artificial Intelligence 37 (2), 2510-2518, 2023 | 1 | 2023 |
On Configurable Defense against Adversarial Example Attacks B Luo, M Li, Y Li, Q Xu Proceedings of the 2020 on Great Lakes Symposium on VLSI, 543-548, 2020 | 1 | 2020 |
Skimming and Scanning for Efficient Action Recognition in Untrimmed Videos Y Hong, A Zeng, M Li, C Lu, L Jiang, Q Xu 2021 14th International Congress on Image and Signal Processing, BioMedical …, 2021 | | 2021 |
Testability-Aware Low Power Controller Design with Evolutionary Learning M Li, Z Shi, Z Wang, W Zhang, Y Huang, Q Xu 2021 IEEE International Test Conference (ITC), 324-328, 2021 | | 2021 |
Lightweight prediction based big/little design for efficient neural network inference Y Tian, M Li, Q Xu Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 356-356, 2019 | | 2019 |