Lintao Zhang

According to our database, Lintao Zhang authored at least 82 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Iterative Learning for Joint Image Denoising and Motion Artifact Correction of 3D Brain MRI.

Lintao Zhang, Mengqi Wu, Lihong Wang, David C. Steffens, Guy G. Potter, Mingxia Liu

CoRR, 2024

Disentangled Latent Energy-Based Style Translation: An Image-Level Structural MRI Harmonization Framework.

Mengqi Wu, Lintao Zhang, Pew-Thian Yap, Hongtu Zhu, Mingxia Liu

CoRR, 2024

2023

Joint optimization of resource allocation and computation offloading based on game coalition in C-V2X.

Yuanyu Wang, Lintao Zhang, Chi Wei, Yuliang Tang

Ad Hoc Networks, November, 2023

The Successive Next Network as Augmented Regularization for Deformable Brain MR Image Registration.

Meng Li, Shunbo Hu, Guoqiang Li, Fuchun Zhang, Jitao Li, Yue Yang, Lintao Zhang, Mingtao Liu, Yan Xu, Deqian Fu, Wenyin Zhang, Xing Wang

Sensors, March, 2023

PASS: power allocation and SIC order selection of cache-aided NOMA in vehicular networks.

Yanglong Sun, Lintao Zhang, Yuliang Tang, Jianxin Zhang

Wirel. Networks, 2023

Influential Spreaders Identification by Fusing Network Topology.

Ziyi Zhang, Rong Yan, Wei Yuan, Lintao Zhang

Int. J. Softw. Eng. Knowl. Eng., 2023

Brain Anatomy Prior Modeling to Forecast 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

CoRR, 2023

XFL: A High Performace, Lightweighted Federated Learning Framework.

Hong Wang, Yuanzhi Zhou, Chi Zhang, Chen Peng, Mingxia Huang, Yi Liu, Lintao Zhang

CoRR, 2023

SuperScaler: Supporting Flexible DNN Parallelization via a Unified Abstraction.

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

CoRR, 2023

Full-Length Row-Multiplier QC-LDPC Codes With Girth Eight and Short Circulant Sizes.

Juhua Wang, Jianhua Zhang, Quan Zhou, Lintao Zhang

IEEE Access, 2023

Structural MRI Harmonization via Disentangled Latent Energy-Based Style Translation.

Mengqi Wu, Lintao Zhang, Pew-Thian Yap, Weili Lin, Hongtu Zhu, Mingxia Liu

Proceedings of the Machine Learning in Medical Imaging - 14th International Workshop, 2023

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

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

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

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems.

Taekyung Heo, Yang Wang, Wei Cui, Jaehyuk Huh, Lintao Zhang

IEEE Trans. Computers, 2022

Construction of QC-LDPC Codes from Sidon Sequence Using Permutation and Segmentation.

Lintao Zhang, Juhua Wang

IEEE Commun. Lett., 2022

Hybrid Representation Learning for Cognitive Diagnosis in Late-Life Depression Over 5 Years with Structural MRI.

Lintao Zhang, Lihong Wang, Minhui Yu, Rong Wu, David C. Steffens, Guy G. Potter, Mingxia Liu

CoRR, 2022

Dependency-aware Task Scheduling and Cache Placement in Vehicular Networks.

Lintao Zhang, Caijin Zhao, Yuanyu Wang, Yuliang Tang, Bo Yang

Proceedings of the 95th IEEE Vehicular Technology Conference, 2022

TST-network: A two-stage mutually reinforcing deep learning network for brain MR registration.

Mengjie Zhu, Xiancong Zhang, Lintao Zhang, Guoqiang Li, Shunbo Hu, Yongfang Wang, Lei Wang

Proceedings of the 4th International Conference on Robotics, 2022

SU-Net: A retinal segmentation model based on improved U-Net network.

Mengzhu Yang, Yongfang Wang, Guoqiang Li, Lintao Zhang, Dong Zhu, Chengchao Wang

Proceedings of the 4th International Conference on Robotics, 2022

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

Proceedings of the Machine Learning in Medical Imaging - 13th International Workshop, 2022

2021

An intelligent cloud computing of trunk logistics alliance based on blockchain and big data.

