Roland H. C. Yap

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 44

Top Venues

Publications

Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson
Fully Randomized Pointers. CoRR (2024)
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)
Ruiwei Wang, Roland H. C. Yap
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. AAAI (2023)
Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap
A Comparison of SAT Encodings for Acyclicity of Directed Graphs. SAT (2023)
Suhendry Effendy, Roland H. C. Yap
Real-time passenger bus routing problems with preferences and tradeoffs. Ann. Math. Artif. Intell. 91 (2) (2023)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. AAAI (2023)
Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap
Hardening binaries against more memory errors. EuroSys (2022)
Ruiwei Wang, Roland H. C. Yap
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. AAAI (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. CoRR (2022)
Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan
Extensible Virtual Call Integrity. ESORICS (3) (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR (2022)
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 (2022)
Ruiwei Wang, Roland H. C. Yap
CNF Encodings of Binary Constraint Trees. CP (2022)
Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier
RecIPE: Revisiting the Evaluation of Memory Error Defenses. AsiaCCS (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
The Power of Literal Equivalence in Model Counting. AAAI (2021)
Suhendry Effendy, Ngo Bao Chau, Roland H. C. Yap
An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs. LION (2021)
Wei Xia, Roland H. C. Yap
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. ICTAI (2020)
Roland H. C. Yap, Wei Xia, Ruiwei Wang
Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. AAAI (2020)
Sahil Verma, Roland H. C. Yap
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. CoRR (2020)
Ruiwei Wang, Roland H. C. Yap
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. IJCAI (2020)
Roland H. C. Yap
Towards Certifying Trustworthy Machine Learning Systems. TAILOR (2020)
Ruiwei Wang, Roland H. C. Yap
Arc Consistency Revisited. CPAIOR (2019)
Sahil Verma, Roland H. C. Yap
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. ICTAI (2019)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. CoRR (2018)
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Correlation Heuristics for Constraint Programming. CoRR (2018)
Wei Xia, Roland H. C. Yap
Learning Robust Search Strategies Using a Bandit-Based Approach. CoRR (2018)
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18 (3-4) (2018)
Gregory J. Duck, Roland H. C. Yap
EffectiveSan: type and memory error detection using dynamically typed C/C++. PLDI (2018)
Wei Xia, Roland H. C. Yap
Learning Robust Search Strategies Using a Bandit-Based Approach. AAAI (2018)
Gregory J. Duck, Roland H. C. Yap
An Extended Low Fat Allocator API and Applications. CoRR (2018)
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Correlation Heuristics for Constraint Programming. ICTAI (2017)
Suhendry Effendy, Roland H. C. Yap
Using Community Structure to Categorize Computer Science Conferences: Initial Results. ASONAM (2017)
Suhendry Effendy, Roland H. C. Yap
The Strong Link Graph for Enhancing Sybil Defenses. ICDCS (2017)
Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro
Stack Bounds Protection with Low Fat Pointers. NDSS (2017)
Behnaz Hassanshahi, Roland H. C. Yap
Android Database Attacks Revisited. AsiaCCS (2017)
Gregory J. Duck, Roland H. C. Yap
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. CoRR (2017)
Suhendry Effendy, Roland H. C. Yap
Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. WWW (Companion Volume) (2017)
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 (2017)
Suhendry Effendy, Roland H. C. Yap
Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. WWW (Companion Volume) (2016)
Gregory J. Duck, Roland H. C. Yap
Heap bounds protection with low fat pointers. CC (2016)
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li
Optimizing Simple Tabular Reduction with a Bitwise Representation. IJCAI (2016)
Zhenquan Cai, Roland H. C. Yap
Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps. CODASPY (2016)
Suhendry Effendy, Roland H. C. Yap
The Problem of Categorizing Conferences in Computer Science. TPDL (2016)
Joash W. J. Tan, Roland H. C. Yap
Detecting Malware Through Anti-analysis Signals - A Preliminary Study. CANS (2016)
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
Decomposition of the Factor Encoding for CSPs. IJCAI (2015)
Yongzheng Wu, Roland H. C. Yap
Simple and Practical Integrity Models for Binaries and Files. IFIPTM (2015)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
STR3: A path-optimal filtering algorithm for table constraints. Artif. Intell. 220 (2015)
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)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
Improving the lower bound of simple tabular reduction. Constraints An Int. J. 20 (1) (2015)
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)
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)
Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang
Understanding Complex Binary Loading Behaviors. ICECCS (2014)
Irvan Jahja, Suhendry Effendy, Roland H. C. Yap
Experiments on Rating Conferences with CORE and DBLP. D Lib Mag. 20 (11/12) (2014)
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
Higher-Order Consistencies through GAC on Factor Variables. CP (2014)
Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap
Towards a general framework for secure MapReduce computation on hybrid clouds. SoCC (2013)
Chavalit Likitvivatanavong, Roland H. C. Yap
Many-to-many interchangeable sets of values in CSPs. SAC (2013)
Behnaz Hassanshahi, Roland H. C. Yap
JNICodejail: native code isolation for Java programs. PPPJ (2013)
Wei Xia, Roland H. C. Yap
Optimizing STR Algorithms with Tuple Compression. CP (2013)
Suhendry Effendy, Roland H. C. Yap, Felix Halim
Revisiting link privacy in social networks. CODASPY (2012)
Yongzheng Wu, Roland H. C. Yap
Experiments with Malware Visualization. DIMVA (2012)
Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores CoRR (2012)
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) (2012)
Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. ESORICS (2012)
Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap
Space-Time Tradeoffs for the Regular Constraint. CP (2012)
Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang
Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. ICICS (2012)
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
A Path-Optimal GAC Algorithm for Table Constraints. ECAI (2012)
Yuanlin Zhang, Roland H. C. Yap
Solving functional constraints by variable substitution. Theory Pract. Log. Program. 11 (2-3) (2011)
Suhendry Effendy, Felix Halim, Roland H. C. Yap
Partial Social Network Disclosure and Crawlers. DASC (2011)
Roland H. C. Yap, Yuanlin Zhang
Set Intersection and Consistency in Constraint Networks CoRR (2011)
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) (2011)
Sufatrio, Roland H. C. Yap
Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. Metrisec@ESEM (2011)
Felix Halim, Roland H. C. Yap, Yongzheng Wu
A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. ICDCS (2011)
Yongzheng Wu, Roland H. C. Yap
Towards a binary integrity system for windows. AsiaCCS (2011)
Sufatrio, Roland H. C. Yap
Trusted Principal-Hosted Certificate Revocation. IFIPTM (2011)
Felix Halim, Yongzheng Wu, Roland H. C. Yap
Routing in the Watts and Strogatz Small World Networks Revisited. SASO Workshops (2010)
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) (2010)
Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath
Comprehending module dependencies and sharing. ICSE (2) (2010)
Yuanlin Zhang, Roland H. C. Yap
Solving Functional Constraints by Variable Substitution CoRR (2010)
Yongzheng Wu, Roland H. C. Yap
The Problem of Usable Binary Authentication. SSIRI (Companion) (2010)
Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu
Enhancing Host Security Using External Environment Sensors. SecureComm (2010)
Felix Halim, Panagiotis Karras, Roland H. C. Yap
Local Search in Histogram Construction. AAAI (2010)
Yongzheng Wu, Roland H. C. Yap, Felix Halim
Visualizing windows system traces. SOFTVIS (2010)
Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath
An Usability Study of Continuous Biometrics Authentication. ICB (2009)
Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC (2009)
Felix Halim, Yongzheng Wu, Roland H. C. Yap
Wiki credibility enhancement. Int. Sym. Wikis (2009)
Felix Halim, Panagiotis Karras, Roland H. C. Yap
Fast and effective histogram construction. CIKM (2009)
Felix Halim, Yongzheng Wu, Roland H. C. Yap
Small World Networks as (Semi)-Structured Overlay Networks. SASO Workshops (2008)
Felix Halim, Yongzheng Wu, Roland H. C. Yap
Security Issues in Small World Network Routing. SASO (2008)
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
An Elimination Algorithm for Functional Constraints. CP (2008)
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
Efficient Algorithms for Functional Constraints. ICLP (2008)
Sufatrio, Roland H. C. Yap
Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. NPC Workshops (2008)
Steven Halim, Roland H. C. Yap, Felix Halim
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. CP (2008)
Kenil C. K. Cheng, Roland H. C. Yap
Search Space Reduction for Constraint Optimization Problems. CP (2008)
Kenil C. K. Cheng, Roland H. C. Yap
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. CP (2008)
Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap
A Lightweight Binary Authentication System for Windows. IFIPTM (2008)
Chavalit Likitvivatanavong, Roland H. C. Yap
A Refutation Approach to Neighborhood Interchangeability in CSPs. Australasian Conference on Artificial Intelligence (2008)
Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea
Approximate Satisfiability Counting. SYNASC (2007)
Kenil C. K. Cheng, Roland H. C. Yap
Search Space Reduction and Russian Doll Search. AAAI (2007)
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. CP (2007)
Steven Halim, Roland H. C. Yap
Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. SLS (2007)

Roland H. C. Yap.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roland H. C. Yap