2025
Appearance- and Orientation-aware Fine-grained Rotated Ship Detection in High-Resolution Satellite Imagery.
Proceedings of the 2025 IEEE International Conference on Acoustics, 2025
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