Submissions from 2025
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
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
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
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
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
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
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
Enhancing deliberativeness: Evaluating the impact of multimodal reflection nudges, Shun Yi YEO, Zhuoqun JIANG, Anthony TANG, and Simon Tangi PERRAULT Conference Proceeding Article
Enriching automatic test case generation by extracting relevant test inputs from bug reports, Wendkuuni C. Ouedraogo, Laura Plein, Kader Kabore, Andrew Habib, Jacques Klein, David Lo, and Tegawende F. Bissyande Journal Article
FixDrive: Automatically repairing autonomous vehicle driving behaviour for $0.08 per violation, Yang SUN, Christopher M. POSKITT, Kun WANG, and Jun SUN Conference Proceeding Article
Gamba: Marry Gaussian splatting with Mamba for single-view 3D reconstruction, Qiuhong SHEN, Zike WU, Xuanyu YI, Pan ZHOU, Hanwang ZHANG, Shuicheng YAN, and Xinchao WANG Journal Article
Guest editorial: When multimedia meets food: Multimedia computing for food data analysis and applications, Weiqing MIN, Shuqiang JIANG, Petia RADEVA, Vladimir PAVLOVIC, Chong-wah NGO, Kiyoharu AIZAWA, and Wanqing LI Transcript
Hello again! LLM-powered personalized agent for long-term dialogue, Hao LI, Chenghao YANG, An ZHANG, Yang DENG, Xiang WANG, and Tat-Seng CHUA Conference Proceeding Article
Integrating path selection for symbolic execution and variable selection for constraint solving, Shunkai ZHU, Jun SUN, Jingyi WANG, Zhenbang CHEN, and Peng CHENG Journal Article
Intention is all you need: Refining your code from your intention, Qi GUO, Xiaofei XIE, Shangqing LIU, Ming HU, Xiaohong LI, and Lei BU Conference Proceeding Article
Keyword-pair result pattern hiding structured encryption for Boolean queries, Lanxiang CHEN, Yi MU, Jiahui YANG, and Robert H. DENG Journal Article
Modality-specific interactive attack for vision-language pre-training models, Haiqi ZHANG, Hao TANG, Yanpeng SUN, Shengfeng HE, and Zechao LI Journal Article
Oblivious encrypted keyword search with fine-grained access control for cloud storage, Qiuyun TONG, Junyi DENG, Xinghua LI, Yinbin MIAO, Yunwei WANG, and Robert H. DENG Journal Article
OSCAR: Object status and contextual awareness for recipes to support non-visual cooking, Franklin Mingzhe LI, Kaitlyn NG, Bin ZHU, and Patrick CARRINGTON Conference Proceeding Article
PLRQ: Practical and less leakage range query over encrypted mobile cloud data, Yunwei WANG, Xinghua LI, Yinbin MIAO, Qiuyun TONG, Ximeng LIU, and Robert H. DENG Journal Article
Prompting an embodied AI agent: How embodiment and multimodal signaling affects prompting behaviour, Tianyi ZHANG, Colin AU YEUNG, Emily AURELIA, Yuki ONISHI, Neil CHULPONGSATORN, Jiannan LI, and Anthony TANG Conference Proceeding Article
Quantitative runtime monitoring of Ethereum transaction attacks, Xinyao XU, Ziyu MAO, Jianzhong SU, Xingwei LIN, David BASIN, Jun SUN, and Jingyi WANG Conference Proceeding Article
Quantum-resistant sharding blockchain and Its application in secure data transmission, Yizhong LIU; Boyu ZHAO; Xun LIN; Zhenyu GUAN; Dawei LI; Jianwei LIU; Qianhong WU; Willy SUSILO; and DENG, Robert H. Journal Article
Query understanding in LLM-based conversational information seeking, Yifei YUAN, Zahra ABBASIANTAEB, Yang DENG, and Mohammad ALIANNEJADI Conference Proceeding Article
Relation prediction in knowledge graphs: A self-organizing neural network approach, Budhitama SUBAGDJA, Shanthoshigaa D, and Ah-hwee TAN Journal Article
Reverse modeling in large language models, Sicheng YU, Yuanchen XU, Cunxiao DU, Yanying ZHOU, Minghui QIU, Qianru SUN, Hao ZHANG, and Jiawei WU Conference Proceeding Article
Robust federated learning client selection with combinatorial class representations and data augmentation, Haiyan ZHANG, Xinghua LI, Mengfan XU, Shunjie YUAN, Mengyao ZHU, and Robert H. DENG Journal Article
Robust threshold ECDSA with online-friendly design in three rounds, Guofeng TANG and Haiyang XUE Conference Proceeding Article
SANS: Efficient densest subgraph discovery over relational graphs without materialization, Yudong NIU, Yuchen LI, Jiaxin JIANG, and Laks V. S. LAKSHMANAN Conference Proceeding Article
Scenario-driven and context-aware automated accessibility testing for Android apps, Yuxin ZHANG, Sen CHEN, Xiaofei XIE, Zibo LIU, and Lingling FAN Conference Proceeding Article
SpecGen: Automated generation of formal program specifications via large language models, Lezhi MA, Shangqing LIU, Yi LI, Xiaofei XIE, and Lei BU Conference Proceeding Article