|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 15 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang |
Practical software model checking via dynamic interface reduction.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang |
SLIM: Mmap from the cloud to device, and back. |
APSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharad Malik, Lintao Zhang |
Boolean satisfiability from theoretical hardness to practical success. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment |
| 1 | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
Designing an Efficient Hardware Implication Accelerator for SAT Solving. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
BCP, FPGA, reconfigurable, SAT solver, co-processor |
| 1 | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado |
Bouncer: securing software by blocking bad input. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
precondition slicing, symbolic execution |
| 1 | Lucas Bordeaux, Lintao Zhang |
A solver for quantified Boolean and linear constraints. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Mironov, Lintao Zhang |
Applications of SAT Solvers to Cryptanalysis of Hash Functions. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Youssef Hamadi, Lintao Zhang |
Propositional Satisfiability and Constraint Programming: A comparative survey. |
ACM Comput. Surv. |
2006 |
DBLP DOI BibTeX RDF |
Search, constraint satisfaction, SAT |
| 1 | Ilya Mironov, Lintao Zhang |
Applications of SAT Solvers to Cryptanalysis of Hash Functions. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang |
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
self-certifying alerts, data flow analysis, control flow analysis, worm containment |
| 1 | Lintao Zhang |
On Subsumption Removal and On-the-Fly CNF Simplification. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
Optimizations for Compiling Declarative Models into Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Sharad Malik |
Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Sharad Malik |
Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Sharad Malik |
The Quest for Efficient Boolean Satisfiability Solvers. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
boolean constraint propagation (BCP), bounded model checking (BMC), conjunctive normal form (CNF), boolean satisfiability (SAT) |
| 1 | Lintao Zhang, Sharad Malik |
The Quest for Efficient Boolean Satisfiability Solvers. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Sharad Malik |
Conflict driven learning in a quantified Boolean Satisfiability solver. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Sharad Malik |
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik |
Chaff: Engineering an Efficient SAT Solver. |
DAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik |
Efficient Conflict Driven Learning in Boolean Satisfiability Solver. |
ICCAD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik |
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. |
ICCAD |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")