Travelled to:1 × Austria
1 × Canada
1 × China
1 × Denmark
1 × Japan
1 × Portugal
1 × Russia
1 × South Africa
1 × Spain
1 × The Netherlands
1 × United Kingdom
17 × USA
2 × France
2 × Germany
2 × Switzerland
3 × Italy
Collaborated with:W.Chin D.Lo C.Sun C.Consel P.Zhu D.N.Xu K.Chen H.Anderson A.C.Nguyen N.A.Milea L.Jiang S.Maoz W.K.Leow M.Wang S.Kumar A.Roychoudhury K.Shi R.S.Sundaresh J.Jiang S.Weng C.Popeea Z.Zuo S.J.Zhang C.Liu Y.Sun S.Anand A.Goh T.Lee T.Doan J.Lin F.Craciun B.Luca S.Andrei T.H.Loh V.Suhendra Z.Hu M.Takeichi Quang-Trung Ta T.C.Le J.Andersen J.L.Lawall X.Wang H.Cheng J.Han C.Chen S.Qin H.H.Nguyen Z.Z.0002 L.Fang G.(.Xu S.Lu H.Zhang J.Lou H.Zhang Q.Wang D.Zhang
Talks about:specif (8) mine (7) function (5) type (5) test (5) base (5) softwar (4) program (4) pattern (4) detect (4)
Person: Siau-Cheng Khoo
DBLP: Khoo:Siau=Cheng
Facilitated 1 volumes:
EdContributed to:
2014
2014
2013
2012
2012
201220112011
201120102010
200920092008
2008200720072007
20072006
20062006
200620052004200420032002
2001200020001999
1998
199519931991
1991199119912016
2018Wrote 46 papers:
- FSE-2014-MileaJK #abstraction #detection #refactoring #scalability
- Vector abstraction and concretization for scalable detection of refactorings (NAM, LJ, SCK), pp. 86–97.
- FSE-2014-SunZLZWZK #query #re-engineering
- Querying sequential software engineering data (CS, HZ, JGL, HZ, QW, DZ, SCK), pp. 700–710.
- ISSTA-2014-MileaJK #detection #refactoring #scalability
- Scalable detection of missed cross-function refactorings (NAM, LJ, SCK), pp. 138–148.
- ISSTA-2014-ZuoKS #debugging #mining #performance
- Efficient predicated bug signature mining via hierarchical instrumentation (ZZ, SCK, CS), pp. 215–224.
- ESEC-FSE-2013-SunK #debugging #mining
- Mining succinct predicated bug signatures (CS, SCK), pp. 576–586.
- ASE-2012-AndersenNLLK #semantics
- Semantic patch inference (JA, ACN, DL, JLL, SCK), pp. 382–385.
- ICSE-2012-KumarKRL #distributed #specification
- Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
- MSR-2012-NguyenK #api #mutation testing #testing
- Discovering complete API rules with mutation testing (ACN, SCK), pp. 151–160.
- ASE-2011-SunLKJ #debugging #retrieval #towards
- Towards more accurate retrieval of duplicate bug reports (CS, DL, SCK, JJ), pp. 253–262.
- ICSE-2011-KumarKRL #graph #mining #sequence
- Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
- ICSM-2011-SunKZ #api #detection #graph #library
- Graph-based detection of library API imitations (CS, SCK, SJZ), pp. 183–192.
- ICSE-2010-DoanLMK #mining #named #specification
- LM: a miner for scenario-based specifications (TAD, DL, SM, SCK), pp. 319–320.
- ICSE-2010-SunLWJK #approach #debugging #retrieval
- A discriminative model approach for accurate duplicate bug report retrieval (CS, DL, XW, JJ, SCK), pp. 45–54.
- PEPM-2010-AndersonK #approximate #bound #termination
- Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.
- KDD-2009-LoCHKS #approach #behaviour #classification #detection #mining
- Classification of software behaviors for failure detection: a discriminative pattern mining approach (DL, HC, JH, SCK, CS), pp. 557–566.
- PEPM-2009-ChenLWK #aspect-oriented #design #locality
- Designing aspects for side-effect localization (KC, JYL, SCW, SCK), pp. 189–198.
- PEPM-2008-ZhuK #library #using
- Specialization for applications using shared libraries (PZ, SCK), pp. 159–168.
- VLDB-2008-LoK #mining #specification
- Mining patterns and rules for software specification discovery (DL, SCK), pp. 1609–1616.
- ASE-2007-LoMK #execution #mining #specification
- Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
- KDD-2007-LoKL #mining #performance #specification
- Efficient mining of iterative patterns for software specification discovery (DL, SCK, CL), pp. 460–469.
- PEPM-2007-ZhuK #component #reuse #towards
- Towards constructing reusable specialization components (PZ, SCK), pp. 154–163.
- SAS-2007-ChenWWKC #aspect-oriented #compilation #functional
- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
- FSE-2006-LoK #mining #named #robust #scalability #specification #towards
- SMArTIC: towards building an accurate, robust and scalable specification miner (DL, SCK), pp. 265–275.
- OOPSLA-2006-ChinCKP #approach #parametricity
- A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
- PEPM-2006-LucaAAK #program transformation
- Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.
- PEPM-2006-WangCK #aspect-oriented #functional #higher-order #weaving
- Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.
- WCRE-2006-LoK #assessment #empirical #named #specification
- QUARK: Empirical Assessment of Automaton-based Specification Miners (DL, SCK), pp. 51–60.
- ICSE-2005-ChinKQPN #alias #policy #safety #verification
- Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.
- ASE-2004-LeowKLS #automation #generative #heuristic #reachability #source code #testing
- Heuristic Search with Reachability Tests for Automated Generation of Test Programs (WKL, SCK, THL, VS), pp. 282–285.
- ICSE-2004-LeowKS #automation #generative #source code #specification #testing
- Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases (WKL, SCK, YS), pp. 96–105.
- PEPM-2003-ChinKX #analysis
- Extending sized type with collection analysis (WNC, SCK, DNX), pp. 75–84.
- ASIA-PEPM-2002-KhooS #constraints
- Output-constraint specialization (SCK, KS), pp. 106–116.
- ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime
- Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
- ICFP-2001-AnandCK
- Charting Patterns on Price History (SA, WNC, SCK), pp. 134–145.
- PEPM-2000-ChinK
- Calculating Sized Types (WNC, SCK), pp. 62–72.
- SAS-2000-ChinKHT #invariant #parallel
- Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
- PEPM-1999-ChinGK #effectiveness #lazy evaluation #multi #optimisation #traversal
- Effective Optimization of Multiple Traversals in Lazy Languages (WNC, AHG, SCK), pp. 119–130.
- ESOP-1998-ChinKL #analysis
- Synchronisation Analysis to Stop Tulping (WNC, SCK, TWL), pp. 75–89.
- PLILP-1995-ChinK #deforestation
- Better Consumers for Deforestation (WNC, SCK), pp. 223–240.
- WSA-1993-ChinK #multi #parametricity #recursion
- Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.
- PEPM-1991-KhooS #compilation #inheritance #partial evaluation #using
- Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.
- PLDI-1991-ConselK #partial evaluation
- Parameterized Partial Evaluation (CC, SCK), pp. 92–106.
- PLILP-1991-ConselK #compilation #generative #prolog #semantics
- Semantics-Directed Generation of a Prolog Compiler (CC, SCK), pp. 135–146.
- WSA-1991-ConselK #evaluation #french
- Evaluation partielle paramétrable (CC, SCK), pp. 72–81.
- OOPSLA-2016-ZuoFKXL #abstraction #automation #debugging #refinement #statistics
- Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
- POPL-2018-TaLKC #automation #logic #synthesis
- Automated lemma synthesis in symbolic-heap separation logic (QTT, TCL, SCK, WNC), p. 29.