Lintao Zhang

	2009
24		Sharad Malik, Lintao Zhang: Boolean satisfiability from theoretical hardness to practical success. Commun. ACM 52(8): 76-82 (2009)
	2008
23		John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. DAC 2008: 780-785
22		John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT 2008: 48-62
21		Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham: Vigilante: End-to-end containment of Internet worm epidemics. ACM Trans. Comput. Syst. 26(4): (2008)
	2007
20		Lucas Bordeaux, Lintao Zhang: A solver for quantified Boolean and linear constraints. SAC 2007: 321-325
19		Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado: Bouncer: securing software by blocking bad input. SOSP 2007: 117-130
	2006
18		Lintao Zhang: Solving QBF by Combining Conjunctive and Disjunctive Normal Forms. AAAI 2006
17		Ilya Mironov, Lintao Zhang: Applications of SAT Solvers to Cryptanalysis of Hash Functions. SAT 2006: 102-115
16		Lucas Bordeaux, Youssef Hamadi, Lintao Zhang: Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38(4): (2006)
	2005
15		Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien: A First Look at Peer-to-Peer Worms: Threats and Defenses. IPTPS 2005: 24-35
14		Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202
13		Lintao Zhang: On Subsumption Removal and On-the-Fly CNF Simplification. SAT 2005: 482-489
12		Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham: Vigilante: end-to-end containment of internet worms. SOSP 2005: 133-147
	2004
11		Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
	2003
10		Lintao Zhang, Sharad Malik: Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. DATE 2003: 10880-10885
9		Lintao Zhang, Sharad Malik: Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. SAT 2003: 287-298
	2002
8		Lintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers. CADE 2002: 295-313
7		Lintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers. CAV 2002: 17-36
6		Lintao Zhang, Sharad Malik: Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. CP 2002: 200-215
5		Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik: Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. DAC 2002: 747-750
4		Lintao Zhang, Sharad Malik: Conflict driven learning in a quantified Boolean Satisfiability solver. ICCAD 2002: 442-449
	2001
3		Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik: Chaff: Engineering an Efficient SAT Solver. DAC 2001: 530-535
2		Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik: Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD 2001: 279-285
1		Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik: Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292

Coauthor Index

1	Pranav Ashar	[1] [5]
2	Thomas Ball	[11]
3	Paul Barham (Paul R. Barham)	[12] [21]
4	Lucas Bordeaux	[16] [20]
5	Suhabe Bugrara	[14]
6	Miguel Castro	[12] [19] [21]
7	Steve Chien	[15]
8	Byron Cook	[11]
9	Manuel Costa	[12] [15] [19] [21]
10	Jon Crowcroft	[12] [21]
11	John D. Davis	[22] [23]
12	Malay K. Ganai	[5]
13	Aarti Gupta	[1] [5]
14	Youssef Hamadi	[16]
15	Nicole Immorlica	[15]
16	Sarfraz Khurshid	[14]
17	Shuvendu K. Lahiri	[11]
18	Conor F. Madigan	[2] [3]
19	Sharad Malik	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [24]
20	Darko Marinov	[14]
21	Frank McSherry	[15]
22	Ilya Mironov	[17]
23	Matthew W. Moskewicz	[2] [3]
24	Marcus Peinado	[19]
25	Martin C. Rinard	[14]
26	Antony I. T. Rowstron	[12] [21]
27	Zhangxi Tan	[22] [23]
28	Zijiang Yang	[1]
29	Fang Yu	[22] [23]
30	Ying Zhao	[3]
31	Lidong Zhou	[12] [15] [19] [21]

Colors in the list of coauthors