Volgen
Lintao Zhang
Lintao Zhang
Microsoft Research Asia
Geverifieerd e-mailadres voor microsoft.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
49902001
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
12112001
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
9852005
The quest for efficient boolean satisfiability solvers
L Zhang, S Malik
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
5042002
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
4122003
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
3162009
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
2662002
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
Boolean satisfiability from theoretical hardness to practical success
S Malik, L Zhang
Communications of the ACM 52 (8), 76-82, 2009
2562009
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
2122007
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
2112005
Extracting small unsatisfiable cores from unsatisfiable boolean formula
L Zhang, S Malik
SAT 3, 2003
1952003
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
1882019
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
1552002
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
1292011
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
1172018
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
1052019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20