Lintao Zhang

Best Publications

• Chaff: engineering an efficient SAT solver

  Matthew W. Moskewicz;Conor F. Madigan;Ying Zhao;Lintao Zhang

  4899
  Citations

• Vigilante: end-to-end containment of internet worms

  Manuel Costa;Jon Crowcroft;Miguel Castro;Antony Rowstron

  931
  Citations

• The Quest for Efficient Boolean Satisfiability Solvers

  Lintao Zhang;Sharad Malik

  485
  Citations

• Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications

  Lintao Zhang;Sharad Malik

  388
  Citations

• MODIST: transparent model checking of unmodified distributed systems

  Junfeng Yang;Tisheng Chen;Ming Wu;Zhilei Xu

  297
  Citations

• Vigilante

  Unknown

  272
  Citations

• Conflict driven learning in a quantified Boolean satisfiability solver

  Lintao Zhang;Sharad Malik

  261
  Citations

• Applications of SAT solvers to cryptanalysis of hash functions

  Ilya Mironov;Lintao Zhang

  245
  Citations

• KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC

  Bojie Li;Zhenyuan Ruan;Wencong Xiao;Yuanwei Lu

  243
  Citations

• Boolean satisfiability from theoretical hardness to practical success

  Sharad Malik;Lintao Zhang

  243
  Citations

• Bouncer: securing software by blocking bad input

  Manuel Costa;Miguel Castro;Lidong Zhou;Lintao Zhang

  221
  Citations

• A first look at peer-to-peer worms: threats and defenses

  Lidong Zhou;Lintao Zhang;Frank McSherry;Nicole Immorlica

  219
  Citations

• Efficient conflict driven learning in a Boolean satisfiability solver

  Unknown

  195
  Citations

• Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity

  Unknown

  185
  Citations

• Propositional Satisfiability and Constraint Programming: A comparative survey

  Unknown

  176
  Citations

• Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

  M.K. Ganai;Lintao Zhang;P. Ashar;A. Gupta

  169
  Citations

• Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation

  Lintao Zhang;Sharad Malik

  155
  Citations

• Practical software model checking via dynamic interface reduction

  Huayang Guo;Ming Wu;Lidong Zhou;Gang Hu

  129
  Citations

• Cutting the Cord: Designing a High-quality Untethered VR System with Low Latency Remote Rendering

  Luyang Liu;Ruiguang Zhong;Wuyang Zhang;Yunxin Liu

  126
  Citations

• Occlumency: Privacy-preserving Remote Deep-learning Inference Using SGX

  Taegyeong Lee;Zhiqi Lin;Saumay Pushp;Caihua Li

  111
  Citations