Travelled to:
1 × China
1 × France
1 × Germany
1 × Italy
1 × Japan
1 × Portugal
1 × South Africa
1 × Spain
1 × United Kingdom
2 × Canada
7 × USA
Collaborated with:
P.J.Stuckey G.J.Duck F.Halim J.Jaffar S.Michaylov Y.Wu P.Karras A.D.Macdonald C.Likitvivatanavong S.Brand B.Rahardjo A.Fordan ∅ R.Ramnath K.Q.Zhu E.Tick M.J.Maher S.Idreos Y.Zhang C.Li S.Marisetti T.Wang A.Roychoudhury S.C.Choudhary J.Burg J.C.H.Tai N.Heintze A.D.Kelly K.Marriott
Talks about:
clp (6) constraint (4) toward (3) effect (3) mani (3) program (2) system (2) memori (2) logic (2) type (2)
Person: Roland H. C. Yap
DBLP: Yap:Roland_H=_C=
Contributed to:
Wrote 21 papers:
- SAC-2013-LikitvivatanavongY #set
- Many-to-many interchangeable sets of values in CSPs (CL, RHCY), pp. 86–91.
- VLDB-2012-HalimIKY #adaptation #database #in memory #probability #robust #towards
- Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores (FH, SI, PK, RHCY), pp. 502–513.
- ICSE-2010-WuYR #dependence
- Comprehending module dependencies and sharing (YW, RHCY, RR), pp. 89–98.
- SOFTVIS-2010-WuYH #visualisation
- Visualizing windows system traces (YW, RHCY, FH), pp. 123–132.
- CIKM-2009-HalimKY #effectiveness #performance
- Fast and effective histogram construction (FH, PK, RHCY), pp. 1167–1176.
- ICLP-2008-ZhangYLM #algorithm #constraints #functional #performance
- Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.
- ICLP-2006-BrandY #logic #towards
- Towards “Propagation = Logic + Control” (SB, RHCY), pp. 102–116.
- ICLP-2005-JaffarYZ #coordination
- Coordination of Many Agents (JJ, RHCY, KQZ), pp. 98–112.
- PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation
- Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
- SIGIR-2001-YapR #automation #information management #web
- Automatic Information Extraction from Web Pages (RHCY, BR), pp. 430–431.
- ICLP-1999-TickYM #constraints #problem
- Finding Fair Allocations for the Coalition Problem with Constraints (ET, RHCY, MJM), pp. 530–544.
- JICSLP-1998-FordanY #towards
- Towards Early Projection in CLP(R) (AF, RHCY), pp. 359–360.
- JICSLP-1996-KellyMMSY #compilation #effectiveness #optimisation
- Effectiveness of Optimizing Compilation for CLP(R) (ADK, ADM, KM, PJS, RHCY), pp. 37–51.
- ICLP-1995-BurgSTY #constraints #equation #linear #logic programming
- Linear Equation Solving for Constraint Logic Programming (JB, PJS, JCHT, RHCY), pp. 33–47.
- ILPS-1993-MacdonaldSY
- Redundancy of Variables in CLP (R) (ADM, PJS, RHCY), pp. 75–93.
- PLDI-1992-JaffarMSY #automaton
- An Abstract Machine for CLP(R) (JJ, SM, PJS, RHCY), pp. 128–139.
- ICLP-1991-Yap #strict
- Restriction Site Mapping in CLP(R) (RHCY), pp. 521–534.
- PLDI-1991-JaffarMY #constraints
- A Methodology for Managing Hard Constraints in CLP Systems (JJ, SM, RHCY), pp. 306–316.
- NACLP-1989-HeintzeMSY #metaprogramming #on the
- On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.
- CC-2016-DuckY #bound #pointer
- Heap bounds protection with low fat pointers (GJD, RHCY), pp. 132–142.
- PLDI-2018-DuckY #c #c++ #detection #effectiveness #fault #memory management #named #using
- EffectiveSan: type and memory error detection using dynamically typed C/C++ (GJD, RHCY), pp. 181–195.