Sotabase

Career

· Intern, Google2015–2015
· Research Assistant, Columbia University2011–2018
· Intern, Microsoft Research Asia Alumni2010–2011

Publications (10)

Efficiently, effectively detecting mobile app bugs with AppDoctor
European Conference on Computer Systems · 2014
111
cited
Verifying systems rules using rule-directed symbolic execution
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
67
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
Grandet: A Unified, Economical Object Store for Web Applications
ACM Symposium on Cloud Computing · 2016
5
cited
Image Fusion Based on Integer Lifting Wavelet Transform
2011
2
cited
Open-FinLLMs: Open Multimodal Large Language Models for Financial Applications
Sotabase
Gang Hu | Researcher Profile | Sotabase | Sotabase