Lintao Zhang

Lintao Zhang publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Lintao Zhang sits on this spectrum.

Lintao Zhang D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Lintao Zhang sits on this spectrum.

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