- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c24 |      | Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang: SLIM: Mmap from the cloud to device, and back. APSys 2011: 16 |
| c23 | | Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang: Practical software model checking via dynamic interface reduction. SOSP 2011: 265-278 |
| 2009 | ||
| j3 | | Sharad Malik, Lintao Zhang: Boolean satisfiability from theoretical hardness to practical success. Commun. ACM 52(8): 76-82 (2009) |
| c22 | | Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou: MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI 2009: 213-228 |
| 2008 | ||
| j2 | | 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) |
| c21 | | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. DAC 2008: 780-785 |
| c20 | | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT 2008: 48-62 |
| 2007 | ||
| c19 | | Lucas Bordeaux, Lintao Zhang: A solver for quantified Boolean and linear constraints. SAC 2007: 321-325 |
| c18 | | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado: Bouncer: securing software by blocking bad input. SOSP 2007: 117-130 |
| 2006 | ||
| j1 | | Lucas Bordeaux, Youssef Hamadi, Lintao Zhang: Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38(4) (2006) |
| c17 | | |
| c16 | | Ilya Mironov, Lintao Zhang: Applications of SAT Solvers to Cryptanalysis of Hash Functions. SAT 2006: 102-115 |
| i1 | | Ilya Mironov, Lintao Zhang: Applications of SAT Solvers to Cryptanalysis of Hash Functions. IACR Cryptology ePrint Archive 2006: 254 (2006) |
| 2005 | ||
| c15 | | 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 |
| c14 | | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202 |
| c13 | | |
| c12 | | 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 | ||
| c11 | | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461 |
| 2003 | ||
| c10 | | Lintao Zhang, Sharad Malik: Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. DATE 2003: 10880-10885 |
| c9 | | Lintao Zhang, Sharad Malik: Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. SAT 2003: 287-298 |
| 2002 | ||
| c8 | | Lintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers. CADE 2002: 295-313 |
| c7 | | |
| c6 | | Lintao Zhang, Sharad Malik: Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. CP 2002: 200-215 |
| c5 | | 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 |
| c4 | | Lintao Zhang, Sharad Malik: Conflict driven learning in a quantified Boolean Satisfiability solver. ICCAD 2002: 442-449 |
| 2001 | ||
| c3 | | Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik: Chaff: Engineering an Efficient SAT Solver. DAC 2001: 530-535 |
| c2 | | Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik: Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD 2001: 279-285 |
| c1 | | 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 |
Colors in the list of coauthors
Last update Thu May 23 09:32:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page