Gang Hu
Gang Hu
Verified email at cs.columbia.edu
Title
Cited by
Cited by
Year
Practical software model checking via dynamic interface reduction
H Guo, M Wu, L Zhou, G Hu, J Yang, L Zhang
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
1122011
Efficiently, effectively detecting mobile app bugs with AppDoctor
G Hu, X Yuan, Y Tang, J Yang
Proceedings of the Ninth European Conference on Computer Systems, 18, 2014
1092014
RWCap: A floating random walk solver for 3-D capacitance extraction of very-large-scale integration interconnects
W Yu, H Zhuang, C Zhang, G Hu, Z Liu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
752013
Verifying systems rules using rule-directed symbolic execution
H Cui, G Hu, J Wu, J Yang
ACM SIGPLAN Notices 48 (4), 329-342, 2013
692013
Making parallel programs reliable with stable multithreading
J Yang, H Cui, J Wu, Y Tang, G Hu
Communications of the ACM 57 (3), 58-69, 2014
422014
Sound and precise analysis of parallel programs through schedule specialization
J Wu, Y Tang, G Hu, H Cui, J Yang
ACM SIGPLAN Notices 47 (6), 205-216, 2012
392012
AppFlow: using machine learning to synthesize robust, reusable UI tests
G Hu, L Zhu, J Yang
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
342018
Fast floating random walk algorithm formulti-dielectric capacitance extraction with numerical characterization of Green's functions
H Zhuang, W Yu, G Hu, Z Liu, Z Ye
17th Asia and South Pacific Design Automation Conference, 377-382, 2012
25*2012
Effective dynamic detection of alias analysis errors
J Wu, G Hu, Y Tang, J Yang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
232013
Efficient floating random walk algorithm for interconnect capacitance extraction considering multiple dielectrics
G Hu, W Yu, H Zhuang, S Zeng
2011 9th IEEE International Conference on ASIC, 834-837, 2011
142011
Grandet: A Unified, Economical Object Store for Web Applications
Y Tang, G Hu, X Yuan, L Weng, J Yang
SoCC '16: The 7th ACM Symposium on Cloud Computing, 2016
62016
Numerical characterization of multi-dielectric green's function for floating random walk based capacitance extraction
H Zhuang, W Yu, G Hu, Z Ye
2011 9th IEEE International Conference on ASIC, 333-336, 2011
32011
Techniques for Efficient and Effective Mobile Testing
G Hu
Columbia University, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–13