Seguir
Lintao Zhang
Lintao Zhang
Microsoft Research Asia
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
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
49752001
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
12132001
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
9812005
The quest for efficient boolean satisfiability solvers
L Zhang, S Malik
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
5022002
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
4092003
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'09, 213-228, 2009
3152009
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
2652017
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
2612002
Boolean satisfiability from theoretical hardness to practical success
S Malik, L Zhang
Communications of the ACM 52 (8), 76-82, 2009
2502009
Applications of SAT solvers to cryptanalysis of hash functions
I Mironov, L Zhang
Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006
2432006
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
2142007
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
2122005
Extracting small unsatisfiable cores from unsatisfiable boolean formula
L Zhang, S Malik
SAT 3, 2003
1942003
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
1852019
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
1772006
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
1702002
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
1542002
Practical software model checking via dynamic interface reduction
H Guo, M Wu, L Zhou, G Hu, J Yang, L Zhang
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
1272011
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
1162018
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
1032019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20