Sotabase

Career

· Software Engineer, Waymo2017–
· Software Engineer, Google2014–2017
· Intern, Facebook2012–2012
· Intern, Microsoft Research Silicon Valley2010–2010
· PhD Student, Columbia University in the City of New York2008–2014
· BE, Tsinghua University2004–2008

Publications (14)

Stable Deterministic Multithreading through Schedule Memoization
USENIX Symposium on Operating Systems Design and Implementation · 2010
113
cited
Efficient deterministic multithreading through schedule relaxation
Symposium on Operating Systems Principles · 2011
85
cited
gpucc: An open-source GPGPU compiler
IEEE/ACM International Symposium on Code Generation and Optimization · 2016
69
cited
Verifying systems rules using rule-directed symbolic execution
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
67
cited
Bypassing Races in Live Applications with Execution Filters
USENIX Symposium on Operating Systems Design and Implementation · 2010
62
cited
Intelligent speech technologies for transcription, disease diagnosis, and medical equipment interactive control in smart hospitals: A review
Computers in Biology and Medicine · 2023
57
cited
Optimizing Data Partitioning for Data-Parallel Computing
USENIX Workshop on Hot Topics in Operating Systems · 2011
43
cited
Sound and precise analysis of parallel programs through schedule specialization
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2012
39
cited
Making parallel programs reliable with stable multithreading
Communications of the ACM · 2014
37
cited
Effective dynamic detection of alias analysis errors
ESEC/FSE 2013 · 2013
27
cited
Determinism Is Not Enough : Making Parallel Programs Reliable with Stable Multithreading
2013
16
cited
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It
USENIX Conference on Hot Topics in Parallelism · 2013
10
cited
Application of Artificial Intelligence in Material Testing
Highlights in Science Engineering and Technology · 2022
1
cited
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters
2014
Sotabase
Jingyue Wu | Researcher Profile | Sotabase | Sotabase