Jingyue Wu

According to our database1, Jingyue Wu authored at least 13 papers between 2010 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
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

2016
gpucc: an open-source GPGPU compiler.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

2014
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

2013
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

2012
Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011
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

2010
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


  Loading...