Sign in
Jingyue Wu
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 3
Top Topics
Multi Threaded
Coarse Grain
Symbolic Execution
Disease Diagnosis
Top Venues
Commun. ACM
Comput. Biol. Medicine
HotPar
CGO
</>
Publications
</>
Jun Zhang
,
Jingyue Wu
,
Yiyi Qiu
,
Aiguo Song
,
Weifeng Li
,
Xin Li
,
Yecheng Liu
Intelligent speech technologies for transcription, disease diagnosis, and medical equipment interactive control in smart hospitals: A review.
Comput. Biol. Medicine
153 (2023)
Yuwei Yang
,
Youhua Lin
,
Chang Liu
,
Zhi Li
,
Kun Mei
,
Jingyue Wu
,
Yi Xiao
,
Jun Zhang
Speech Feature-Based Machine Learning Model and Smart Devices for Stroke Early Recognition.
ICARM
(2023)
Jingyue Wu
,
Artem Belevich
,
Eli Bendersky
,
Mark Heffernan
,
Chris Leary
,
Jacques A. Pienaar
,
Bjarke Roune
,
Rob Springer
,
Xuetian Weng
,
Robert Hundt
gpucc: an open-source GPGPU compiler.
CGO
(2016)
Junfeng Yang
,
Heming Cui
,
Jingyue Wu
,
Yang Tang
,
Gang Hu
Making parallel programs reliable with stable multithreading.
Commun. ACM
57 (3) (2014)
Junfeng Yang
,
Heming Cui
,
Jingyue Wu
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.
HotPar
(2013)
Heming Cui
,
Gang Hu
,
Jingyue Wu
,
Junfeng Yang
Verifying systems rules using rule-directed symbolic execution.
ASPLOS
(2013)
Jingyue Wu
,
Gang Hu
,
Yang Tang
,
Junfeng Yang
Effective dynamic detection of alias analysis errors.
ESEC/SIGSOFT FSE
(2013)
Jingyue Wu
,
Yang Tang
,
Gang Hu
,
Heming Cui
,
Junfeng Yang
Sound and precise analysis of parallel programs through schedule specialization.
PLDI
(2012)
Heming Cui
,
Jingyue Wu
,
John Gallagher
,
Huayang Guo
,
Junfeng Yang
Efficient deterministic multithreading through schedule relaxation.
SOSP
(2011)
Qifa Ke
,
Vijayan Prabhakaran
,
Yinglian Xie
,
Yuan Yu
,
Jingyue Wu
,
Junfeng Yang
Optimizing Data Partitioning for Data-Parallel Computing.
HotOS
(2011)
Heming Cui
,
Jingyue Wu
,
Chia-che Tsai
,
Junfeng Yang
Stable Deterministic Multithreading through Schedule Memoization.
OSDI
(2010)
Jingyue Wu
,
Heming Cui
,
Junfeng Yang
Bypassing Races in Live Applications with Execution Filters.
OSDI
(2010)