| Chaff: Engineering an efficient SAT solver MW Moskewicz, CF Madigan, Y Zhao, L Zhang, S Malik Proceedings of the 38th annual Design Automation Conference, 530-535, 2001 | 4948 | 2001 |
| Efficient conflict driven learning in a boolean satisfiability solver L Zhang, CF Madigan, MH Moskewicz, S Malik IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001 | 1231 | 2001 |
| Vigilante: End-to-end containment of internet worms M Costa, J Crowcroft, M Castro, A Rowstron, L Zhou, L Zhang, P Barham Proceedings of the twentieth ACM symposium on Operating systems principles …, 2005 | 998 | 2005 |
| The quest for efficient boolean satisfiability solvers L Zhang, S Malik Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 515 | 2002 |
| Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications L Zhang, S Malik 2003 Design, Automation and Test in Europe Conference and Exhibition, 880-885, 2003 | 420 | 2003 |
| MODIST: Transparent model checking of unmodified distributed systems J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ... NSDI 2009, 213-228, 2009 | 335 | 2009 |
| Kv-direct: High-performance in-memory key-value store with programmable nic B Li, Z Ruan, W Xiao, Y Lu, Y Xiong, A Putnam, E Chen, L Zhang Proceedings of the 26th Symposium on Operating Systems Principles, 137-152, 2017 | 298 | 2017 |
| Conflict driven learning in a quantified Boolean satisfiability solver L Zhang, S Malik Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 267 | 2002 |
| Boolean satisfiability from theoretical hardness to practical success S Malik, L Zhang Communications of the ACM 52 (8), 76-82, 2009 | 262 | 2009 |
| Applications of SAT solvers to cryptanalysis of hash functions I Mironov, L Zhang Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006 | 253 | 2006 |
| Bouncer: Securing software by blocking bad input M Costa, M Castro, L Zhou, L Zhang, M Peinado Proceedings of twenty-first ACM SIGOPS symposium on Operating systems …, 2007 | 217 | 2007 |
| Efficient and effective sparse LSTM on FPGA with bank-balanced sparsity S Cao, C Zhang, Z Yao, W Xiao, L Nie, D Zhan, Y Liu, M Wu, L Zhang Proceedings of the 2019 ACM/SIGDA International Symposium on Field …, 2019 | 216 | 2019 |
| A first look at peer-to-peer worms: Threats and defenses L Zhou, L Zhang, F McSherry, N Immorlica, M Costa, S Chien International Workshop on Peer-to-Peer Systems, 24-35, 2005 | 213 | 2005 |
| Extracting small unsatisfiable cores from unsatisfiable boolean formula L Zhang, S Malik SAT 3, 2003 | 194 | 2003 |
| Propositional satisfiability and constraint programming: A comparative survey L Bordeaux, Y Hamadi, L Zhang ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006 | 178 | 2006 |
| Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver MK Ganai, P Ashar, A Gupta, L Zhang, S Malik Proceedings of the 39th annual Design Automation Conference, 747-750, 2002 | 168 | 2002 |
| Rammer: Enabling holistic deep learning compiler optimizations with {rTasks} L Ma, Z Xie, Z Yang, J Xue, Y Miao, W Cui, W Hu, F Yang, L Zhang, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020 | 165 | 2020 |
| Towards a symmetric treatment of satisfaction and conflicts in quantified Boolean formula evaluation L Zhang, S Malik International Conference on Principles and Practice of Constraint …, 2002 | 155 | 2002 |
| Occlumency: Privacy-preserving remote deep-learning inference using SGX T Lee, Z Lin, S Pushp, C Li, Y Liu, Y Lee, F Xu, C Xu, L Zhang, J Song The 25th Annual International Conference on Mobile Computing and Networking …, 2019 | 140 | 2019 |
| Cutting the cord: Designing a high-quality untethered vr system with low latency remote rendering L Liu, R Zhong, W Zhang, Y Liu, J Zhang, L Zhang, M Gruteser Proceedings of the 16th Annual International Conference on Mobile Systems …, 2018 | 139 | 2018 |
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityAdresse e-mail validée de princeton.edu