Concepedia

Jingyue Wu

JW

Statistics

Publications

10

Citations

497

H-Index

10

Active since

2010

Affiliations

Columbia University(Current)

Jingyue Wu is an author at Columbia University specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringSystem SoftwareSoftware AnalysisParallel ComputingParallel ProgrammingSoftware EngineeringComputer Architecture

Publications per year

2010–2016

10

Publications

10

Efficient deterministic multithreading through schedule relaxation

Heming Cui, Jingyue Wu, John P. Gallagher et al. · 2011 · 103 citations

Engineering, Computer Architecture, Deterministic Multithreading +18

Stable deterministic multithreading through schedule memoization

Heming Cui, Jingyue Wu, Chia-Che Tsai et al. · Operating Systems Design and Implementation · 2010 · 94 citations

Engineering, Computer Architecture, Software Engineering +16

gpucc: an open-source GPGPU compiler

Jingyue Wu, Artem Belevich, Eli Bendersky et al. · 2016 · 60 citations · Full text

Verifying systems rules using rule-directed symbolic execution

Heming Cui, Gang Hu, Jingyue Wu et al. · 2013 · 56 citations

Program Checking, Engineering, Verification +19

Bypassing races in live applications with execution filters

Jingyue Wu, Heming Cui, Junfeng Yang · Operating Systems Design and Implementation · 2010 · 54 citations

Engineering, Computer Architecture, Software Engineering +21

1–5 of 10