Constraint Logic Programming and Option Trading. - Catherine Lassez; Ken McAloon; Roland H. C. Yap (IEEE Expert, 1987)

On Meta-Programming in CLR(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (NACLP, 1989)

The CLP(R) language and system: an overview. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (Compcon, 1991)

Restriction Site Mapping in CLP(R). - Roland H. C. Yap (ICLP, 1991)

A Methodology for Managing Hard Constraints in CLP Systems. - Joxan Jaffar; Spiro Michaylov; Roland H. C. Yap (PLDI, 1991)

Output in CLP. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (FGCS, 1992)

An Abstract Machine for CLP(R). - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (PLDI, 1992)

The CLP(R) Language and System. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (ACM Trans. Program. Lang. Syst., 1992)

Redundancy of Variables in CLP (R). - Andrew D. Macdonald; Peter J. Stuckey; Roland H. C. Yap (ILPS, 1993)

Projecting CLP (R) Constraints. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (New Gener. Comput., 1993)

Beyond Finite Domains. - Joxan Jaffar; Michael J. Maher; Peter J. Stuckey; Roland H. C. Yap (PPCP, 1994)

An Optimizing Compiler for CLP(R). - Andrew D. Kelly; Andrew D. Macdonald; Kim Marriott; Harald Søndergaard; Peter J. Stuckey; Roland H. C. Yap (CP, 1995)

Linear Equation Solving for Constraint Logic Programming. - Jennifer Burg; Peter J. Stuckey; Jason C. H. Tai; Roland H. C. Yap (ICLP, 1995)

Workshop Report: Constraint languages/systems and their use in problem modelling. - Roland H. C. Yap (Knowl. Eng. Rev., 1995)

Effectiveness of Optimizing Compilation for CLP(R). - Andrew D. Kelly; Andrew D. Macdonald; Kim Marriott; Peter J. Stuckey; Roland H. C. Yap (JICSLP, 1996)

Constraint Programming 2000. - Joxan Jaffar; Roland H. C. Yap (ACM Comput. Surv., 1996)

Forward and Backward Chaining in Constraint Programming (Abstract). - Joxan Jaffar; Bing Liu 001; Roland H. C. Yap (LPNMR, 1997)

Constraint Programming 2000: A Position Paper. - Joxan Jaffar; Roland H. C. Yap (Constraints An Int. J., 1997)

Meta-Programming in CLP(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (J. Log. Program., 1997)

Early Projection in CLP(R). - Andreas Fordan; Roland H. C. Yap (CP, 1998)

Open Constraint Programming. - Joxan Jaffar; Roland H. C. Yap (CP, 1998)

Towards Early Projection in CLP(R). - Andreas Fordan; Roland H. C. Yap (IJCSLP, 1998)

Optimizing Compilation of CLP(R). - Andrew D. Kelly; Kim Marriott; Andrew D. Macdonald; Peter J. Stuckey; Roland H. C. Yap (ACM Trans. Program. Lang. Syst., 1998)

Functional Elimination and 0/1/All Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Joxan Jaffar (AAAI/IAAI, 1999)

Finding Fair Allocations for the Coalition Problem with Constraints. - Evan Tick; Roland H. C. Yap; Michael J. Maher (ICLP, 1999)

A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. - Hui Wu 001; Joxan Jaffar; Roland H. C. Yap (IEEE PACT, 2000)

Solving Hierarchical Constraints over Finite Domains. - Martin Henz; Yun Fong Lim; Lua Seet Chong; Shi Xiao Ping; J. Paul Walser; Roland H. C. Yap (AI&M, 2000)

Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. - Hui Wu 001; Joxan Jaffar; Roland H. C. Yap (CP, 2000)

Arc Consistency on n-ary Monotonic and Linear Constraints. - Yuanlin Zhang 002; Roland H. C. Yap (CP, 2000)

Concurrent Programming Made Easy. - Rafael Ramírez 001; Andrew E. Santosa; Roland H. C. Yap (ICECCS, 2000)

One Flip per Clock Cycle. - Martin Henz; Edgar Tan; Roland H. C. Yap (CP, 2001)

Making AC-3 an Optimal Algorithm. - Yuanlin Zhang 002; Roland H. C. Yap (IJCAI, 2001)

Reactive Web Agents with Open Constraint Programming. - Kenny Qili Zhu; Wee-Yeh Tan; Andrew E. Santosa; Roland H. C. Yap (ISADS, 2001)

Automatic Information Extraction from Web Pages. - Roland H. C. Yap; Budi Rahardjo (SIGIR, 2001)

Introduction to the Special Issue on Bioinformatics. - David R. Gilbert; Rolf Backofen; Roland H. C. Yap (Constraints An Int. J., 2001)

Parametric Sequence Alignment with Constraints. - Roland H. C. Yap (Constraints An Int. J., 2001)

Consistency and Set Intersection. - Yuanlin Zhang 002; Roland H. C. Yap (AAAI/IAAI, 2002)

Incrementally Solving Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap (AAAI/IAAI, 2002)

Implementing CSAT Local Search on FPGAs. - Martin Henz; Edgar Tan; Roland H. C. Yap (FPL, 2002)

5th Asian Computing Science Conference - Preface. - P. S. Thiagarajan; Roland H. C. Yap (Int. J. Found. Comput. Sci., 2002)

Hardware Implementations of Real-Time Reconfigurable WSAT Variants. - Roland H. C. Yap; Stella Z. Q. Wang; Martin Henz (FPL, 2003)

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. - Yuanlin Zhang 002; Roland H. C. Yap (J. ACM, 2003)

Scalable Distributed Depth-First Search with Greedy Work Stealing. - Joxan Jaffar; Andrew E. Santosa; Roland H. C. Yap; Kenny Qili Zhu (ICTAI, 2004)

A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing. - Sufatrio; Roland H. C. Yap; Liming Zhong (LISA, 2004)

Symbolic Execution of Behavioral Requirements. - Tao Wang; Abhik Roychoudhury; Roland H. C. Yap; S. C. Choudhary (PADL, 2004)

Solving Hierarchical Constraints over Finite Domains with Local Search. - Martin Henz; Roland H. C. Yap; Yun Fong Lim; Lua Seet Chong; J. Paul Walser; Shi Xiao Ping (Ann. Math. Artif. Intell., 2004)

Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. - Roland H. C. Yap (Theory Pract. Log. Program., 2004)

Constrained Decision Diagrams. - Kenil C. K. Cheng; Roland H. C. Yap (AAAI, 2005)

A User-level Framework for Auditing and Monitoring. - Yongzheng Wu; Roland H. C. Yap (ACSAC, 2005)

Ad-hoc Global Constraints for Life. - Kenil C. K. Cheng; Roland H. C. Yap (CP, 2005)

Coordination of Many Agents. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (ICLP, 2005)

Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. - Sufatrio; Roland H. C. Yap (RAID, 2005)

An optimal coarse-grained arc consistency algorithm. - Christian Bessière; Jean-Charles Régin; Roland H. C. Yap; Yuanlin Zhang 002 (Artif. Intell., 2005)

Extracting Microstructure in Binary Constraint Networks. - Chavalit Likitvivatanavong; Roland H. C. Yap (CSCLP, 2006)

Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. - Kenil C. K. Cheng; Roland H. C. Yap (ECAI, 2006)

Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. - Steven Halim; Roland H. C. Yap; Hoong Chuin Lau (ECAI, 2006)

Indexing for Dynamic Abstract Regions. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (ICDE, 2006)

Towards "Propagation = Logic + Control". - Sebastian Brand; Roland H. C. Yap (ICLP, 2006)

Robust Controllability of Temporal Constraint Networks under Uncertainty. - Hoong Chuin Lau; Jia Li; Roland H. C. Yap (ICTAI, 2006)

WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. - Rajiv Ramnath; Sufatrio; Roland H. C. Yap; Yongzheng Wu (LISA, 2006)

Viz: a visual analysis suite for explaining local search behavior. - Steven Halim; Roland H. C. Yap; Hoong Chuin Lau (UIST, 2006)

Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. - Kenil C. K. Cheng; Roland H. C. Yap (Constraints An Int. J., 2006)

Set Intersection and Consistency in Constraint Networks. - Yuanlin Zhang 002; Roland H. C. Yap (J. Artif. Intell. Res., 2006)

Search Space Reduction and Russian Doll Search. - Kenil C. K. Cheng; Roland H. C. Yap (AAAI, 2007)

Generalized Committed Choice. - Joxan Jaffar; Roland H. C. Yap; Kenny Qili Zhu (COORDINATION, 2007)

An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. - Steven Halim; Roland H. C. Yap; Hoong Chuin Lau (CP, 2007)

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. - Peter Van Roy; Seif Haridi; Alexander Reinefeld; Jean-Bernard Stefani; Roland H. C. Yap; Thierry Coupaye (FMCO, 2007)

Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. - Steven Halim; Roland H. C. Yap (SLS, 2007)

Approximate Satisfiability Counting. - Stefan Andrei; Gabriel Manolache; Roland H. C. Yap; Victor Felea (SYNASC, 2007)

A Refutation Approach to Neighborhood Interchangeability in CSPs. - Chavalit Likitvivatanavong; Roland H. C. Yap (Australasian Conference on Artificial Intelligence, 2008)

Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. - Kenil C. K. Cheng; Roland H. C. Yap (CP, 2008)

Search Space Reduction for Constraint Optimization Problems. - Kenil C. K. Cheng; Roland H. C. Yap (CP, 2008)

Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. - Steven Halim; Roland H. C. Yap; Felix Halim (CP, 2008)

An Elimination Algorithm for Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Chendong Li; Satyanarayana Marisetti (CP, 2008)

Efficient Algorithms for Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Chendong Li; Satyanarayana Marisetti (ICLP, 2008)

A Lightweight Binary Authentication System for Windows. - Felix Halim; Rajiv Ramnath; Sufatrio; Yongzheng Wu; Roland H. C. Yap (IFIPTM, 2008)

Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. - Sufatrio; Roland H. C. Yap (NPC Workshops, 2008)

Security Issues in Small World Network Routing. - Felix Halim; Yongzheng Wu; Roland H. C. Yap (SASO, 2008)

Small World Networks as (Semi)-Structured Overlay Networks. - Felix Halim; Yongzheng Wu; Roland H. C. Yap (SASO Workshops, 2008)

Fast and effective histogram construction. - Felix Halim; Panagiotis Karras; Roland H. C. Yap (CIKM, 2009)

An Usability Study of Continuous Biometrics Authentication. - Geraldine Kwang; Roland H. C. Yap; Terence Sim; Rajiv Ramnath (ICB, 2009)

A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. - Stefan Andrei; Gheorghe Grigoras; Martin C. Rinard; Roland H. C. Yap (SYNASC, 2009)

Wiki credibility enhancement. - Felix Halim; Yongzheng Wu; Roland H. C. Yap (Int. Sym. Wikis, 2009)

Local Search in Histogram Construction. - Felix Halim; Panagiotis Karras; Roland H. C. Yap (AAAI, 2010)

Comprehending module dependencies and sharing. - Yongzheng Wu; Roland H. C. Yap; Rajiv Ramnath (ICSE (2), 2010)

Routing in the Watts and Strogatz Small World Networks Revisited. - Felix Halim; Yongzheng Wu; Roland H. C. Yap (SASO Workshops, 2010)

Visualizing windows system traces. - Yongzheng Wu; Roland H. C. Yap; Felix Halim (SOFTVIS, 2010)

The Problem of Usable Binary Authentication. - Yongzheng Wu; Roland H. C. Yap (SSIRI (Companion), 2010)

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. - Kenil C. K. Cheng; Roland H. C. Yap (Constraints An Int. J., 2010)

Towards a binary integrity system for windows. - Yongzheng Wu; Roland H. C. Yap (AsiaCCS, 2011)

Partial Social Network Disclosure and Crawlers. - Suhendry Effendy; Felix Halim; Roland H. C. Yap (DASC, 2011)

Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. - Sufatrio; Roland H. C. Yap (Metrisec@ESEM, 2011)

A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. - Felix Halim; Roland H. C. Yap; Yongzheng Wu (ICDCS, 2011)

Trusted Principal-Hosted Certificate Revocation. - Sufatrio; Roland H. C. Yap (IFIPTM, 2011)

Enhancing host security using external environment sensors. - Ee-Chien Chang; Liming Lu; Yongzheng Wu; Roland H. C. Yap; Jie Yu 008 (Int. J. Inf. Sec., 2011)

Solving functional constraints by variable substitution. - Yuanlin Zhang 002; Roland H. C. Yap (Theory Pract. Log. Program., 2011)

Revisiting link privacy in social networks. - Suhendry Effendy; Roland H. C. Yap; Felix Halim (CODASPY, 2012)

Space-Time Tradeoffs for the Regular Constraint. - Kenil C. K. Cheng; Wei Xia; Roland H. C. Yap (CP, 2012)

Experiments with Malware Visualization. - Yongzheng Wu; Roland H. C. Yap (DIMVA, 2012)

A Path-Optimal GAC Algorithm for Table Constraints. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (ECAI, 2012)

Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. - Yongzheng Wu; Sai Sathyanarayan; Roland H. C. Yap; Zhenkai Liang (ESORICS, 2012)

Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. - Ting Dai; Sai Sathyanarayan; Roland H. C. Yap; Zhenkai Liang (ICICS, 2012)

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. - Felix Halim; Stratos Idreos; Panagiotis Karras; Roland H. C. Yap (Proc. VLDB Endow., 2012)

Towards a general framework for secure MapReduce computation on hybrid clouds. - Chunwang Zhang; Ee-Chien Chang; Roland H. C. Yap (SoCC, 2013)

Optimizing STR Algorithms with Tuple Compression. - Wei Xia; Roland H. C. Yap (CP, 2013)

JNICodejail: native code isolation for Java programs. - Behnaz Hassanshahi; Roland H. C. Yap (PPPJ, 2013)

Many-to-many interchangeable sets of values in CSPs. - Chavalit Likitvivatanavong; Roland H. C. Yap (SAC, 2013)

Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds. - Chunwang Zhang; Ee-Chien Chang; Roland H. C. Yap (CCGRID, 2014)

Higher-Order Consistencies through GAC on Factor Variables. - Chavalit Likitvivatanavong; Wei Xia; Roland H. C. Yap (CP, 2014)

Understanding Complex Binary Loading Behaviors. - Ting Dai; Mingwei Zhang; Roland H. C. Yap; Zhenkai Liang (ICECCS, 2014)

Relatedness measures between conferences in computer science: a preliminary study based on DBLP. - Suhendry Effendy; Irvan Jahja; Roland H. C. Yap (WWW (Companion Volume), 2014)

Experiments on Rating Conferences with CORE and DBLP. - Irvan Jahja; Suhendry Effendy; Roland H. C. Yap (D Lib Mag., 2014)

Web-to-Application Injection Attacks on Android: Characterization and Detection. - Behnaz Hassanshahi; Yaoqi Jia; Roland H. C. Yap; Prateek Saxena; Zhenkai Liang (ESORICS (2), 2015)

Simple and Practical Integrity Models for Binaries and Files. - Yongzheng Wu; Roland H. C. Yap (IFIPTM, 2015)

Decomposition of the Factor Encoding for CSPs. - Chavalit Likitvivatanavong; Wei Xia; Roland H. C. Yap (IJCAI, 2015)

STR3: A path-optimal filtering algorithm for table constraints. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (Artif. Intell., 2015)

Improving the lower bound of simple tabular reduction. - Christophe Lecoutre; Chavalit Likitvivatanavong; Roland H. C. Yap (Constraints An Int. J., 2015)

Detecting Malware Through Anti-analysis Signals - A Preliminary Study. - Joash W. J. Tan; Roland H. C. Yap (CANS, 2016)

Heap bounds protection with low fat pointers. - Gregory J. Duck; Roland H. C. Yap (CC, 2016)

Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps. - Zhenquan Cai; Roland H. C. Yap (CODASPY, 2016)

The Problem of Categorizing Conferences in Computer Science. - Suhendry Effendy; Roland H. C. Yap (TPDL, 2016)

Optimizing Simple Tabular Reduction with a Bitwise Representation. - Ruiwei Wang; Wei Xia; Roland H. C. Yap; Zhanshan Li (IJCAI, 2016)

Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. - Suhendry Effendy; Roland H. C. Yap (WWW (Companion Volume), 2016)

Using Community Structure to Categorize Computer Science Conferences: Initial Results. - Suhendry Effendy; Roland H. C. Yap (ASONAM, 2017)

Android Database Attacks Revisited. - Behnaz Hassanshahi; Roland H. C. Yap (AsiaCCS, 2017)

The Strong Link Graph for Enhancing Sybil Defenses. - Suhendry Effendy; Roland H. C. Yap (ICDCS, 2017)

Correlation Heuristics for Constraint Programming. - Ruiwei Wang; Wei Xia; Roland H. C. Yap (ICTAI, 2017)

Stack Bounds Protection with Low Fat Pointers. - Gregory J. Duck; Roland H. C. Yap; Lorenzo Cavallaro (NDSS, 2017)

Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. - Suhendry Effendy; Roland H. C. Yap (WWW (Companion Volume), 2017)

RoppDroid: Robust permission re-delegation prevention in Android inter-component communication. - Ting Dai; Xiaolei Li; Behnaz Hassanshahi; Roland H. C. Yap; Zhenkai Liang (Comput. Secur., 2017)

Learning Robust Search Strategies Using a Bandit-Based Approach. - Wei Xia; Roland H. C. Yap (AAAI, 2018)

EffectiveSan: type and memory error detection using dynamically typed C/C++. - Gregory J. Duck; Roland H. C. Yap (PLDI, 2018)

An Extended Low Fat Allocator API and Applications. - Gregory J. Duck; Roland H. C. Yap (CoRR, 2018)

Shape Neutral Analysis of Graph-based Data-structures. - Gregory J. Duck; Joxan Jaffar; Roland H. C. Yap (Theory Pract. Log. Program., 2018)

Arc Consistency Revisited. - Ruiwei Wang; Roland H. C. Yap (CPAIOR, 2019)

Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. - Sahil Verma; Roland H. C. Yap (ICTAI, 2019)

Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. - Roland H. C. Yap; Wei Xia; Ruiwei Wang (AAAI, 2020)

A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. - Wei Xia; Roland H. C. Yap (ICTAI, 2020)

Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. - Ruiwei Wang; Roland H. C. Yap (IJCAI, 2020)

Towards Certifying Trustworthy Machine Learning Systems. - Roland H. C. Yap (TAILOR, 2020)

The Power of Literal Equivalence in Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2021)

An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs. - Suhendry Effendy; Ngo Bao Chau; Roland H. C. Yap (LION, 2021)

Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2022)

