World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
34
Citations
11176
World Ranking
11893
National Ranking
4847

Best Publications

  • Chaff: engineering an efficient SAT solver

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

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

    Manuel Costa;Jon Crowcroft;Miguel Castro;Antony Rowstron

  • The Quest for Efficient Boolean Satisfiability Solvers

    Lintao Zhang;Sharad Malik

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

    Lintao Zhang;Sharad Malik

  • MODIST: transparent model checking of unmodified distributed systems

    Junfeng Yang;Tisheng Chen;Ming Wu;Zhilei Xu

  • Vigilante

    Unknown

  • Conflict driven learning in a quantified Boolean satisfiability solver

    Lintao Zhang;Sharad Malik

  • Applications of SAT solvers to cryptanalysis of hash functions

    Ilya Mironov;Lintao Zhang

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

    Bojie Li;Zhenyuan Ruan;Wencong Xiao;Yuanwei Lu

  • Boolean satisfiability from theoretical hardness to practical success

    Sharad Malik;Lintao Zhang

  • Bouncer: securing software by blocking bad input

    Manuel Costa;Miguel Castro;Lidong Zhou;Lintao Zhang

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

    Lidong Zhou;Lintao Zhang;Frank McSherry;Nicole Immorlica

  • Efficient conflict driven learning in a Boolean satisfiability solver

    Unknown

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

    Unknown

  • Propositional Satisfiability and Constraint Programming: A comparative survey

    Unknown

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

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

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

    Lintao Zhang;Sharad Malik

  • Practical software model checking via dynamic interface reduction

    Huayang Guo;Ming Wu;Lidong Zhou;Gang Hu

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

    Luyang Liu;Ruiguang Zhong;Wuyang Zhang;Yunxin Liu

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

    Taegyeong Lee;Zhiqi Lin;Saumay Pushp;Caihua Li

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Recently Published Articles