Travelled to:
2 × USA
Collaborated with:
H.Zhuge P.Liu J.M.Patel D.Page X.Jiang D.Wu J.Rhee H.Zhang N.Arora G.Jiang
Talks about:
structur (2) scalabl (2) pattern (2) logic (2) data (2) algorithm (1) overflow (1) program (1) monitor (1) cruiser (1)
Person: Qiang Zeng
DBLP: Zeng:Qiang
Contributed to:
Wrote 5 papers:
- VLDB-2015-ZengPP14 #induction #logic programming #named #scalability
- QuickFOIL: Scalable Inductive Logic Programming (QZ, JMP, DP), pp. 197–208.
- CGO-2014-ZengR0AJ0 #encoding #named #precise #scalability
- DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.
- VLDB-2012-ZengH #algorithm #graph #pattern matching
- Comments on “Stack-based Algorithms for Pattern Matching on DAGs” (QZ, HZ), pp. 668–679.
- VLDB-2012-ZengJZ #logic #query
- Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data (QZ, XJ, HZ), pp. 728–739.
- PLDI-2011-ZengWL #concurrent #data type #monitoring #named #using
- Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.