PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Khoo, Siau-Cheng"

Author of the publication

copydeleteadd this publication to your clipboard
Mining modal scenarios from execution traces.

, , and . OOPSLA Companion, page 777-778. ACM, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Po Wen Cheng University of Stuttgart

Lidar-based virtual load sensors for mooring lines using artificial neural networks, , and . EERA Deepwind Conference 2023, 2626, page 012036. Institute of Physics, (2023)

Xiaoyu Cheng University of Stuttgart

Tiffany Cheng University of Stuttgart

Yingxing Cheng University of Stuttgart

Cheng-I Ho University of Stuttgart

 

Other publications of authors with the same name

Semantics-Directed Generation of a Prolog Compiler., and . Sci. Comput. Program., 21 (3): 263-291 (1993)On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs., and . J. Funct. Program., 5 (4): 461-500 (1995)Program Adaptation via Output-Constraint Specialization., and . Higher-Order and Symbolic Computation, 17 (1-2): 93-128 (2004)Better Consumers for Program Specializations., and . Journal of Functional and Logic Programming, (1996)Non-redundant sequential rules - Theory and algorithm., , and . Inf. Syst., 34 (4-5): 438-453 (2009)Deriving Pre-conditions for Array Bound Check Elimination., , and . PADO, volume 2053 of Lecture Notes in Computer Science, page 2-24. Springer, (2001)Deriving Parallel Codes via Invariants., , , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 75-94. Springer, (2000)Scalable detection of missed cross-function refactorings., , and . ISSTA, page 138-148. ACM, (2014)Type-directed weaving of aspects for higher-order functional languages., , and . PEPM, page 78-87. ACM, (2006)Designing aspects for side-effect localization., , , and . PEPM, page 189-198. ACM, (2009)