| 2025 | ICLR | Efficient Alternating Minimization with Applications to Weighted Low Rank Approximation. | Zhao Song, Mingquan Ye, Junze Yin, Lichen Zhang |
| 2025 | ICLR | Faster Algorithms for Structured Linear and Kernel Support Vector Machines. | Yuzhou Gu, Zhao Song, Lichen Zhang |
| 2025 | ICML | On Differential Privacy for Adaptively Solving Search Problems via Sketching. | Shiyuan Feng, Ying Feng, George Zhaoqi Li, Zhao Song, David P. Woodruff, Lichen Zhang |
| 2024 | ACL | Selene: Pioneering Automated Proof in Software Verification. | Lichen Zhang, Shuai Lu, Nan Duan |
| 2024 | AISTATS | Fast Dynamic Sampling for Determinantal Point Processes. | Zhao Song, Junze Yin, Lichen Zhang, Ruizhe Zhang |
| 2024 | AISTATS | Solving Attention Kernel Regression Problem via Pre-conditioner. | Zhao Song, Junze Yin, Lichen Zhang |
| 2024 | APWEB | ACD: Attention Driven Cognitive Diagnosis for New Learners Joining ITS. | Bingdi Shao, Keai Wei, Longjiang Guo, Meirui Ren, Lichen Zhang, Peng Li |
| 2024 | ICLR | Low Rank Matrix Completion via Robust Alternating Minimization in Nearly Linear Time. | Yuzhou Gu, Zhao Song, Junze Yin, Lichen Zhang |
| 2024 | SODA | Convex Minimization with Integer Minima in | Haotian Jiang, Yin Tat Lee, Zhao Song, Lichen Zhang |
| 2023 | AISTATS | An Online and Unified Algorithm for Projection Matrix Vector Multiplication with Application to Empirical Risk Minimization. | Lianke Qin, Zhao Song, Lichen Zhang, Danyang Zhuo |
| 2023 | ICALP | Space-Efficient Interior Point Method, with Applications to Linear Programming and Maximum Weight Bipartite Matching. | S. Cliff Liu, Zhao Song, Hengjie Zhang, Lichen Zhang, Tianyi Zhou |
| 2023 | ICML | Sketching Meets Differential Privacy: Fast Algorithm for Dynamic Kronecker Projection Maintenance. | Zhao Song, Xin Yang, Yuanyuan Yang, Lichen Zhang |
| 2023 | ICML | Sketching for First Order Method: Efficient Algorithm for Low-Bandwidth Channel and Vulnerability. | Zhao Song, Yitan Wang, Zheng Yu, Lichen Zhang |
| 2023 | ICML | A Nearly-Optimal Bound for Fast Regression with ℓ | Zhao Song, Mingquan Ye, Junze Yin, Lichen Zhang |
| 2022 | APNOMS | Construction Method of Overlay Network for Cyber-Physical System. | Liang-Jian Deng, Yubing Chen, Lichen Zhang |
| 2021 | ICML | Fast Sketching of Polynomial Kernels of Polynomial Degree. | Zhao Song, David P. Woodruff, Zheng Yu, Lichen Zhang |
| 2019 | COCOA | A Novel Virtual Traffic Light Algorithm Based on V2V for Single Intersection in Vehicular Networks. | Longjiang Guo, De Wang, Peng Li, Lichen Zhang, Meirei Ren, Hong Liu, A'na Wang |
| 2019 | COCOA | A Task Assignment Approach with Maximizing User Type Diversity in Mobile Crowdsensing. | A'na Wang, Lichen Zhang, Longjiang Guo, Meirui Ren, Peng Li, Bin Yan |
| 2018 | UIC | Hierarchy Value Density - A Priority Algorithm for Task Scheduling on Cloud. | Ling Kuang, Lichen Zhang |
| 2018 | UIC | Task Scheduling for Cloud Based Cyber-Physical Systems. | Dandan Lai, Lichen Zhang, Bingqing Xu, Chunyao Liu |
| 2018 | UIC | Modeling Smart Cyber Physical Systems Based on ModelicaML. | Lichen Zhang |
| 2018 | UIC | Modeling Methods for Cloud Based Cyber Physical Systems. | Lichen Zhang |
| 2017 | UIC | Level value density task scheduling algorithm for cyber physical systems on cloud. | Ling Kuang, Lichen Zhang |
| 2014 | DASC | Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System. | Lichen Zhang |
| 2014 | ICA3PP | An Approach to Model Complex Big Data Driven Cyber Physical Systems. | Lichen Zhang |
| 2014 | ICSEng | Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems. | Lichen Zhang |
| 2014 | ICSEng | Specification and Design Method for Big Data Driven Cyber Physical Systems. | Lichen Zhang |
| 2014 | SMC | Designing big data driven cyber physical systems based on AADL. | Lichen Zhang |
| 2014 | UIC | Task Scheduling in Cyber-Physical Systems. | Chunyao Liu, Lichen Zhang, Daqiang Zhang |
| 2013 | DASC | A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. | Bingqing Xu, Lichen Zhang |
| 2013 | DASC | View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems. | Lichen Zhang |
| 2013 | HPCC | Requirement Analysis Method for Vehicular Cyber Physical Systems. | Lichen Zhang |
| 2013 | HPCC | Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL. | Lichen Zhang |
| 2011 | TASE | Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. | Lichen Zhang |
| 2008 | AICCSA | Aspect-oriented formal specification for multimedia systems. | Lichen Zhang, Lihua Wang |
| 2006 | CVPR | Multiscale Nonlinear Diffusion and Shock Filter for Ultrasound Image Enhancement. | Fan Zhang, Yang Mo Yoo, Yongmin Kim, Lichen Zhang, Liang Mong Koh |
| 2005 | ISPA | Modeling Real-Time Wormhole Networks by Queuing Theory. | Lichen Zhang, Yuliang Zhang |
| 2005 | RTCSA | A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach. | Shourong Lu, Wolfgang A. Halang, Lichen Zhang |
| 2005 | RTCSA | Aspect-Oriented Real-Time System Modeling Method Based on UML. | Lichen Zhang, Ruicheng Liu |
| 2002 | SMC | Integrated analysis and design method for distributed real-time systems based on computational grid. | Lichen Zhang |