Lingyi Liu

Orcid: 0009-0004-7793-0860

According to our database1, Lingyi Liu authored at least 26 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Detection of Deepfake Videos Using Long-Distance Attention.
IEEE Trans. Neural Networks Learn. Syst., July, 2024

CLFR-Det: Cross-level feature refinement detector for tiny-ship detection in SAR images.
Knowl. Based Syst., 2024

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

InTune: Reinforcement Learning-based Data Pipeline Optimization for Deep Recommendation Models.
Proceedings of the 17th ACM Conference on Recommender Systems, 2023

High-Performance Genomic Analysis Heterogeneous System Using OpenCL.
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.
IEEE Geosci. Remote. Sens. Lett., 2022

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

2021
Detection of Deepfake Videos Using Long Distance Attention.
CoRR, 2021

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

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

2014
Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL.
ACM Trans. Design Autom. Electr. Syst., 2014

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.
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
PhD thesis, 2013

Automatic Generation of System Level Assertions from Transaction Level Models.
J. Electron. Test., 2013

A machine-to-machine based framework for diabetes lifestyle management.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Diagnosing root causes of system level performance violations.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

A Theoretical Model to Efficiently Transport YouBike.
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.
Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

Generating concise assertions with complete coverage.
Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

2012
A Technique for Test Coverage Closure Using GoldMine.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Word level feature discovery to enhance quality of assertion mining.
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.
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.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Efficient validation input generation in RTL by hybridized source code analysis.
Proceedings of the Design, Automation and Test in Europe, 2011

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus.
Proceedings of the Design, Automation and Test in Europe, 2011

2009
STAR: Generating input vectors for design validation by static analysis of RTL.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009


  Loading...