RecIPE: Revisiting the Evaluation of Memory Error Defenses. - Yuancheng Jiang; Roland H. C. Yap; Zhenkai Liang; Hubert Rosier (AsiaCCS, 2022)

CNF Encodings of Binary Constraint Trees. - Ruiwei Wang; Roland H. C. Yap (CP, 2022)

Extensible Virtual Call Integrity. - Yuancheng Jiang; Gregory J. Duck; Roland H. C. Yap; Zhenkai Liang; Pinghai Yuan (ESORICS (3), 2022)

Hardening binaries against more memory errors. - Gregory J. Duck; Yuntong Zhang 002; Roland H. C. Yap (EuroSys, 2022)

CCDD: A Tractable Representation for Model Counting and Uniform Sampling. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CoRR, 2022)

Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction. - Kaiyuan Yang 003; Houjing Huang; Olafs Vandans; Adithya Murali; Fujia Tian; Roland H. C. Yap; Liang Dai (CoRR, 2022)

Fast Converging Anytime Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2023)

The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2023)

A Comparison of SAT Encodings for Acyclicity of Directed Graphs. - Neng-Fa Zhou; Ruiwei Wang; Roland H. C. Yap (SAT, 2023)

Real-time passenger bus routing problems with preferences and tradeoffs. - Suhendry Effendy; Roland H. C. Yap (Ann. Math. Artif. Intell., 2023)

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation. - Yuancheng Jiang; Jiahao Liu; Jinsheng Ba; Roland H. C. Yap; Zhenkai Liang; Manuel Rigger (ICSE, 2024)

