| 2024 | APWEB | CSGTM: Capsule Semantic Graph-Guided Latent Community Topics Discovery. | Guoqin Yu, Ze Xu, Rong Yan, Lintao Zhang |
| 2024 | OSDI | nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training. | Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou |
| 2023 | EuroSys | SiloD: A Co-design of Caching and Scheduling for Deep Learning Clusters. | Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Mingxia Li, Fan Yang, Qianxi Zhang, Binyang Li, Yuqing Yang, Lili Qiu, Lintao Zhang, Lidong Zhou |
| 2023 | MICCAI | Brain Anatomy-Guided MRI Analysis for Assessing Clinical Progression of Cognitive Impairment with Structural MRI. | Lintao Zhang, Jinjian Wu, Lihong Wang, Li Wang, David C. Steffens, Shijun Qiu, Guy G. Potter, Mingxia Liu |
| 2022 | MICCAI | Understanding Clinical Progression of Late-Life Depression to Alzheimer's Disease Over 5 Years with Structural MRI. | Lintao Zhang, Minhui Yu, Lihong Wang, David C. Steffens, Rong Wu, Guy G. Potter, Mingxia Liu |
| 2022 | VTC | Dependency-aware Task Scheduling and Cache Placement in Vehicular Networks. | Lintao Zhang, Caijin Zhao, Yuanyu Wang, Yuliang Tang, Bo Yang |
| 2021 | AAAI | OpEvo: An Evolutionary Method for Tensor Operator Optimization. | Xiaotian Gao, Wei Cui, Lintao Zhang, Mao Yang |
| 2021 | VTC | Reservation based Resource Allocation Scheme for Internet of Vehicles. | Jianxin Zhang, Xuanzhi Chen, Yanglong Sun, Yuliang Tang, Lintao Zhang |
| 2021 | VTC | Joint Offloading Decision and Resource Allocation in MEC-enabled Vehicular Networks. | Lintao Zhang, Yanglong Sun, Yuliang Tang, Hao Zeng, Yuqi Ruan |
| 2021 | WWW | Match Plan Generation in Web Search with Parameterized Action Reinforcement Learning. | Ziyan Luo, Linfeng Zhao, Wei Cheng, Sihao Chen, Qi Chen, Hui Xue, Haidong Wang, Chuanjie Liu, Mao Yang, Lintao Zhang |
| 2021 | SIGCOMM | 1Pipe: scalable total order communication in data center networks. | Bojie Li, Gefei Zuo, Wei Bai, Lintao Zhang |
| 2020 | IJCNN | Estimating Minimum Operation Steps via Memory-based Recurrent Calculation Network. | Lei Sha, Chen Shi, Qi Chen, Lintao Zhang, Houfeng Wang |
| 2020 | MICCAI | Label-Driven Brain Deformable Registration Using Structural Similarity and Nonoverlap Constraints. | Shunbo Hu, Lintao Zhang, Yan Xu, Dinggang Shen |
| 2020 | OSDI | Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks. | Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou |
| 2019 | CVPR | SeerNet: Predicting Convolutional Neural Network Feature-Map Sparsity Through Low-Bit Quantization. | Shijie Cao, Lingxiao Ma, Wencong Xiao, Chen Zhang, Yunxin Liu, Lintao Zhang, Lanshun Nie, Zhi Yang |
| 2019 | EuroSys | Fast Distributed Deep Learning over RDMA. | Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou |
| 2019 | FPGA | Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity. | Shijie Cao, Chen Zhang, Zhuliang Yao, Wencong Xiao, Lanshun Nie, De-chen Zhan, Yunxin Liu, Ming Wu, Lintao Zhang |
| 2019 | MICCAI | Infant Brain Deformable Registration Using Global and Local Label-Driven Deep Regression Learning. | Shunbo Hu, Lintao Zhang, Guoqiang Li, Mingtao Liu, Deqian Fu, Wenyin Zhang |
| 2019 | MOBICOM | Occlumency: Privacy-preserving Remote Deep-learning Inference Using SGX. | Taegyeong Lee, Zhiqi Lin, Saumay Pushp, Caihua Li, Yunxin Liu, Youngki Lee, Fengyuan Xu, Chenren Xu, Lintao Zhang, Junehwa Song |
| 2019 | SIGCOMM | Socksdirect: datacenter sockets can be fast and compatible. | Bojie Li, Tianyi Cui, Zibo Wang, Wei Bai, Lintao Zhang |
| 2018 | EMNLP | Auto-Dialabel: Labeling Dialogue Data with Unsupervised Learning. | Chen Shi, Qi Chen, Lei Sha, Sujian Li, Xu Sun, Houfeng Wang, Lintao Zhang |
| 2018 | IJCAI | Episodic Memory Deep Q-Networks. | Zichuan Lin, Tianqi Zhao, Guangwen Yang, Lintao Zhang |
| 2018 | Mobisys | Cutting the Cord: Designing a High-quality Untethered VR System with Low Latency Remote Rendering. | Luyang Liu, Ruiguang Zhong, Wuyang Zhang, Yunxin Liu, Jiansong Zhang, Lintao Zhang, Marco Gruteser |
| 2017 | SOSP | KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC. | Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang |
| 2015 | CLOUD | DSwitch: a dual mode direct and network attached disk. | Quanlu Zhang, Yafei Dai, Lintao Zhang |
| 2015 | ICDCS | UStore: A Low Cost Cold and Archival Data Storage System for Data Centers. | Quanlu Zhang, Yafei Dai, Fengqian Li, Lintao Zhang |
| 2013 | ICDE | KuaFu: Closing the parallelism gap in database replication. | Chuntao Hong, Dong Zhou, Mao Yang, Carbo Kuo, Lintao Zhang, Lidong Zhou |
| 2011 | SOSP | Practical software model checking via dynamic interface reduction. | Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang |
| 2009 | NSDI | MODIST: Transparent Model Checking of Unmodified Distributed Systems. | Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou |
| 2008 | DAC | A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
| 2008 | SAT | Designing an Efficient Hardware Implication Accelerator for SAT Solving. | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
| 2007 | SAC | A solver for quantified Boolean and linear constraints. | Lucas Bordeaux, Lintao Zhang |
| 2007 | SOSP | Bouncer: securing software by blocking bad input. | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado |
| 2006 | AAAI | Solving QBF by Combining Conjunctive and Disjunctive Normal Forms. | Lintao Zhang |
| 2006 | SAT | Applications of SAT Solvers to Cryptanalysis of Hash Functions. | Ilya Mironov, Lintao Zhang |
| 2005 | SAT | Optimizations for Compiling Declarative Models into Boolean Formulas. | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2005 | SAT | On Subsumption Removal and On-the-Fly CNF Simplification. | Lintao Zhang |
| 2005 | SOSP | Vigilante: end-to-end containment of internet worms. | Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham |
| 2004 | CAV | Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
| 2003 | DATE | Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. | Lintao Zhang, Sharad Malik |
| 2003 | SAT | Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. | Lintao Zhang, Sharad Malik |
| 2002 | CADE | The Quest for Efficient Boolean Satisfiability Solvers. | Lintao Zhang, Sharad Malik |
| 2002 | CAV | The Quest for Efficient Boolean Satisfiability Solvers. | Lintao Zhang, Sharad Malik |
| 2002 | CP | Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. | Lintao Zhang, Sharad Malik |
| 2002 | DAC | Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. | Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik |
| 2002 | ICCAD | Conflict driven learning in a quantified Boolean Satisfiability solver. | Lintao Zhang, Sharad Malik |
| 2001 | DAC | Chaff: Engineering an Efficient SAT Solver. | Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik |
| 2001 | ICCAD | Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. | Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik |
| 2001 | ICCAD | Efficient Conflict Driven Learning in Boolean Satisfiability Solver. | Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik |