Skip to content

Guodong Li

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

40

Venues

27

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

40 indexed papers, newest first.

YearVenueTitleAuthors
2026FASTLESS is More for I/O-Efficient Repairs in Erasure-Coded Storage.Keyun Cheng, Guodong Li, Xiaolu Li, Sihuang Hu, Patrick P. C. Lee
2026ISITPractical MDS Array Codes with Balanced Repair Bandwidth, Disk I/O, and Computational Overhead.Guodong Li, Jingwen Chu, Sihuang Hu
2026ISITOptimal Repair of (k +2,k,2) MDS Array Codes.Zihao Zhang, Guodong Li, Sihuang Hu
2025ICCVProxy-Bridged Game Transformer for Interactive Extreme Motion Prediction.Yanwen Fang, Wenqi Jia, Xu Cao, Peng-Tao Jiang, Guodong Li, Jintai Chen
2025ICLRFrom Layers to States: A State Space Model Perspective to Deep Neural Network Layer Dynamics.Qinshuo Liu, Weiqin Zhao, Wei Huang, Yanwen Fang, Lequan Yu, Guodong Li
2024ISITMSR Codes with Linear Field Size and Smallest Sub-packetization for Any Number of Helper Nodes.Guodong Li, Ningning Wang, Sihuang Hu, Min Ye
2024ISITConstructing $(h, k+1)$ Cooperative MSR Codes with Sub-Packetization (h+1)2Zihao Zhang, Guodong Li, Sihuang Hu
2023ICDMDrug Repositioning Method Based on Pre-trained Large Model and Network Embedding Representation.Dongxu Li, Bowei Zhao, Xiaorui Su, Guodong Li, Yue Yang, Pengwei Hu, Lun Hu
2023ICLRCross-Layer Retrospective Retrieving via Layer Attention.Yanwen Fang, Yuxi Cai, Jintai Chen, Jingyu Zhao, Guangjian Tian, Guodong Li
2023ICLREncoding Recurrence into Transformers.Feiqing Huang, Kexin Lu, Yuxi Cai, Zhen Qin, Yanwen Fang, Guangjian Tian, Guodong Li
2023ISITABS+ Polar Codes: Exploiting More Linear Transforms on Adjacent Bits.Guodong Li, Min Ye, Sihuang Hu
2022ISITConstructing MSR codes with subpacketization 2Guodong Li, Ningning Wang, Sihuang Hu, Min Ye
2022ISITAdjacent-Bits-Swapped Polar codes: A new code construction to speed up polarization.Guodong Li, Min Ye, Sihuang Hu
2022SENSYSMulti-Task Learning Based Blind Calibration for Low-Cost Air Quality Sensor Deployments.Guodong Li, Zhiyuan Wu, Xinyu Liu, Yue Wang, Lin Zhang
2020AAAICompact Autoregressive Network.Di Wang, Feiqing Huang, Jingyu Zhao, Guodong Li, Guangjian Tian
2020ICMLDo RNN and LSTM have Long Memory?Jingyu Zhao, Feiqing Huang, Jia Lv, Yanjie Duan, Zhen Qin, Guodong Li, Guangjian Tian
2020VCIPWearable Visually Assistive Device for Blind People to Appreciate Real-world Scene and Screen Image.Jin Ai, Menghan Hu, Guodong Li, Guangtao Zhai, Jian Zhang, Qingli Li, Wendell Q. Sun
2020VCIPSpecial Cane with Visual Odometry for Real-time Indoor Navigation of Blind People.Tang Tang, Menghan Hu, Guodong Li, Qingli Li, Jian Zhang, Xiaofeng Zhou, Guangtao Zhai
2019ICDMM-estimation in Low-Rank Matrix Factorization: A General Framework.Wei Tu, Peng Liu, Jingyu Zhao, Yi Liu, Linglong Kong, Guodong Li, Bei Jiang, Guangjian Tian, Hengshuai Yao
2019IJCAIEnsemble-based Ultrahigh-dimensional Variable Screening.Wei Tu, Dong Yang, Linglong Kong, Menglu Che, Qian Shi, Guodong Li, Guangjian Tian
2018INFOCOMCan We Learn what People are Doing from Raw DNS Queries?Jianfeng Li, Xiaobo Ma, Guodong Li, Xiapu Luo, Junjie Zhang, Wei Li, Xiaohong Guan
2017CAIPMulti-view Separation of Background and Reflection by Coupled Low-Rank Decomposition.Jian Lai, Wee Kheng Leow, Terence Sim, Guodong Li
2016WACVHide and seek: Uncovering facial occlusion with variable-threshold robust PCA.Wee Kheng Leow, Guodong Li, Jian Lai, Terence Sim, Vaishali Sharma
2014SCPractical Symbolic Race Checking of GPU Programs.Peng Li, Guodong Li, Ganesh Gopalakrishnan
2013ICSEJST: an automatic test generation tool for industrial Java applications with strings.Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang
2013VTCPerformance Evaluation of 3D MIMO LTE-Advanced System.Yuwen Pan, Qinglin Luo, Guodong Li, Yan Zhao, Zhilan Xiong
2012PPoPPGKLEE: concolic verification and test generation for GPUs.Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
2012SCParametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.Peng Li, Guodong Li, Ganesh Gopalakrishnan
2011CAVKLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan
2011EMSOFTARMor: fully verified software fault isolation.Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr
2011FMValidated Compilation through Logic.Guodong Li
2010PPoPPA symbolic verifier for CUDA programs.Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan
2008PPoPPFormal specification of the MPI-2.0 standard in TLA+.Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2008TACASTrusted Source Translation of a Total Function Language.Guodong Li, Konrad Slind
2007CADECompilation as Rewriting in Higher Order Logic.Guodong Li, Konrad Slind
2007ESOPStructure of a Proof-Producing Compiler for a Subset of Higher Order Logic.Guodong Li, Scott Owens, Konrad Slind
2006IGARSSThe Study on Urban Climate of Lanzhou.Nai-Ang Wang, Guodong Li, Hongyi Cheng, Gang Li
2005ICNCA Novel Local Connection Neural Network.Shuang Cong, Guodong Li, Yisong Zheng
2005LPARFunctional Correctness Proofs of Encryption Algorithms.Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
2004ICPADSScalable Duplication Strategy with Bounded Availability of Processors.Guodong Li, Youtao Zhang, Yongjing Lin, Yaochun Huang