Deqian Fu, Shunbo Hu, Lintao Zhang, Shuqing He, Jianlong Qiu

J. Supercomput., 2021

Privacy-Preserving Self-Taught Federated Learning for Heterogeneous Data.

Kai-Fung Chu, Lintao Zhang

CoRR, 2021

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

Proceedings of the WWW '21: The Web Conference 2021, 2021

Joint Offloading Decision and Resource Allocation in MEC-enabled Vehicular Networks.

Lintao Zhang, Yanglong Sun, Yuliang Tang, Hao Zeng, Yuqi Ruan

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Reservation based Resource Allocation Scheme for Internet of Vehicles.

Jianxin Zhang, Xuanzhi Chen, Yanglong Sun, Yuliang Tang, Lintao Zhang

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

1Pipe: scalable total order communication in data center networks.

Bojie Li, Gefei Zuo, Wei Bai, Lintao Zhang

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Intelligent Resource Allocation Based on Reinforcement Learning for NOMA Vehicular Cooperative Communication Networks.

Hao Zeng, Lintao Zhang, Yuliang Tang, Yanglong Sun, Yuqi Ruan

Proceedings of the 16th International Conference on Computer Science & Education, 2021

Resource Allocation of Cache-aided NOMA in 5G Vehicular Networks with Imperfect Channel Estimation.

Lintao Zhang, Caijin Zhao, Yanglong Sun, Yuliang Tang, Hao Zeng

Proceedings of the 10th IEEE/CIC International Conference on Communications in China, 2021

Deep Reinforcement Learning Based Computing Offloading Decision and Task Scheduling in Internet of Vehicles.

Zhuyue Yu, Yuliang Tang, Lintao Zhang, Hao Zeng

Proceedings of the 10th IEEE/CIC International Conference on Communications in China, 2021

OpEvo: An Evolutionary Method for Tensor Operator Optimization.

Xiaotian Gao, Wei Cui, Lintao Zhang, Mao Yang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

OpEvo: An Evolutionary Method for Tensor Operator Optimization.

Xiaotian Gao, Cui Wei, Lintao Zhang, Mao Yang

CoRR, 2020

Brain Deformable Registration Using Global and Local Label-Driven Deep Regression Learning in the First Year of Life.

Shunbo Hu, Lintao Zhang, Guoqiang Li, Mingtao Liu, Deqian Fu, Wenyin Zhang

IEEE Access, 2020

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

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Label-Driven Brain Deformable Registration Using Structural Similarity and Nonoverlap Constraints.

Shunbo Hu, Lintao Zhang, Yan Xu, Dinggang Shen

Proceedings of the Machine Learning in Medical Imaging - 11th International Workshop, 2020

Estimating Minimum Operation Steps via Memory-based Recurrent Calculation Network.

Lei Sha, Chen Shi, Qi Chen, Lintao Zhang, Houfeng Wang

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

2019

FlexSaaS: A Reconfigurable Accelerator for Web Search Selection.

Shijie Cao, Lanshun Nie, De-chen Zhan, Wenqiang Wang, Ningyi Xu, Ramashis Das, Ming Wu, Lintao Zhang, Derek Chiou

ACM Trans. Reconfigurable Technol. Syst., 2019

Socksdirect: datacenter sockets can be fast and compatible.

Bojie Li, Tianyi Cui, Zibo Wang, Wei Bai, Lintao Zhang

Proceedings of the ACM Special Interest Group on Data Communication, 2019

We Know What You Will Ask: A Dialogue System for Multi-intent Switch and Prediction.

Chen Shi, Qi Chen, Lei Sha, Hui Xue, Sujian Li, Lintao Zhang, Houfeng Wang

Proceedings of the Natural Language Processing and Chinese Computing, 2019

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

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

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

Proceedings of the Machine Learning in Medical Imaging - 10th International Workshop, 2019

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

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

Fast Distributed Deep Learning over RDMA.

Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

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

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

Non-Rigid Joint Registration for Multi-Contrast MR of Infant Brain Based on the Unsupervised Deep Regression Network.

Lintao Zhang, Guoqiang Li, Deqian Fu, Wenyin Zhang, Mingtao Liu, Shunbo Hu

Proceedings of the 12th International Congress on Image and Signal Processing, 2019

