| 2026 | ACL | LoopTool: Closing the Data-Training Loop for Robust LLM Tool Calls. | Kangning Zhang, Weiwen Liu, Wenxiang Jiao, Kounianhua Du, Yuan Lu, Weinan Zhang, Yong Yu |
| 2026 | WWW | DeepAgent: A General Reasoning Agent with Scalable Toolsets. | Xiaoxi Li, Wenxiang Jiao, Jiarui Jin, Guanting Dong, Jiajie Jin, Yinuo Wang, Hao Wang, Yutao Zhu, Ji-Rong Wen, Yuan Lu, Zhicheng Dou |
| 2026 | SP | Practical Asynchronous Distributed Key Reconfiguration and Its Applications. | Hanwen Feng, Yingzi Gao, Yuan Lu, Qiang Tang, Jing Xu |
| 2026 | SP | GoSSamer: Lightweight and Linear-Communication Asynchronous (Dynamic Proactive) Secret Sharing and the Applications. | Xinxin Xing, Yizhong Liu, Boyang Liao, Jianwei Liu, Bin Hu, Xun Lin, Yuan Lu, Tianwei Zhang |
| 2025 | CCS | Realizing Corrupted-Shard Tolerance: A Sharding Blockchain with Preserving Global Resilience. | Yizhong Liu, Andi Liu, Zhuocheng Pan, Yuxuan Hu, Jianwei Liu, Song Bian, Yuan Lu, Zhenyu Guan, Dawei Li, Meikang Qiu |
| 2025 | ICASSP | Electrocardiogram Report Generation and Question Answering via Retrieval-Augmented Self-Supervised Modeling. | Jialu Tang, Tong Xia, Yuan Lu, Cecilia Mascolo, Aaqib Saeed |
| 2025 | NDSS | Kronos: A Secure and Generic Sharding Blockchain Consensus with Optimized Overhead. | Yizhong Liu, Andi Liu, Yuan Lu, Zhuocheng Pan, Yinuo Li, Jianwei Liu, Song Bian, Mauro Conti |
| 2025 | SecureComm | BFT-MS: Asynchronous BFT Protocol Using Bounded Memory. | Hao Cheng, Fanyu Kong, Yuan Lu, Zhenfeng Zhang |
| 2024 | CCGRID | Power of Insensitivity: Fixing Threshold Truncation of Switch Buffer Management Policies. | Yuan Lu, Dinghuang Hu, Guannan Zhang, Jie Shen, Dezun Dong |
| 2023 | ICPADS | An Adaptive Teacher-Student Framework for Real-time Video Inference in Multi-User Heterogeneous MEC Networks. | Yuan Lu, Shuxin Ge, Weixu Wang, Xiaobo Zhou, Tie Qiu |
| 2023 | IPCCC | BCN: A Fast Notified Backpressure Congestion Management. | Xingyu Hu, Dinghuang Hu, Dezun Dong, Yang Bai, Yuan Lu, Yong Dong |
| 2022 | CCS | Bolt-Dumbo Transformer: Asynchronous Consensus As Fast As the Pipelined BFT. | Yuan Lu, Zhenliang Lu, Qiang Tang |
| 2022 | CCS | Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency. | Yingzi Gao, Yuan Lu, Zhenliang Lu, Qiang Tang, Jing Xu, Zhenfeng Zhang |
| 2022 | CHI | LivingMoments: Bespoke Social Communication for People living with Dementia and their Relatives. | Myrte Thoolen, Francesca Toso, Sebastiaan T. M. Peek, Yuan Lu, Rens Brankaert |
| 2022 | ICDCS | Efficient Asynchronous Byzantine Agreement without Private Setups. | Yingzi Gao, Yuan Lu, Zhenliang Lu, Qiang Tang, Jing Xu, Zhenfeng Zhang |
| 2022 | NDSS | Speeding Dumbo: Pushing Asynchronous BFT Closer to Practice. | Bingyong Guo, Yuan Lu, Zhenliang Lu, Qiang Tang, Jing Xu, Zhenfeng Zhang |
| 2021 | ESORICS | Fair Peer-to-Peer Content Delivery via Blockchain. | Songlin He, Yuan Lu, Qiang Tang, Guiling Wang, Chase Qishi Wu |
| 2021 | ICMLA | Purrai: A Deep Neural Network based Approach to Interpret Domestic Cat Language. | Weilin Sun, Vincent Lu, Aaron Truong, Hermione Bossolina, Yuan Lu |
| 2020 | CHI | RelivRing: Reliving Social Activities for People with Dementia. | Karlijn van Rijen, Tom Cobbenhagen, Rens Janssen, Maria Olsen, Rens Brankaert, Maarten Houben, Yuan Lu |
| 2020 | ESORICS | Generic Superlight Client for Permissionless Blockchains. | Yuan Lu, Qiang Tang, Guiling Wang |
| 2020 | ICDCS | Dragoon: Private Decentralized HITs Made Practical. | Yuan Lu, Qiang Tang, Guiling Wang |
| 2020 | PODC | Dumbo-MVBA: Optimal Multi-Valued Validated Asynchronous Byzantine Agreement, Revisited. | Yuan Lu, Zhenliang Lu, Qiang Tang, Guiling Wang |
| 2019 | CHI | Step-by-Step: Exploring a Social Exergame to Encourage Physical Activity and Social Dynamics among Office Workers. | Xipei Ren, Lotte Hollander, Rylana van der Marel, Lieke Molenaar, Yuan Lu |
| 2019 | WWW | Scalpel-CD: Leveraging Crowdsourcing and Deep Probabilistic Modeling for Debugging Noisy Training Data. | Jie Yang, Alisa Smirnova, Dingqi Yang, Gianluca Demartini, Yuan Lu, Philippe Cudr-Mauroux |
| 2018 | ICDCS | ZebraLancer: Private and Anonymous Crowdsourcing System atop Open Blockchain. | Yuan Lu, Qiang Tang, Guiling Wang |
| 2018 | ICDM | On Enabling Machine Learning Tasks atop Public Blockchains: A Crowdsourcing Approach. | Yuan Lu, Qiang Tang, Guiling Wang |
| 2017 | Interact | Perswedo: Introducing Persuasive Principles into the Creative Design Process Through a Design Card-Set. | Xipei Ren, Yuan Lu, Harri Oinas-Kukkonen, Aarnout Brombacher |
| 2016 | APWEB | The Competition of User Attentions Among Social Network Services: A Social Evolutionary Game Approach. | Jingyuan Li, Yuanzhuo Wang, Yuan Lu, Xueqi Cheng, Yan Ren |
| 2016 | APWEB | Mechanism Analysis of Competitive Information Synchronous Dissemination in Social Networks. | Yuan Lu, Yuanzhuo Wang, Jianye Yu, Jingyuan Li, Li Liu |
| 2016 | ISPDC | Convolutional Neural Network Based Transient Earth Voltage Detection. | Yuan Lu, Ruifeng Wei, Jingrui Chen, Jun Yuan |
| 2015 | CISS | A two-layer coalitional game among rational cognitive radio users. | Yuan Lu, Alexandra Duel-Hallen |
| 2012 | EDOC | Policy Based Power Management in Cloud Environment with Intel Intelligent Power Node Manager. | Wei Chen, Fengqian Gao, Yuan Lu |
| 2009 | CHI | Understanding consumer perception of technological product failures: an attributional approach. | Jeroen Keijzers, Elke den Ouden, Yuan Lu |
| 2009 | GRC | Tolerance Granular Computing based on incomplete information system. | Zhongzhi Shi, Zuqiang Meng, Yuan Lu |
| 2009 | HCI | How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies. | Renate de Bruin, Yuan Lu, Aarnout Brombacher |
| 2005 | ICCAD | Embedded tutorial: formal equivalence checking between system-level models and RTL. | Alfred Klbl, Yuan Lu, Anmol Mathur |
| 2005 | TACAS | Temporal Logic for Scenario-Based Specifications. | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
| 2004 | DAC | Verifying a gigabit ethernet switch using SMV. | Yuan Lu, Mike Jorda |
| 2003 | IGARSS | Effect of dielectric properties of moist salinized soils on backscattering coefficients extracted from RADARSAT image. | Yun Shao, Huadong Guo, Qingrong Hu, Yuan Lu, Qing Dong, Chunming Han |
| 2002 | IGARSS | Study on complex dielectric properties of saline soils. | Yun Shao, Huadong Guo, Qingrong Hu, Yuan Lu, Qing Dong, Chunming Han |
| 2002 | LICS | Tree-Like Counterexamples in Model Checking. | Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
| 2000 | CAV | Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
| 2000 | DAC | Analysis of composition complexity and how to obtain smaller canonical graphs. | Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu |
| 2000 | DAC | Efficient variable ordering using aBDD based sampling. | Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita |
| 2000 | FMCAD | Executable Protocol Specification in ESL. | Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang |
| 1997 | ICCD | Equivalence Checking Using Abstract BDDs. | Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke |
| 1996 | VTS | Synchronization of large sequential circuits by partial reset. | Yuan Lu, Irith Pomeranz |