BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × India
1 × Japan
1 × South Korea
1 × Spain
1 × Turkey
2 × Portugal
4 × USA
Collaborated with:
G.Gupta I.V.Ramakrishnan B.Jayaraman C.R.Ramakrishnan Z.Qiu M.Liu G.Pemmasani Y.Dong E.Pontelli H.P.Siy W.Zheng M.Subramaniam K.Villaverde J.Mahmud Y.Borodin A.Stent A.I.Karshmer J.R.Iglesias D.Ranjan B.Milligan N.Datta O.El-Khatib M.Noamany X.Zhou
Talks about:
program (7) logic (6) base (6) tabl (5) justif (4) mode (3) implement (2) prefer (2) predic (2) direct (2)

Person: Hai-Feng Guo

DBLP DBLP: Guo:Hai=Feng

Facilitated 1 volumes:

PADL 2014Ed

Contributed to:

SAC 20142014
ICTSS 20132013
PPDP 20092009
ICDAR 20072007
ICLP 20062006
PPDP 20052005
SAC 20052005
FLOPS 20042004
PADL 20042004
ICLP 20032003
LOPSTR 20022002
PADL 20022002
ICLP 20012001

Wrote 16 papers:

SAC-2014-GuoQS
Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.
ICTSS-2013-GuoQ #automation #generative #grammarware #testing
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
PPDP-2009-GuoZS #consistency #named
L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.
ICDAR-2007-GuoMBSR #approach #clustering #geometry #web
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information (HFG, JM, YB, AS, IVR), pp. 929–933.
ICLP-2006-GuoLJ #optimisation
Relaxation on Optimization Predicates (HFG, ML, BJ), pp. 425–426.
PPDP-2005-GuoJGL #optimisation
Optimization with mode-directed preferences (HFG, BJ, GG, ML), pp. 242–251.
SAC-2005-GuoJ #logic programming #source code
Mode-directed preferences for logic programs (HFG, BJ), pp. 1414–1418.
FLOPS-2004-PemmasaniGDRR #logic programming #online #source code
Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 24–38.
PADL-2004-GuoG #programming
Simplifying Dynamic Programming via Tabling (HFG, GG), pp. 163–177.
ICLP-2003-GuoG
A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.
ICLP-2003-PemmasaniGDRR #logic programming #online #source code
Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 500–501.
LOPSTR-2002-GuoRR #program transformation
Justification Based on Program Transformation (HFG, CRR, IVR), pp. 158–159.
PADL-2002-GuptaGKPIRMDENZ #logic programming #question #semantics
Semantics-Based Filtering: Logic Programming’s Killer App? (GG, HFG, AIK, EP, JRI, DR, BM, ND, OEK, MN, XZ), pp. 82–100.
ICLP-2001-GuoG #implementation #logic programming #order
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives (HFG, GG), pp. 181–196.
ICLP-2001-GuoRR
Speculative Beats Conservative Justification (HFG, CRR, IVR), pp. 150–165.
ICLP-2001-VillaverdePGG #architecture #implementation #named #prolog
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures (KV, EP, HFG, GG), pp. 27–42.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.