Adversarial Network with Dual U-net Model and Multiresolution Loss Computation for Medical Images Registration.

Guoqiang Li, Lintao Zhang, Shunbo Hu, Deqian Fu, Mingtao Liu

Proceedings of the 12th International Congress on Image and Signal Processing, 2019

2018

RPC Considered Harmful: Fast Distributed Deep Learning on RDMA.

Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou

CoRR, 2018

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

Proceedings of the 16th Annual International Conference on Mobile Systems, 2018

Episodic Memory Deep Q-Networks.

Zichuan Lin, Tianqi Zhao, Guangwen Yang, Lintao Zhang

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Auto-Dialabel: Labeling Dialogue Data with Unsupervised Learning.

Chen Shi, Qi Chen, Lei Sha, Sujian Li, Xu Sun, Houfeng Wang, Lintao Zhang

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

Fast Clustering with Flexible Balance Constraints.

Hongfu Liu, Ziming Huang, Qi Chen, Mingqin Li, Yun Fu, Lintao Zhang

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Parametric investigation on an industrial electromagnetic continuous casting mould performance.

Lintao Zhang, An-Yuan Deng, Ian Cameron, Engang Wang, Johann Sienz

J. Comput. Des. Eng., 2017

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

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

On Building a Programmable Wireless High-Quality Virtual Reality System Using Commodity Hardware.

Ruiguang Zhong, Manni Wang, Zijian Chen, Luyang Liu, Yunxin Liu, Jiansong Zhang, Lintao Zhang, Thomas Moscibroda

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2015

UStore: A Low Cost Cold and Archival Data Storage System for Data Centers.

Quanlu Zhang, Yafei Dai, Fengqian Li, Lintao Zhang

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

DSwitch: a dual mode direct and network attached disk.

Quanlu Zhang, Yafei Dai, Lintao Zhang

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

2013

KuaFu: Closing the parallelism gap in database replication.

Chuntao Hong, Dong Zhou, Mao Yang, Carbo Kuo, Lintao Zhang, Lidong Zhou

Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

2011

Practical software model checking via dynamic interface reduction.

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

SLIM: Mmap from the cloud to device, and back.

Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2009

Boolean satisfiability from theoretical hardness to practical success.

Sharad Malik, Lintao Zhang

Commun. ACM, 2009

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

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Vigilante: End-to-end containment of Internet worm epidemics.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

ACM Trans. Comput. Syst., 2008

Designing an Efficient Hardware Implication Accelerator for SAT Solving.

John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.

John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang

Proceedings of the 45th Design Automation Conference, 2008

2007

Bouncer: securing software by blocking bad input.

Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

A solver for quantified Boolean and linear constraints.

Lucas Bordeaux, Lintao Zhang

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Applications of SAT Solvers to Cryptanalysis of Hash Functions.

Ilya Mironov, Lintao Zhang

IACR Cryptol. ePrint Arch., 2006

Propositional Satisfiability and Constraint Programming: A comparative survey.

Lucas Bordeaux, Youssef Hamadi, Lintao Zhang

ACM Comput. Surv., 2006

Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.

Lintao Zhang

Proceedings of the Proceedings, 2006

2005

Vigilante: end-to-end containment of internet worms.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

On Subsumption Removal and On-the-Fly CNF Simplification.

Lintao Zhang

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Optimizations for Compiling Declarative Models into Boolean Formulas.

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

A First Look at Peer-to-Peer Worms: Threats and Defenses.

Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

2004

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms.

Lintao Zhang, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications.

Lintao Zhang, Sharad Malik

Proceedings of the 2003 Design, 2003

2002

Conflict driven learning in a quantified Boolean Satisfiability solver.

Lintao Zhang, Sharad Malik

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

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

Proceedings of the 39th Design Automation Conference, 2002

Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.

Lintao Zhang, Sharad Malik

Proceedings of the Principles and Practice of Constraint Programming, 2002

The Quest for Efficient Boolean Satisfiability Solvers.

Lintao Zhang, Sharad Malik

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Efficient Conflict Driven Learning in Boolean Satisfiability Solver.

Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Chaff: Engineering an Efficient SAT Solver.

Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik

Proceedings of the 38th Design Automation Conference, 2001