Fuzzing the PHP Interpreter via Dataflow Fusion. - Yuancheng Jiang; Chuqi Zhang; Bonan Ruan; Jiahao Liu; Manuel Rigger; Roland H. C. Yap; Zhenkai Liang (CoRR, 2024)

On the Modelling of Constraints with Tractable Logical Operators. - Ruiwei Wang; Roland H. C. Yap (AAAI, 2025)

Panini: An Efficient and Flexible Knowledge Compiler. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CAV (3), 2025)

Fully Randomized Pointers. - Sai Dhawal Phaye; Gregory J. Duck; Roland H. C. Yap; Trevor E. Carlson (ISMM, 2025)

Enhanced Differential Testing in Emerging Database Systems. - Yuancheng Jiang; Jianing Wang; Chuqi Zhang; Roland H. C. Yap; Zhenkai Liang; Manuel Rigger (CoRR, 2025)

OSS-Bench: Benchmark Generator for Coding LLMs. - Yuancheng Jiang; Roland H. C. Yap; Zhenkai Liang (CoRR, 2025)

Evaluating Disassembly Errors With Only Binaries. - Lambang Akbar Wijayadi; Yuancheng Jiang; Roland H. C. Yap; Zhenkai Liang; Zhuohao Liu (CoRR, 2025)