Submissions from 2025
Leveraging reviewer experience in code review comment generation, Hong Yi LIN, Patanamon THONGTANUNAM, Christoph TREUDE, Michael W. GODFREY, Chunhua LIU, and Wachiraphan CHAROENWET Journal Article
MPO: Multilingual safety alignment via reward gap optimization, Weixiang ZHAO, Yulin HU, Yang DENG, Tongtong WU, Wenxuan ZHANG, Jiahe GUO, An ZHANG, Yanyan ZHAO, Bing QIN, Tat-Seng CHUA, and Ting LIU Conference Proceeding Article
Non-homophilic graph pre-training and prompt learning, Xingtong YU, Jie ZHANG, Yuan FANG, and Renhe JIANG Conference Proceeding Article
Optimal transport alignment of user preferences from ratings and texts, Nhu Thuat TRAN and Hady Wirawan LAUW Conference Proceeding Article
Optimizing group utility in itinerary planning: A strategic and crowd-aware approach, Junhua LIU, Aldy GUNAWAN, Kristin L. WOOD, and Kwan Hui LIM Journal Article
Other orienteering problem variants, Pieter VANSTEENWEGEN and Aldy GUNAWAN Book Chapter
Practical keyword private information retrieval from key-to-index mappings, Meng HAO; Weiran LIU; Liqiang PENG; Cong ZHANG; Pengfei WU; Lei ZHANG; Hongwei LI; and DENG, Robert H. Conference Proceeding Article
Preface, special issue for the 16th International Conference on Graph Transformation (ICGT 2023), Maribel FERNÁNDEZ and Christopher M. POSKITT Transcript
Reimagining education with AI, Margherita PAGANI, Steven M. Miller, and Jerry WIND Book Chapter
RL4CO: An extensive reinforcement learning for combinatorial optimization benchmark, Federico BERTO and et. al Conference Proceeding Article
Solving two-stage stochastic integer programs via representation learning, Yaoxin WU, Zhiguang CAO, Wen SONG, and Yingqian ZHANG Journal Article
The code review comprehension assessment for language models, Hong Yi LIN, Chunhua LIU, Haoyu GAO, Patanamon THONGTANUNAM, and Christoph TREUDE Conference Proceeding Article
Think both ways: Teacher-student bidirectional reasoning enhances MCQ generation and distractor quality, Yimiao QIU, Yang DENG, Quanming YAO, Zhimeng ZHANG, Zhiang DONG, Chang YAO, and Jingyuan CHEN Conference Proceeding Article
Towards context-aware traffic classification via time-wavelet fusion network, Ziming ZHAO, Zhuoxue SONG, Xiaofei XIE, Zhaoxuan LI, Jiongchi YU, Fan Terry ZHANG, and Tingting LI Conference Proceeding Article
VERCATION: Precise vulnerable open-source software version identification based on static analysis and LLM, Yiran CHENG, Ting ZHANG, Lwin Khin SHAR, Shouguo YANG, Chaopeng DONG, David LO, Shichao Lv, Zhiqiang SHI, and Limin SUN Journal Article
Regional crowd flow estimation from aerial view, Huibin WEI, Qi LI, Xindai LIN, Yuhao LIN, Shu WANG, Shengfeng HE, Antoni B. CHAN, and Wenxi LIU Journal Article
FedGraft: Memory-aware heterogeneous federated learning via model grafting, Ruixuan LIU, Ming HU, Zeke XIA, Xiaofei XIE, Jun XIA, Pengyu ZHANG, Yihao HUANG, and Mingsong CHEN Journal Article
LIGHT: Enhancing learning path recommendation via knowledge topology-aware sequence optimization, Xiaoshan YU, Shangshang YANG, Ziwen WANG, Siyu SONG, Haiping MA, Zhiguang CAO, and Xingyi ZHANG Conference Proceeding Article
DeGain: Detecting GAN-based data inversion in collaborative deep learning, Zhenzhu CHEN, Yansong GAO, Anmin FU, Fanjian ZENG, Boyu KUANG, and Robert H. DENG Conference Proceeding Article
Three-round (robust) threshold ECDSA from threshold CL encryption, Bowen JIANG, Guofeng TANG, and Haiyang XUE Conference Proceeding Article
Probabilistic interactive 3D segmentation with hierarchical neural processes, Jie LIU, Pan ZHOU, Zehao XIAO, Jiayi SHEN, Wenzhe YIN, Jan-Jakob SONKE, and GAVVES Efstratios Conference Proceeding Article
An incentive mechanism for privacy preserved data trading with verifiable data disturbance, Man ZHANG, Xinghua LI, Bin LUO, Yanbing REN, Yinbin MIAO, Ximeng LIU, and Robert H. DENG Journal Article
Sanitizable cross-domain access control with policy-driven dynamic authorization, Jianfei SUN, Guowen XU, Hongwei LI, Tianwei ZHANG, Cong WU, Xuehuan YANG, and Robert H. DENG Journal Article
SIGFinger: A subtle and interactive GNN fingerprinting scheme via spatial structure inference perturbation, Ju JIA, Renjie LI, Cong WU, Siqi MA, Lina WANG, and Robert H. DENG Journal Article
Understanding the bad development practices of Android custom permissions in the wild, Xiaohan ZHANG, Zhiyuan YU, Xinghua LI, Cen ZHANG, Cong SUN, Ning ZHANG, and Robert H. DENG Journal Article
Action dubber: Timing audible actions via inflectional flow, Wenlong WAN, Weiying ZHENG, Tianyi XIANG, Guiqing LI, and Shengfeng HE Conference Proceeding Article
Advancing food nutrition estimation via visual-ingredient feature fusion, Huiyan QI, Bin ZHU, Chong-wah NGO, Jingjing CHEN, and Ee-peng LIM Conference Proceeding Article
A mixed-curvature based pre-training paradigm for multi-task vehicle routing solver, Suyu LIU, Zhiguang CAO, Shanshan FENG, and Yew-Soon ONG Conference Proceeding Article
An efficient diffusion-based non-autoregressive solver for traveling salesman problem, Mingzhao WANG, You ZHOU, Zhiguang CAO, Yubin XIAO, Xuan WU, Wei PANG, Yuan JIANG, Hui YANG, Peng ZHAO, and Yuanshu LI Conference Proceeding Article
An exponential cone integer programming and piece-wise linear approximation approach for 0-1 fractional programming, Hoang Giang PHAM, Thuy Anh TA, and Tien MAI Journal Article
An on-the-fly synthesis framework for LTL over finite traces, Shengping XIAO, Yongkang LI, Shufang ZHU, Jun SUN, Jianwen LI, Geguang PU, and Moshe VARDI Journal Article
Collaboration with Dynamic Open Ad Hoc Team via Team State Modelling, Jing SUN, Cong ZHANG, and Zhiguang CAO Journal Article
CROW: Eliminating backdoors from large language models via internal consistency regularization, Nay Myat MIN, Long H. PHAM, Yige LI, and Jun SUN Conference Proceeding Article
Diversity optimization for travelling salesman problem via deep reinforcement learning, Qi LI, Zhiguang CAO, Yining MA, Yaoxin WU, and Yue-Jiao GONG Conference Proceeding Article
Dual-target disjointed cross-domain recommendation mediated via latent user preferences, Dinh Hieu DO and Hady Wirawan LAUW Journal Article
Efficient prompt tuning for hierarchical ingredient recognition, Yinxuan GUI, Bin ZHU, Jingjing CHEN, and Chong-wah NGO Conference Proceeding Article
Evaluating ChatGPT to answer multi-modal exercises in computer science education, Eng Lieh OUH, Kar Way TAN, Siaw Ling LO, and Benjamin GAN Conference Proceeding Article
FoodLMM: A versatile food assistant using large multi-modal model, Yuehao YIN, Huiyan QI, Bin ZHU, Jingjing CHEN, Yu-Gang JIANG, and Chong-wah NGO Journal Article
HPS: Hard preference sampling for human preference alignment, Xiandong ZOU, Wanyu LIN, Yuchen LI, and Pan ZHOU Conference Proceeding Article
Instruct2see: Learning to remove any obstructions across distributions, Junhang LI, Yu GUO, Chuhua XIAN, and Shengfeng HE Conference Proceeding Article
Leakage-resilient easily deployable and efficiently searchable encryption (EDESE), Jiaming YUAN, Yingjiu LI, Jun LI, Daoyuan WU, Jianting NING, Yangguang TIAN, and Robert H. DENG Conference Proceeding Article
LLM-based multi-agent systems for software engineering: Literature review, vision and the road ahead, Junda HE, Christoph TREUDE, and David LO Journal Article
LLMScan: Causal scan for LLM misbehavior detection, Mengdi ZHANG, Kai Kiat GOH, Peixin ZHANG, Jun SUN, Lin Xin ROSE, and Hongyu ZHANG Conference Proceeding Article
Meta-black-box-optimization through offline Q-function learning, Zeyuan MA, Zhiguang CAO, Zhou JIANG, Hongshu GUO, and Yue-Jiao GONG Conference Proceeding Article
MILPBench: A large-scale benchmark test suite for mixed integer linear programming problems, Huigen YE, Yaoyang CHENG, Hua XU, Zhiguang CAO, and Hanzhang QIN Conference Proceeding Article
OptSE: Towards optimal symbolic execution, Shunkai ZHU, Jun SUN, Jingyi WANG, Xingwei LIN, and Peng CHENG Journal Article
Position: Trustworthy AI agents require the integration of large language models and formal methods, Yedi ZHANG, Yufan CAI, Xinyue ZUO, Xiaokun LUAN, Kailong WANG, Zhe HOU, Yifan ZHANG, Zhiyuan WEI, Meng SUN, Jun SUN, Jing SUN, and Jin Song DONG Conference Proceeding Article
PromptTutor: Effects of an LLM-based chatbot on learning outcomes and motivation in flipped classrooms, Yuhao ZHANG, Eng Lieh OUH, Chong Jee Adam HO, Siaw Ling LO, Kar Way TAN, and Feng LIN Conference Proceeding Article
Query understanding in LLM-based conversational information seeking, Yifei YUAN, Zahra ABBASIANTAEB, Mohammad ALIANNEJADI, and Yang DENG Conference Proceeding Article
Repairing adversarial texts through perturbation, Guoliang DONG, Jingyi WANG, Jun SUN, Sudipta CHATTOPADHYAY, Xinyu WANG, Ting DAI, Jie SHI, and Jin Song DONG Conference Proceeding Article
Runtime anomaly detection for drones: An integrated rule-mining and unsupervised learning approach, Ivan Wei Han TAN, Wei MINN, Christopher M. POSKITT, Lwin Khin SHAR, and Lingxiao JIANG Conference Proceeding Article
SHIELD: Multi-task multi-distribution vehicle routing solver with sparsity and hierarchy, Yong Liang GOH, Zhiguang CAO, Yining MA, Jianan ZHOU, Mohammed Haroon DUPTY, and Wee Sun LEE Conference Proceeding Article
Surrogate learning in meta-black-box optimization: A preliminary study, Zeyuan MA, Zhiyang HUANG, Jiacheng CHEN, Zhiguang CAO, and Yue-Jiao GONG Conference Proceeding Article
The b2biers system: A content-based perspective on maximizing influence and subscription in social networks, Konstantinos THEOCHARIDIS and Hady Wirawan LAUW Journal Article
Unambiguous granularity distillation for asymmetric image retrieval, Hongrui ZHANG, Yi XIE, Haoquan ZHANG, Cheng XU, Xuandi LUO, Donglei CHEN, Xuemiao XU, Huaidong ZHANG, Pheng Ann HENG, and Shengfeng HE Journal Article
Unbounded multi-hop proxy re-encryption with HRA security: An LWE-based optimization, Xiaohan WAN, Yang WANG, Haiyang XUE, and Mingqiang WANG Conference Proceeding Article
Unified neural backdoor removal with only few clean samples through unlearning and relearning, Nay Myat MIN, Long H. PHAM, and Jun SUN Journal Article
Unveiling knowledge boundary of large language models for trustworthy information access, Yang DENG, Moxin LI, Liang PANG, Wenxuan ZHANG, and Wai LAM Conference Proceeding Article
Wait and see: A delayed transactions partitioning approach in deterministic database systems for better performance, Yuan SUI, Xiaochun YANG, Bin WANG, Yujie ZHANG, and Baihua ZHENG Journal Article
A comprehensive study of OOP-related bugs in C++ compilers, Bo WANG, Chong CHEN, Junjie CHEN, Bowen XU, Chen YE, Youfang LIN, Guoliang DONG, and Jun SUN Journal Article
AlayaDB: The data foundation for efficient and effective long-context LLM inference, Yangshen DENG, Zhengxin YOU, Long XIANG, Qilong LI, Peiqi YUAN, Zhaoyang HONG, Yitao ZHENG, Wanting LI, Runzhong LI, Haotian LIU, Kyriakos MOURATIDIS, Man Lung YIU, Huan LI, Qiaomu SHEN, Rui MAO, and Bo TANG Conference Proceeding Article
CAShift: Benchmarking log-based cloud attack detection under normality shift, Jiongchi YU, Xiaofei XIE, Qiang HU, Bowen ZHANG, Ziming ZHAO, Yun LIN, Lei MA, Ruitao FENG, and Frank LIAU Conference Proceeding Article
ChatGPT’s performance evaluation in spreadsheets modeling to inform assessments redesign, Michelle L. F. CHEONG Journal Article
Choice-based crowdshipping for next-day delivery services: A dynamic task display problem, Alp ARSLAN, Firat KILCI, Shih-Fen CHENG, and Archan MISRA Journal Article
Collaborative tree search for enhancing embodied multi-agent collaboration, Lizheng ZU, Lin LIN, Song FU, Na ZHAO, and Pan ZHOU Conference Proceeding Article
Community detection in heterogeneous information networks without materialization, Jiaxin JIANG, Siyuan YAO, Yuhang CHEN, Bingsheng HE, Yudong NIU, Yuchen LI, Shixuan SUN, and Yongchao LIU Conference Proceeding Article
ConTested: Consistency-aided tested code generation with LLM, Jinhao DONG, Jun SUN, Wenjie ZHANG, Jinsong DONG, and Dan HAO Conference Proceeding Article
De-duplicating silent compiler bugs via deep semantic representation, Junjie CHEN, Xingyu FAN, Chen YANG, Shuang LIU, and Jun SUN Conference Proceeding Article
Demystifying memorization in LLM-based program repair via a general hypothesis testing framework, Jiaolong KONG, Xiaofei XIE, and Shangqing LIU Conference Proceeding Article
Dupin: A parallel framework for densest subgraph discovery in fraud detection on massive graphs, Jiaxin JIANG, Siyuan YAO, Yuchen LI, Qiange WANG, Bingsheng HE, and Min CHEN Conference Proceeding Article
Enhancing vulnerability detection via inter-procedural semantic completion, Bozhi WU, Chengjie LIU, Zhiming LI, Yushi CAO, Jun SUN, and Shang-Wei LIN Conference Proceeding Article
HD-EPIC: A highly-detailed egocentric video dataset, Toby PERRETT, Ahmad DARKHALIL, Saptarshi SINHA, Omar EMARA, Sam POLLARD, Kranti Kumar PARIDA, Kaiting LIU, Prajwal GATTI, Siddhant BANSAL, Kevin FLANAGAN, Jacob CHALK, Zhifan ZHU, Rhodri GUERRIER, Fahd ABDELAZIM, Bin ZHU, Davide MOLTISANTI, Michael WRAY, Hazel DOUGHTY, and Dima DAMEN Conference Proceeding Article
Keep the balance: A parameter-efficient symmetrical framework for RGB+X semantic segmentation, Jiaxin CAI, Jingze SU, Qi LI, Wenjie YANG, Shu WANG, Tiesong ZHAO, Shengfeng HE, and Wenxi LIU Conference Proceeding Article
Large Language Model for vulnerability detection and repair: Literature review and the road ahead, Xin ZHOU, Sicong CAO, Xiaobing SUN, and David LO Journal Article
Lessons learned from sandboxing, piloting and policy experimentation with AI and other digital initiatives: Part 1, Summary report, Steven M. Miller Report
Lessons learned from sandboxing, piloting and policy experimentation with AI and other digital initiatives: Part 2, Ten in-depth interviews, Steven M. Miller Report
Meta-learning hyperparameters for foundation model adaptation in remote-sensing imagery, Zichen TIAN, Yaoyao LIU, and Qianru SUN Conference Proceeding Article
MoDitector: Module-directed testing for autonomous driving systems, Renzhi WANG, Mingfei CHENG, Xiaofei XIE, Yuan ZHOU, and Lei MA Conference Proceeding Article
On-demand heterogeneous drone delivery problem, Xupeng WEN, Zhiguang CAO, Shu XU, Dapeng REN, Guohua WU, and Yaoxin WU Journal Article
On-demand scenario generation for testing automated driving systems, Songyang YAN, Xiaodong ZHANG, Kunkun HAO, Haojie XIN, Yonggang LUO, Jucheng YANG, Ming FAN, Chao YANG, Jun SUN, and Zijiang YANG Conference Proceeding Article
On lexicographic proof rules for probabilistic termination, Krishnendu CHATTERJEE, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVUCKÝ, and Dorde ZIKELIC Journal Article
Outperforming the best with minimal effort: Algorithm selection for constrained multi-objective optimization, Mustafa MISIR and Aldy GUNAWAN Conference Proceeding Article
REACCEPT: Automated co-evolution of production and test code based on dynamic validation and large language models, Jianlei CHI, Xiaotian WANG, Yuhan HUANG, Lechen YU, Di CUI, Jianguo SUN, and Jun SUN Conference Proceeding Article
RegTrieve: Reducing system-level regression errors for machine learning systems via retrieval-enhanced ensemble, Junming CAO, Xuwen XIANG, Mingfei CHENG, Bihuan CHEN, Xinyan WANG, You LU, Chaofeng SHA, Xiaofei XIE, and Xin PENG Conference Proceeding Article
Unsupervised recognition of unknown objects for open-world object detection, Ruohuan FANG, Guansong PANG, Wenjun MIAO, Xiao BAI, Jin ZHENG, and Xin NING Journal Article
An efficient memoization engine for concurrent graph query processing, Sen GAO, Shengliang LU, Shixuan SUN, Yuchen LI, and Bingsheng HE Conference Proceeding Article
A sketch propagation framework for hub queries on unmaterialized relational graphs, Yudong NIU, Yuchen LI, Panagiotis KARRAS, and Yanhao WANG Conference Proceeding Article
The most influenced community search on social networks, Xueqin CHANG, Qing LIU, Yunjun GAO, Baihua ZHENG, and Yi CAI Conference Proceeding Article
Time-aware influence minimization via blocking social networks, Xueqin CHANG, Jiajie FU, Qing LIU, Yunjun GAO, and Baihua ZHENG Conference Proceeding Article
My model is malware to you: Transforming AI models into malware by abusing TensorFlow APIs, Ruofan ZHU, Ganhao CHEN, Wenbo SHEN, Xiaofei XIE, and Rui CHANG Conference Proceeding Article
LLM-aided automatic modeling for security protocol verification, Ziyu MAO, Jingyi WANG, Jun SUN, Shengchao QIN, and Jiawen XIONG Conference Proceeding Article
AccCred: Improved accountable anonymous credentials with dynamic triple-hiding committees, Sijiang XIE, Rui SHI, Yang YANG, Huiqin XIE, Yingjiu LI, and Robert H. DENG Journal Article
eBaaS: AIoT-enabled eBike battery-swap as a service for last-mile delivery, Donghui DING, Zhao LI, Jiarun ZHANG, Xuanwu LIU, Ji ZHANG, Yuchen LI, Peng CAI, JianXun LIU, and Guodong LONG Conference Proceeding Article
Moving target defense meets artificial-intelligence-driven network: A comprehensive survey, Tao ZHANG; Fanyu KONG; Dongshang DENG; Xiangyun TANG; Xuangou WU; Changqiao XU; Liehuang ZHU; Jiqiang LIU; Bo AI; Zhu HAN; and DENG, Robert H. Journal Article
PETravel: Personalized e-bike travel recommendation system with unlimited endurance, Yuduo SHI, Zhao LI, Xuming PAN, Yaoling CHEN, Bo ZHOU, Haitao XU, Wenrui MA, Yuchen LI, and Shichang HU Conference Proceeding Article
Building bridges across Papua New Guinea’s digital divide in growing the ICT industry, Marc CHEONG, Sankwi ABUZO, Hideaki HATA, Priscilla KEVIN, Winifred KULA, Benson MIROU, Christoph TREUDE, Dong WANG, and Raula Gaikovina KULA Conference Proceeding Article
Creating talking points for client advisers at banks to promote sustainable investing, WEwe Zi Yi, Pradeep VARAKANTHAM, and Alan MEGARGEL Journal Article
Decictor: Towards evaluating the robustness of decision-making in autonomous driving systems, Mingfei CHENG, Xiaofei XIE, Yuan ZHOU, Junjie WANG, Guozhu MENG, and Kairui YANG Conference Proceeding Article
DisambiguART: A neural-based inference model for knowledge graph disambiguation, Budhitama SUBAGDJA, Shanthoshigaa D, and Ah-hwee TAN Journal Article
Dissecting global search: A simple yet effective method to boost individual discrimination testing and repair, Lili QUAN, Tianlin LI, Xiaofei XIE, Zhenpeng CHEN, Sen CHEN, Lingxiao JIANG, and Xiaohong LI Conference Proceeding Article