Lintao Zhang

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 58

Top Topics

Reinforcement Learning

Deformable Registration

Top Venues

Publications

Lintao Zhang, Mengqi Wu, Lihong Wang, David C. Steffens, Guy G. Potter, Mingxia Liu
Iterative Learning for Joint Image Denoising and Motion Artifact Correction of 3D Brain MRI. CoRR (2024)
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
nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training. OSDI (2024)
Mengqi Wu, Lintao Zhang, Pew-Thian Yap, Hongtu Zhu, Mingxia Liu
Disentangled Latent Energy-Based Style Translation: An Image-Level Structural MRI Harmonization Framework. CoRR (2024)
Lintao Zhang, Xiangcheng Du, LeoWu TomyEnrique, Yiqun Wang, Yingbin Zheng, Cheng Jin
Minutes to Seconds: Speeded-up DDPM-based Image Inpainting with Coarse-to-Fine Sampling. CoRR (2024)
Lintao Zhang, Lihong Wang, Minhui Yu, Rong Wu, David C. Steffens, Guy G. Potter, Mingxia Liu
Hybrid representation learning for cognitive diagnosis in late-life depression over 5 years with structural MRI. Medical Image Anal. 94 (2024)
Ziyi Zhang, Rong Yan, Wei Yuan, Lintao Zhang
Influential Spreaders Identification by Fusing Network Topology. Int. J. Softw. Eng. Knowl. Eng. 33 (11&12) (2023)
Zhiqi Lin, Youshan Miao, Guodong Liu, Xiaoxiang Shi, Quanlu Zhang, Fan Yang, Saeed Maleki, Yi Zhu, Xu Cao, Cheng Li, Mao Yang, Lintao Zhang, Lidong Zhou
SuperScaler: Supporting Flexible DNN Parallelization via a Unified Abstraction. CoRR (2023)
Yanglong Sun, Lintao Zhang, Yuliang Tang, Jianxin Zhang
PASS: power allocation and SIC order selection of cache-aided NOMA in vehicular networks. Wirel. Networks 29 (1) (2023)
Meng Li, Shunbo Hu, Guoqiang Li, Fuchun Zhang, Jitao Li, Yue Yang, Lintao Zhang, Mingtao Liu, Yan Xu, Deqian Fu, Wenyin Zhang, Xing Wang
The Successive Next Network as Augmented Regularization for Deformable Brain MR Image Registration. Sensors 23 (6) (2023)
Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Mingxia Li, Fan Yang, Qianxi Zhang, Binyang Li, Yuqing Yang, Lili Qiu, Lintao Zhang, Lidong Zhou
SiloD: A Co-design of Caching and Scheduling for Deep Learning Clusters. EuroSys (2023)
Mengqi Wu, Lintao Zhang, Pew-Thian Yap, Weili Lin, Hongtu Zhu, Mingxia Liu
Structural MRI Harmonization via Disentangled Latent Energy-Based Style Translation. MLMI@MICCAI (1) (2023)
Lintao Zhang, Jinjian Wu, Lihong Wang, Li Wang, David C. Steffens, Shijun Qiu, Guy G. Potter, Mingxia Liu
Brain Anatomy Prior Modeling to Forecast Clinical Progression of Cognitive Impairment with Structural MRI. CoRR (2023)
Yuanyu Wang, Lintao Zhang, Chi Wei, Yuliang Tang
Joint optimization of resource allocation and computation offloading based on game coalition in C-V2X. Ad Hoc Networks 150 (2023)
Lintao Zhang, Jinjian Wu, Lihong Wang, Li Wang, David C. Steffens, Shijun Qiu, Guy G. Potter, Mingxia Liu
Brain Anatomy-Guided MRI Analysis for Assessing Clinical Progression of Cognitive Impairment with Structural MRI. MICCAI (8) (2023)
Juhua Wang, Jianhua Zhang, Quan Zhou, Lintao Zhang
Full-Length Row-Multiplier QC-LDPC Codes With Girth Eight and Short Circulant Sizes. IEEE Access 11 (2023)
Hong Wang, Yuanzhi Zhou, Chi Zhang, Chen Peng, Mingxia Huang, Yi Liu, Lintao Zhang
XFL: A High Performace, Lightweighted Federated Learning Framework. CoRR (2023)
Mengzhu Yang, Yongfang Wang, Guoqiang Li, Lintao Zhang, Dong Zhu, Chengchao Wang
SU-Net: A retinal segmentation model based on improved U-Net network. RICAI (2022)
Mengjie Zhu, Xiancong Zhang, Lintao Zhang, Guoqiang Li, Shunbo Hu, Yongfang Wang, Lei Wang
TST-network: A two-stage mutually reinforcing deep learning network for brain MR registration. RICAI (2022)
Taekyung Heo, Yang Wang, Wei Cui, Jaehyuk Huh, Lintao Zhang
Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems. IEEE Trans. Computers 71 (1) (2022)
Lintao Zhang, Lihong Wang, Minhui Yu, Rong Wu, David C. Steffens, Guy G. Potter, Mingxia Liu
Hybrid Representation Learning for Cognitive Diagnosis in Late-Life Depression Over 5 Years with Structural MRI. CoRR (2022)
Lintao Zhang, Minhui Yu, Lihong Wang, David C. Steffens, Rong Wu, Guy G. Potter, Mingxia Liu
Understanding Clinical Progression of Late-Life Depression to Alzheimer's Disease Over 5 Years with Structural MRI. MLMI@MICCAI (2022)
Lintao Zhang, Caijin Zhao, Yuanyu Wang, Yuliang Tang, Bo Yang
Dependency-aware Task Scheduling and Cache Placement in Vehicular Networks. VTC Spring (2022)
Lintao Zhang, Juhua Wang
Construction of QC-LDPC Codes from Sidon Sequence Using Permutation and Segmentation. IEEE Commun. Lett. 26 (8) (2022)
Ziyan Luo, Linfeng Zhao, Wei Cheng, Sihao Chen, Qi Chen, Hui Xue, Haidong Wang, Chuanjie Liu, Mao Yang, Lintao Zhang
Match Plan Generation in Web Search with Parameterized Action Reinforcement Learning. WWW (2021)
Yue Yang, Yuwen Wang, Jitao Li, Lintao Zhang, Shunbo Hu
DWD-net: Cascaded local and global deep learning network for brain MR registration. CISP-BMEI (2021)
Lintao Zhang, Yanglong Sun, Yuliang Tang, Hao Zeng, Yuqi Ruan
Joint Offloading Decision and Resource Allocation in MEC-enabled Vehicular Networks. VTC Spring (2021)
Kai-Fung Chu, Lintao Zhang
Privacy-Preserving Self-Taught Federated Learning for Heterogeneous Data. CoRR (2021)
Lintao Zhang, Caijin Zhao, Yanglong Sun, Yuliang Tang, Hao Zeng
Resource Allocation of Cache-aided NOMA in 5G Vehicular Networks with Imperfect Channel Estimation. ICCC (2021)
Jianxin Zhang, Xuanzhi Chen, Yanglong Sun, Yuliang Tang, Lintao Zhang
Reservation based Resource Allocation Scheme for Internet of Vehicles. VTC Spring (2021)
Zhuyue Yu, Yuliang Tang, Lintao Zhang, Hao Zeng
Deep Reinforcement Learning Based Computing Offloading Decision and Task Scheduling in Internet of Vehicles. ICCC (2021)
Xiaotian Gao, Wei Cui, Lintao Zhang, Mao Yang
OpEvo: An Evolutionary Method for Tensor Operator Optimization. AAAI (2021)
Deqian Fu, Shunbo Hu, Lintao Zhang, Shuqing He, Jianlong Qiu
An intelligent cloud computing of trunk logistics alliance based on blockchain and big data. J. Supercomput. 77 (12) (2021)
Hao Zeng, Lintao Zhang, Yuliang Tang, Yanglong Sun, Yuqi Ruan
Intelligent Resource Allocation Based on Reinforcement Learning for NOMA Vehicular Cooperative Communication Networks. ICCSE (2021)
Bojie Li, Gefei Zuo, Wei Bai, Lintao Zhang
1Pipe: scalable total order communication in data center networks. SIGCOMM (2021)
Lei Sha, Chen Shi, Qi Chen, Lintao Zhang, Houfeng Wang
Estimating Minimum Operation Steps via Memory-based Recurrent Calculation Network. IJCNN (2020)
Xiaotian Gao, Cui Wei, Lintao Zhang, Mao Yang
OpEvo: An Evolutionary Method for Tensor Operator Optimization. CoRR (2020)
Shunbo Hu, Lintao Zhang, Guoqiang Li, Mingtao Liu, Deqian Fu, Wenyin Zhang
Brain Deformable Registration Using Global and Local Label-Driven Deep Regression Learning in the First Year of Life. IEEE Access 8 (2020)
Shunbo Hu, Lintao Zhang, Yan Xu, Dinggang Shen
Label-Driven Brain Deformable Registration Using Structural Similarity and Nonoverlap Constraints. MLMI@MICCAI (2020)
Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks. OSDI (2020)
Shunbo Hu, Lintao Zhang, Guoqiang Li, Mingtao Liu, Deqian Fu, Wenyin Zhang
Infant Brain Deformable Registration Using Global and Local Label-Driven Deep Regression Learning. MLMI@MICCAI (2019)
Chen Shi, Qi Chen, Lei Sha, Hui Xue, Sujian Li, Lintao Zhang, Houfeng Wang
We Know What You Will Ask: A Dialogue System for Multi-intent Switch and Prediction. NLPCC (1) (2019)
Shijie Cao, Lingxiao Ma, Wencong Xiao, Chen Zhang, Yunxin Liu, Lintao Zhang, Lanshun Nie, Zhi Yang
SeerNet: Predicting Convolutional Neural Network Feature-Map Sparsity Through Low-Bit Quantization. CVPR (2019)
Lintao Zhang, Guoqiang Li, Deqian Fu, Wenyin Zhang, Mingtao Liu, Shunbo Hu
Non-Rigid Joint Registration for Multi-Contrast MR of Infant Brain Based on the Unsupervised Deep Regression Network. CISP-BMEI (2019)
Shijie Cao, Lanshun Nie, De-chen Zhan, Wenqiang Wang, Ningyi Xu, Ramashis Das, Ming Wu, Lintao Zhang, Derek Chiou
FlexSaaS: A Reconfigurable Accelerator for Web Search Selection. ACM Trans. Reconfigurable Technol. Syst. 12 (1) (2019)
Guoqiang Li, Lintao Zhang, Shunbo Hu, Deqian Fu, Mingtao Liu
Adversarial Network with Dual U-net Model and Multiresolution Loss Computation for Medical Images Registration. CISP-BMEI (2019)
Taegyeong Lee, Zhiqi Lin, Saumay Pushp, Caihua Li, Yunxin Liu, Youngki Lee, Fengyuan Xu, Chenren Xu, Lintao Zhang, Junehwa Song
Occlumency: Privacy-preserving Remote Deep-learning Inference Using SGX. MobiCom (2019)
Bojie Li, Tianyi Cui, Zibo Wang, Wei Bai, Lintao Zhang
Socksdirect: datacenter sockets can be fast and compatible. SIGCOMM (2019)
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou
Fast Distributed Deep Learning over RDMA. EuroSys (2019)
Shijie Cao, Chen Zhang, Zhuliang Yao, Wencong Xiao, Lanshun Nie, De-chen Zhan, Yunxin Liu, Ming Wu, Lintao Zhang
Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity. FPGA (2019)
Zichuan Lin, Tianqi Zhao, Guangwen Yang, Lintao Zhang
Episodic Memory Deep Q-Networks. CoRR (2018)
Zichuan Lin, Tianqi Zhao, Guangwen Yang, Lintao Zhang
Episodic Memory Deep Q-Networks. IJCAI (2018)
Luyang Liu, Ruiguang Zhong, Wuyang Zhang, Yunxin Liu, Jiansong Zhang, Lintao Zhang, Marco Gruteser
Cutting the Cord: Designing a High-quality Untethered VR System with Low Latency Remote Rendering. MobiSys (2018)
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou
RPC Considered Harmful: Fast Distributed Deep Learning on RDMA. CoRR (2018)
Chen Shi, Qi Chen, Lei Sha, Sujian Li, Xu Sun, Houfeng Wang, Lintao Zhang
Auto-Dialabel: Labeling Dialogue Data with Unsupervised Learning. EMNLP (2018)
Hongfu Liu, Ziming Huang, Qi Chen, Mingqin Li, Yun Fu, Lintao Zhang
Fast Clustering with Flexible Balance Constraints. IEEE BigData (2018)
Lintao Zhang, An-Yuan Deng, Ian Cameron, Engang Wang, Johann Sienz
Parametric investigation on an industrial electromagnetic continuous casting mould performance. J. Comput. Des. Eng. 4 (4) (2017)
Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC. SOSP (2017)
Ruiguang Zhong, Manni Wang, Zijian Chen, Luyang Liu, Yunxin Liu, Jiansong Zhang, Lintao Zhang, Thomas Moscibroda
On Building a Programmable Wireless High-Quality Virtual Reality System Using Commodity Hardware. APSys (2017)
Quanlu Zhang, Yafei Dai, Lintao Zhang
DSwitch: a dual mode direct and network attached disk. SoCC (2015)
Quanlu Zhang, Yafei Dai, Fengqian Li, Lintao Zhang
UStore: A Low Cost Cold and Archival Data Storage System for Data Centers. ICDCS (2015)
Chuntao Hong, Dong Zhou, Mao Yang, Carbo Kuo, Lintao Zhang, Lidong Zhou
KuaFu: Closing the parallelism gap in database replication. ICDE (2013)
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
Practical software model checking via dynamic interface reduction. SOSP (2011)
Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang
SLIM: Mmap from the cloud to device, and back. APSys (2011)
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI (2009)
Sharad Malik, Lintao Zhang
Boolean satisfiability from theoretical hardness to practical success. Commun. ACM 52 (8) (2009)
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
Vigilante: End-to-end containment of Internet worm epidemics. ACM Trans. Comput. Syst. 26 (4) (2008)
John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang
Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT (2008)
John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. DAC (2008)
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
Bouncer: securing software by blocking bad input. SOSP (2007)
Lucas Bordeaux, Lintao Zhang
A solver for quantified Boolean and linear constraints. SAC (2007)
Lintao Zhang
Solving QBF by Combining Conjunctive and Disjunctive Normal Forms. AAAI (2006)
Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38 (4) (2006)
Ilya Mironov, Lintao Zhang
Applications of SAT Solvers to Cryptanalysis of Hash Functions. IACR Cryptol. ePrint Arch. 2006 (2006)
Ilya Mironov, Lintao Zhang
Applications of SAT Solvers to Cryptanalysis of Hash Functions. SAT (2006)
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
A First Look at Peer-to-Peer Worms: Threats and Defenses. IPTPS (2005)
Lintao Zhang
On Subsumption Removal and On-the-Fly CNF Simplification. SAT (2005)
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT (2005)
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
Vigilante: end-to-end containment of internet worms. SOSP (2005)
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV (2004)
Lintao Zhang, Sharad Malik
Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. SAT (2003)
Lintao Zhang, Sharad Malik
Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. DATE (2003)
Lintao Zhang, Sharad Malik
The Quest for Efficient Boolean Satisfiability Solvers. CAV (2002)
Lintao Zhang, Sharad Malik
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. CP (2002)
Lintao Zhang, Sharad Malik
The Quest for Efficient Boolean Satisfiability Solvers. CADE (2002)
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. DAC (2002)
Lintao Zhang, Sharad Malik
Conflict driven learning in a quantified Boolean Satisfiability solver. ICCAD (2002)
Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik
Efficient Conflict Driven Learning in Boolean Satisfiability Solver. ICCAD (2001)
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD (2001)
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
Chaff: Engineering an Efficient SAT Solver. DAC (2001)