Lingyi Liu

According to our database, Lingyi Liu authored at least 24 papers between 2009 and 2023.

Collaborative distances:

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

2023

Synergistic Signals: Exploiting Co-Engagement and Semantic Links via Graph Neural Networks.

Zijie Huang, Baolin Li, Hafez Asgharzadeh, Anne Cocos, Lingyi Liu, Evan Cox, Colby Wise, Sudarshan Lamkhede

CoRR, 2023

InTune: Reinforcement Learning-based Data Pipeline Optimization for Deep Recommendation Models.

Kabir Nagrecha, Lingyi Liu, Pablo Delgado, Prasanna Padmanabhan

Proceedings of the 17th ACM Conference on Recommender Systems, 2023

High-Performance Genomic Analysis Heterogeneous System Using OpenCL.

Jianing Gao, Lingyi Liu, Qin Wang, Naifeng Jing, Jianfei Jiang

Proceedings of the 15th IEEE International Conference on ASIC, 2023

2022

Locality-Aware Rotated Ship Detection in High-Resolution Remote Sensing Imagery Based on Multiscale Convolutional Network.

Lingyi Liu, Yunpeng Bai, Ying Li

IEEE Geosci. Remote. Sens. Lett., 2022

On Negative Sampling for Audio-Visual Contrastive Learning from Movies.

Mahdi M. Kalayeh, Shervin Ardeshir, Lingyi Liu, Nagendra Kamath, Ashok Chandrashekar

CoRR, 2022

2021

Detection of Deepfake Videos Using Long Distance Attention.

Wei Lu, Lingyi Liu, Junwei Luo, Xianfeng Zhao, Yicong Zhou, Jiwu Huang

CoRR, 2021

Watching Too Much Television is Good: Self-Supervised Audio-Visual Representation Learning from Movies and TV Shows.

Mahdi M. Kalayeh, Nagendra Kamath, Lingyi Liu, Ashok Chandrashekar

CoRR, 2021

2020

Locality-Aware Rotated Ship Detection in High-Resolution Remote Sensing Imagery Based on Multi-Scale Convolutional Network.

Lingyi Liu, Yunpeng Bai, Ying Li

CoRR, 2020

2014

Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL.

Lingyi Liu, Shobha Vasudevan

ACM Trans. Design Autom. Electr. Syst., 2014

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.

David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013

Harmonizing data mining and static analysis to tackle hardware and system level verification

Lingyi Liu

PhD thesis, 2013

Automatic Generation of System Level Assertions from Transaction Level Models.

Lingyi Liu, Shobha Vasudevan

J. Electron. Test., 2013

A machine-to-machine based framework for diabetes lifestyle management.

Zhen Wei Zhao, Qiuran Ma, Cheng-Chung Li, Lingyi Liu, Wen-Ding Li

Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Diagnosing root causes of system level performance violations.

Lingyi Liu, Xuanyu Zhong, Xiaotao Chen, Shobha Vasudevan

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

A Theoretical Model to Efficiently Transport YouBike.

Cheng-Chung Li, Lingyi Liu

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

Scaling RTL property checking using feasible path analysisand decomposition.

Lingyi Liu, Shobha Vasudevan

Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

Generating concise assertions with complete coverage.

Chen-Hsuan Lin, Lingyi Liu, Shobha Vasudevan

Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

2012

A Technique for Test Coverage Closure Using GoldMine.

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Word level feature discovery to enhance quality of assertion mining.

Lingyi Liu, Chen-Hsuan Lin, Shobha Vasudevan

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

2011

Automatic generation of assertions from system level design using data mining.

Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Scaling probabilistic timing verification of hardware using abstractions in design source code.

Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Efficient validation input generation in RTL by hybridized source code analysis.

Lingyi Liu, Shobha Vasudevan

Proceedings of the Design, Automation and Test in Europe, 2011

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus.

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan

Proceedings of the Design, Automation and Test in Europe, 2011

2009

STAR: Generating input vectors for design validation by static analysis of RTL.

Lingyi Liu, Shobha Vasudevan

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009