default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoland H. C. Yap
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c126]Yuancheng Jiang
, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger:
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation. ICSE 2024: 46:1-46:12- [i15]Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson:
Fully Randomized Pointers. CoRR abs/2405.12513 (2024) - [i14]Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang:
Fuzzing the PHP Interpreter via Dataflow Fusion. CoRR abs/2410.21713 (2024) - 2023
- [j27]Suhendry Effendy, Roland H. C. Yap:
Real-time passenger bus routing problems with preferences and tradeoffs. Ann. Math. Artif. Intell. 91(2-3): 287-307 (2023) - [c125]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
Fast Converging Anytime Model Counting. AAAI 2023: 4025-4034 - [c124]Ruiwei Wang, Roland H. C. Yap:
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. AAAI 2023: 4104-4114 - [c123]Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap:
A Comparison of SAT Encodings for Acyclicity of Directed Graphs. SAT 2023: 30:1-30:9 - [e4]Roland H. C. Yap:
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. LIPIcs 280, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-300-3 [contents] - 2022
- [c122]Ruiwei Wang, Roland H. C. Yap:
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. AAAI 2022: 3850-3858 - [c121]Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier:
RecIPE: Revisiting the Evaluation of Memory Error Defenses. AsiaCCS 2022: 574-588 - [c120]Ruiwei Wang, Roland H. C. Yap:
CNF Encodings of Binary Constraint Trees. CP 2022: 40:1-40:19 - [c119]Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan:
Extensible Virtual Call Integrity. ESORICS (3) 2022: 723-739 - [c118]Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap:
Hardening binaries against more memory errors. EuroSys 2022: 117-131 - [e3]Andrew H. Sung, Rakesh M. Verma, Roland H. C. Yap:
IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, Baltimore, MD, USA, April 27, 2022. ACM 2022, ISBN 978-1-4503-9230-3 [contents] - [i13]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR abs/2202.10025 (2022) - [i12]Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai:
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction. CoRR abs/2211.14939 (2022) - [i11]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
Fast Converging Anytime Model Counting. CoRR abs/2212.09390 (2022) - 2021
- [c117]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
The Power of Literal Equivalence in Model Counting. AAAI 2021: 3851-3859 - [c116]Suhendry Effendy, Ngo Bao Chau, Roland H. C. Yap:
An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs. LION 2021: 121-127 - 2020
- [c115]Roland H. C. Yap, Wei Xia, Ruiwei Wang:
Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. AAAI 2020: 13590-13597 - [c114]Wei Xia, Roland H. C. Yap:
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. ICTAI 2020: 126-131 - [c113]Ruiwei Wang, Roland H. C. Yap:
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. IJCAI 2020: 1184-1191 - [c112]Roland H. C. Yap:
Towards Certifying Trustworthy Machine Learning Systems. TAILOR 2020: 77-82 - [i10]Sahil Verma, Roland H. C. Yap:
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. CoRR abs/2001.07914 (2020)
2010 – 2019
- 2019
- [c111]Ruiwei Wang, Roland H. C. Yap:
Arc Consistency Revisited. CPAIOR 2019: 599-615 - [c110]Sahil Verma, Roland H. C. Yap:
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. ICTAI 2019: 1-9 - 2018
- [j26]Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18(3-4): 470-483 (2018) - [c109]Wei Xia, Roland H. C. Yap:
Learning Robust Search Strategies Using a Bandit-Based Approach. AAAI 2018: 6657-6665 - [c108]Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: type and memory error detection using dynamically typed C/C++. PLDI 2018: 181-195 - [i9]Gregory J. Duck, Roland H. C. Yap:
An Extended Low Fat Allocator API and Applications. CoRR abs/1804.04812 (2018) - [i8]Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. CoRR abs/1804.09352 (2018) - [i7]Ruiwei Wang, Wei Xia, Roland H. C. Yap:
Correlation Heuristics for Constraint Programming. CoRR abs/1805.02205 (2018) - [i6]Wei Xia, Roland H. C. Yap:
Learning Robust Search Strategies Using a Bandit-Based Approach. CoRR abs/1805.03876 (2018) - 2017
- [j25]Ting Dai, Xiaolei Li, Behnaz Hassanshahi, Roland H. C. Yap, Zhenkai Liang:
RoppDroid: Robust permission re-delegation prevention in Android inter-component communication. Comput. Secur. 68: 98-111 (2017) - [c107]Suhendry Effendy, Roland H. C. Yap:
Using Community Structure to Categorize Computer Science Conferences: Initial Results. ASONAM 2017: 297-300 - [c106]Behnaz Hassanshahi, Roland H. C. Yap:
Android Database Attacks Revisited. AsiaCCS 2017: 625-639 - [c105]Suhendry Effendy, Roland H. C. Yap:
The Strong Link Graph for Enhancing Sybil Defenses. ICDCS 2017: 944-954 - [c104]Ruiwei Wang, Wei Xia, Roland H. C. Yap:
Correlation Heuristics for Constraint Programming. ICTAI 2017: 1037-1041 - [c103]Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro:
Stack Bounds Protection with Low Fat Pointers. NDSS 2017 - [c102]Suhendry Effendy, Roland H. C. Yap:
Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. WWW (Companion Volume) 2017: 1245-1250 - [i5]Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. CoRR abs/1710.06125 (2017) - 2016
- [c101]Joash W. J. Tan, Roland H. C. Yap:
Detecting Malware Through Anti-analysis Signals - A Preliminary Study. CANS 2016: 542-551 - [c100]Gregory J. Duck, Roland H. C. Yap:
Heap bounds protection with low fat pointers. CC 2016: 132-142 - [c99]Zhenquan Cai, Roland H. C. Yap:
Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps. CODASPY 2016: 172-182 - [c98]Suhendry Effendy, Roland H. C. Yap:
The Problem of Categorizing Conferences in Computer Science. TPDL 2016: 447-450 - [c97]Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li:
Optimizing Simple Tabular Reduction with a Bitwise Representation. IJCAI 2016: 787-795 - [c96]Suhendry Effendy, Roland H. C. Yap:
Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. WWW (Companion Volume) 2016: 425-430 - 2015
- [j24]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
STR3: A path-optimal filtering algorithm for table constraints. Artif. Intell. 220: 1-27 (2015) - [j23]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
Improving the lower bound of simple tabular reduction. Constraints An Int. J. 20(1): 100-108 (2015) - [c95]Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang:
Web-to-Application Injection Attacks on Android: Characterization and Detection. ESORICS (2) 2015: 577-598 - [c94]Yongzheng Wu, Roland H. C. Yap:
Simple and Practical Integrity Models for Binaries and Files. IFIPTM 2015: 30-46 - [c93]Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
Decomposition of the Factor Encoding for CSPs. IJCAI 2015: 353-359 - 2014
- [j22]Irvan Jahja, Suhendry Effendy, Roland H. C. Yap:
Experiments on Rating Conferences with CORE and DBLP. D Lib Mag. 20(11/12) (2014) - [c92]Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap:
Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds. CCGRID 2014: 31-40 - [c91]Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
Higher-Order Consistencies through GAC on Factor Variables. CP 2014: 497-513 - [c90]Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang:
Understanding Complex Binary Loading Behaviors. ICECCS 2014: 49-58 - [c89]Suhendry Effendy, Irvan Jahja, Roland H. C. Yap:
Relatedness measures between conferences in computer science: a preliminary study based on DBLP. WWW (Companion Volume) 2014: 1215-1220 - 2013
- [c88]Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap:
Towards a general framework for secure MapReduce computation on hybrid clouds. SoCC 2013: 36:1-36:2 - [c87]Wei Xia, Roland H. C. Yap:
Optimizing STR Algorithms with Tuple Compression. CP 2013: 724-732 - [c86]Behnaz Hassanshahi, Roland H. C. Yap:
JNICodejail: native code isolation for Java programs. PPPJ 2013: 173-176 - [c85]Chavalit Likitvivatanavong, Roland H. C. Yap:
Many-to-many interchangeable sets of values in CSPs. SAC 2013: 86-91 - 2012
- [j21]Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap:
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. Proc. VLDB Endow. 5(6): 502-513 (2012) - [c84]Suhendry Effendy, Roland H. C. Yap, Felix Halim:
Revisiting link privacy in social networks. CODASPY 2012: 61-70 - [c83]Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap:
Space-Time Tradeoffs for the Regular Constraint. CP 2012: 223-237 - [c82]Yongzheng Wu, Roland H. C. Yap:
Experiments with Malware Visualization. DIMVA 2012: 123-133 - [c81]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
A Path-Optimal GAC Algorithm for Table Constraints. ECAI 2012: 510-515 - [c80]Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang:
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. ESORICS 2012: 859-876 - [c79]Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang:
Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. ICICS 2012: 373-380 - [i4]Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap:
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. CoRR abs/1203.0055 (2012) - 2011
- [j20]Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu:
Enhancing host security using external environment sensors. Int. J. Inf. Sec. 10(5): 285-299 (2011) - [j19]Yuanlin Zhang, Roland H. C. Yap:
Solving functional constraints by variable substitution. Theory Pract. Log. Program. 11(2-3): 297-322 (2011) - [c78]Yongzheng Wu, Roland H. C. Yap:
Towards a binary integrity system for windows. AsiaCCS 2011: 503-507 - [c77]Suhendry Effendy, Felix Halim, Roland H. C. Yap:
Partial Social Network Disclosure and Crawlers. DASC 2011: 808-815 - [c76]Sufatrio, Roland H. C. Yap:
Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. Metrisec@ESEM 2011: 31-40 - [c75]Felix Halim, Roland H. C. Yap, Yongzheng Wu:
A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. ICDCS 2011: 192-202 - [c74]Sufatrio, Roland H. C. Yap:
Trusted Principal-Hosted Certificate Revocation. IFIPTM 2011: 173-189 - [i3]Roland H. C. Yap, Yuanlin Zhang:
Set Intersection and Consistency in Constraint Networks. CoRR abs/1110.2203 (2011) - 2010
- [j18]Kenil C. K. Cheng, Roland H. C. Yap:
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints An Int. J. 15(2): 265-304 (2010) - [c73]Felix Halim, Panagiotis Karras, Roland H. C. Yap:
Local Search in Histogram Construction. AAAI 2010: 1680-1685 - [c72]Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath:
Comprehending module dependencies and sharing. ICSE (2) 2010: 89-98 - [c71]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Routing in the Watts and Strogatz Small World Networks Revisited. SASO Workshops 2010: 247-250 - [c70]Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu:
Enhancing Host Security Using External Environment Sensors. SecureComm 2010: 362-379 - [c69]Yongzheng Wu, Roland H. C. Yap, Felix Halim:
Visualizing windows system traces. SOFTVIS 2010: 123-132 - [c68]Yongzheng Wu, Roland H. C. Yap:
The Problem of Usable Binary Authentication. SSIRI (Companion) 2010: 34-35 - [i2]Yuanlin Zhang, Roland H. C. Yap:
Solving Functional Constraints by Variable Substitution. CoRR abs/1006.3215 (2010)
2000 – 2009
- 2009
- [c67]Felix Halim, Panagiotis Karras, Roland H. C. Yap:
Fast and effective histogram construction. CIKM 2009: 1167-1176 - [c66]Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath:
An Usability Study of Continuous Biometrics Authentication. ICB 2009: 828-837 - [c65]Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap:
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68 - [c64]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Wiki credibility enhancement. Int. Sym. Wikis 2009 - 2008
- [c63]Chavalit Likitvivatanavong, Roland H. C. Yap:
A Refutation Approach to Neighborhood Interchangeability in CSPs. Australasian Conference on Artificial Intelligence 2008: 93-103 - [c62]Kenil C. K. Cheng, Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. CP 2008: 509-523 - [c61]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
An Elimination Algorithm for Functional Constraints. CP 2008: 545-549 - [c60]Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction for Constraint Optimization Problems. CP 2008: 635-639 - [c59]Steven Halim, Roland H. C. Yap, Felix Halim:
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. CP 2008: 640-645 - [c58]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
Efficient Algorithms for Functional Constraints. ICLP 2008: 606-620 - [c57]Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap:
A Lightweight Binary Authentication System for Windows. IFIPTM 2008: 295-310 - [c56]Sufatrio, Roland H. C. Yap:
Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. NPC Workshops 2008: 190-197 - [c55]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Small World Networks as (Semi)-Structured Overlay Networks. SASO Workshops 2008: 214-218 - [c54]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Security Issues in Small World Network Routing. SASO 2008: 493-494 - 2007
- [c53]Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction and Russian Doll Search. AAAI 2007: 179-184 - [c52]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Generalized Committed Choice. COORDINATION 2007: 191-210 - [c51]Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. CP 2007: 332-347 - [c50]Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO 2007: 153-178 - [c49]Steven Halim, Roland H. C. Yap:
Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. SLS 2007: 16-30 - [c48]Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea:
Approximate Satisfiability Counting. SYNASC 2007: 196-202 - 2006
- [j17]Kenil C. K. Cheng, Roland H. C. Yap:
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Constraints An Int. J. 11(2-3): 91-114 (2006) - [j16]Yuanlin Zhang, Roland H. C. Yap:
Set Intersection and Consistency in Constraint Networks. J. Artif. Intell. Res. 27: 441-464 (2006) - [c47]Chavalit Likitvivatanavong, Roland H. C. Yap:
Extracting Microstructure in Binary Constraint Networks. CSCLP 2006: 124-138 - [c46]Kenil C. K. Cheng, Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. ECAI 2006: 78-82 - [c45]Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. ECAI 2006: 703-704 - [c44]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Indexing for Dynamic Abstract Regions. ICDE 2006: 12 - [c43]Sebastian Brand, Roland H. C. Yap:
Towards "Propagation = Logic + Control". ICLP 2006: 102-116 - [c42]Hoong Chuin Lau, Jia Li, Roland H. C. Yap:
Robust Controllability of Temporal Constraint Networks under Uncertainty. ICTAI 2006: 288-296 - [c41]Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu:
WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. LISA 2006: 175-186 - [c40]Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
Viz: a visual analysis suite for explaining local search behavior. UIST 2006: 57-66 - [i1]Sebastian Brand, Roland H. C. Yap:
Towards "Propagation = Logic + Control". CoRR abs/cs/0608015 (2006) - 2005
- [j15]Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang:
An optimal coarse-grained arc consistency algorithm. Artif. Intell. 165(2): 165-185 (2005) - [c39]Kenil C. K. Cheng, Roland H. C. Yap:
Constrained Decision Diagrams. AAAI 2005: 366-371 - [c38]Yongzheng Wu, Roland H. C. Yap:
A User-level Framework for Auditing and Monitoring. ACSAC 2005: 95-105 - [c37]Kenil C. K. Cheng, Roland H. C. Yap:
Ad-hoc Global Constraints for Life. CP 2005: 182-195 - [c36]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Coordination of Many Agents. ICLP 2005: 98-112 - [c35]