Jingyue Wu
Northwest University(CN)State Key Laboratory of Continental DynamicsShandong Agricultural University(CN)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Distributed systems and fault tolerance, Software System Performance and Reliability, Geological and Geophysical Studies
Most-Cited Works
- → Efficient deterministic multithreading through schedule relaxation(2011)103 cited
- → Stable deterministic multithreading through schedule memoization(2010)94 cited
- → gpucc: an open-source GPGPU compiler(2016)61 cited
- → Verifying systems rules using rule-directed symbolic execution(2013)56 cited
- → Bypassing races in live applications with execution filters(2010)54 cited
- Optimizing data partitioning for data-parallel computing(2011)
- → Sound and precise analysis of parallel programs through schedule specialization(2012)33 cited
- →