| 2025 | AAAI | On the Modelling of Constraints with Tractable Logical Operators. | Ruiwei Wang, Roland H. C. Yap |
| 2025 | AsiaCCS | Evaluating Disassembly Errors With Only Binaries. | Lambang Akbar Wijayadi, Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Zhuohao Liu |
| 2025 | CAV | Panini: An Efficient and Flexible Knowledge Compiler. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2025 | ECAI | AI Fairness Beyond Complete Demographics: Current Achievements and Future Directions. | Zichong Wang, Zhipeng Yin, Roland H. C. Yap, Wenbin Zhang |
| 2024 | ECAI | Individual Fairness with Group Constraints in Graph Neural Networks. | Zichong Wang, David Ulloa, Tongjia Yu, Raju Rangaswami, Roland H. C. Yap, Wenbin Zhang |
| 2024 | ICSE | 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 |
| 2023 | AAAI | Fast Converging Anytime Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2023 | AAAI | The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. | Ruiwei Wang, Roland H. C. Yap |
| 2023 | SAT | A Comparison of SAT Encodings for Acyclicity of Directed Graphs. | Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap |
| 2022 | AAAI | Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. | Ruiwei Wang, Roland H. C. Yap |
| 2022 | AsiaCCS | RecIPE: Revisiting the Evaluation of Memory Error Defenses. | Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier |
| 2022 | CP | CNF Encodings of Binary Constraint Trees. | Ruiwei Wang, Roland H. C. Yap |
| 2022 | ESORICS | Extensible Virtual Call Integrity. | Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan |
| 2022 | EuroSys | Hardening binaries against more memory errors. | Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap |
| 2021 | AAAI | The Power of Literal Equivalence in Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2020 | AAAI | Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. | Roland H. C. Yap, Wei Xia, Ruiwei Wang |
| 2020 | IJCAI | Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. | Ruiwei Wang, Roland H. C. Yap |
| 2020 | ICTAI | A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. | Wei Xia, Roland H. C. Yap |
| 2019 | CPAIOR | Arc Consistency Revisited. | Ruiwei Wang, Roland H. C. Yap |
| 2019 | ICTAI | Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. | Sahil Verma, Roland H. C. Yap |
| 2018 | AAAI | Learning Robust Search Strategies Using a Bandit-Based Approach. | Wei Xia, Roland H. C. Yap |
| 2018 | PLDI | EffectiveSan: type and memory error detection using dynamically typed C/C++. | Gregory J. Duck, Roland H. C. Yap |
| 2017 | CCS | Android Database Attacks Revisited. | Behnaz Hassanshahi, Roland H. C. Yap |
| 2017 | ICDCS | The Strong Link Graph for Enhancing Sybil Defenses. | Suhendry Effendy, Roland H. C. Yap |
| 2017 | ICTAI | Correlation Heuristics for Constraint Programming. | Ruiwei Wang, Wei Xia, Roland H. C. Yap |
| 2017 | NDSS | Stack Bounds Protection with Low Fat Pointers. | Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro |
| 2017 | WWW | Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. | Suhendry Effendy, Roland H. C. Yap |
| 2016 | CANS | Detecting Malware Through Anti-analysis Signals - A Preliminary Study. | Joash W. J. Tan, Roland H. C. Yap |
| 2016 | CC | Heap bounds protection with low fat pointers. | Gregory J. Duck, Roland H. C. Yap |
| 2016 | IJCAI | Optimizing Simple Tabular Reduction with a Bitwise Representation. | Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li |
| 2016 | WWW | Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. | Suhendry Effendy, Roland H. C. Yap |
| 2015 | ESORICS | Web-to-Application Injection Attacks on Android: Characterization and Detection. | Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang |
| 2015 | IJCAI | Decomposition of the Factor Encoding for CSPs. | Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
| 2014 | CCGRID | Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds. | Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap |
| 2014 | CP | Higher-Order Consistencies through GAC on Factor Variables. | Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
| 2014 | ICECCS | Understanding Complex Binary Loading Behaviors. | Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang |
| 2014 | WWW | Relatedness measures between conferences in computer science: a preliminary study based on DBLP. | Suhendry Effendy, Irvan Jahja, Roland H. C. Yap |
| 2013 | CLOUD | Towards a general framework for secure MapReduce computation on hybrid clouds. | Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap |
| 2013 | CP | Optimizing STR Algorithms with Tuple Compression. | Wei Xia, Roland H. C. Yap |
| 2013 | SAC | Many-to-many interchangeable sets of values in CSPs. | Chavalit Likitvivatanavong, Roland H. C. Yap |
| 2012 | CP | Space-Time Tradeoffs for the Regular Constraint. | Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
| 2012 | DIMVA | Experiments with Malware Visualization. | Yongzheng Wu, Roland H. C. Yap |
| 2012 | ECAI | A Path-Optimal GAC Algorithm for Table Constraints. | Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap |
| 2012 | ESORICS | Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. | Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang |
| 2012 | ICICS | Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. | Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang |
| 2011 | CCS | Towards a binary integrity system for windows. | Yongzheng Wu, Roland H. C. Yap |
| 2011 | DASC | Partial Social Network Disclosure and Crawlers. | Suhendry Effendy, Felix Halim, Roland H. C. Yap |
| 2011 | ESEM | Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. | Sufatrio, Roland H. C. Yap |
| 2011 | ICDCS | A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. | Felix Halim, Roland H. C. Yap, Yongzheng Wu |
| 2010 | AAAI | Local Search in Histogram Construction. | Felix Halim, Panagiotis Karras, Roland H. C. Yap |
| 2010 | ICSE | Comprehending module dependencies and sharing. | Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath |
| 2010 | SecureComm | Enhancing Host Security Using External Environment Sensors. | Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu |
| 2009 | CIKM | Fast and effective histogram construction. | Felix Halim, Panagiotis Karras, Roland H. C. Yap |
| 2009 | SYNASC | A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
| 2008 | CP | Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2008 | CP | Search Space Reduction for Constraint Optimization Problems. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2008 | CP | Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. | Steven Halim, Roland H. C. Yap, Felix Halim |
| 2008 | CP | An Elimination Algorithm for Functional Constraints. | Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | ICLP | Efficient Algorithms for Functional Constraints. | Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | NPC | Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. | Sufatrio, Roland H. C. Yap |
| 2007 | AAAI | Search Space Reduction and Russian Doll Search. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2007 | Coordination | Generalized Committed Choice. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2007 | CP | An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. | Steven Halim, Roland H. C. Yap, Hoong Chuin Lau |
| 2007 | SYNASC | Approximate Satisfiability Counting. | Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea |
| 2006 | ECAI | Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2006 | ECAI | Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. | Steven Halim, Roland H. C. Yap, Hoong Chuin Lau |
| 2006 | ICDE | Indexing for Dynamic Abstract Regions. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2006 | ICLP | Towards "Propagation = Logic + Control". | Sebastian Brand, Roland H. C. Yap |
| 2006 | ICTAI | Robust Controllability of Temporal Constraint Networks under Uncertainty. | Hoong Chuin Lau, Jia Li, Roland H. C. Yap |
| 2006 | UIST | Viz: a visual analysis suite for explaining local search behavior. | Steven Halim, Roland H. C. Yap, Hoong Chuin Lau |
| 2005 | AAAI | Constrained Decision Diagrams. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2005 | ACSAC | A User-level Framework for Auditing and Monitoring. | Yongzheng Wu, Roland H. C. Yap |
| 2005 | CP | Ad-hoc Global Constraints for Life. | Kenil C. K. Cheng, Roland H. C. Yap |
| 2005 | ICLP | Coordination of Many Agents. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2005 | RAID | Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. | Sufatrio, Roland H. C. Yap |
| 2004 | ICTAI | Scalable Distributed Depth-First Search with Greedy Work Stealing. | Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu |
| 2004 | PADL | Symbolic Execution of Behavioral Requirements. | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
| 2003 | FPL | Hardware Implementations of Real-Time Reconfigurable WSAT Variants. | Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz |
| 2003 | IJCAI | Consistency and Set Intersection. | Yuanlin Zhang, Roland H. C. Yap |
| 2002 | AAAI | Consistency and Set Intersection. | Yuanlin Zhang, Roland H. C. Yap |
| 2002 | AAAI | Incrementally Solving Functional Constraints. | Yuanlin Zhang, Roland H. C. Yap |
| 2002 | FPL | Implementing CSAT Local Search on FPGAs. | Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2001 | CP | One Flip per Clock Cycle. | Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2001 | IJCAI | Making AC-3 an Optimal Algorithm. | Yuanlin Zhang, Roland H. C. Yap |
| 2001 | ISADS | Reactive Web Agents with Open Constraint Programming. | Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap |
| 2001 | SIGIR | Automatic Information Extraction from Web Pages. | Roland H. C. Yap, Budi Rahardjo |
| 2000 | CP | Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. | Hui Wu, Joxan Jaffar, Roland H. C. Yap |
| 2000 | CP | Arc Consistency on | Yuanlin Zhang, Roland H. C. Yap |
| 2000 | ICECCS | Concurrent Programming Made Easy. | Rafael Ramrez, Andrew E. Santosa, Roland H. C. Yap |
| 1999 | AAAI | Functional Elimination and 0/1/All Constraints. | Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar |
| 1999 | ICLP | Finding Fair Allocations for the Coalition Problem with Constraints. | Evan Tick, Roland H. C. Yap, Michael J. Maher |
| 1998 | CP | Early Projection in CLP(R). | Andreas Fordan, Roland H. C. Yap |
| 1998 | CP | Open Constraint Programming. | Joxan Jaffar, Roland H. C. Yap |
| 1998 | ICLP | Towards Early Projection in CLP(R). | Andreas Fordan, Roland H. C. Yap |
| 1997 | LPNMR | Forward and Backward Chaining in Constraint Programming (Abstract). | Joxan Jaffar, Bing Liu, Roland H. C. Yap |
| 1996 | ICLP | Effectiveness of Optimizing Compilation for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap |
| 1995 | CP | An Optimizing Compiler for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Sndergaard, Peter J. Stuckey, Roland H. C. Yap |
| 1995 | ICLP | Linear Equation Solving for Constraint Logic Programming. | Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap |
| 1992 | PLDI | An Abstract Machine for CLP(R). | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
| 1991 | ICLP | Restriction Site Mapping in CLP(R). | Roland H. C. Yap |
| 1991 | PLDI | A Methodology for Managing Hard Constraints in CLP Systems. | Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap |