Intelligent speech technologies for transcription, disease diagnosis, and medical equipment interactive control in smart hospitals: A review.
Comput. Biol. Medicine, February, 2023
Speech Feature-Based Machine Learning Model and Smart Devices for Stroke Early Recognition.
Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2023
gpucc: an open-source GPGPU compiler.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters.
PhD thesis, 2014
Making parallel programs reliable with stable multithreading.
Commun. ACM, 2014
Effective dynamic detection of alias analysis errors.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013
Verifying systems rules using rule-directed symbolic execution.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Efficient deterministic multithreading through schedule relaxation.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
Optimizing Data Partitioning for Data-Parallel Computing.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Bypassing Races in Live Applications with Execution Filters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Stable Deterministic Multithreading through Schedule Memoization.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010