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 | 149 | 2014 |
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 | 137 | 2011 |
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 | 121 | 2013 |
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 | 105 | 2018 |
Verifying systems rules using rule-directed symbolic execution H Cui, G Hu, J Wu, J Yang ACM SIGPLAN Notices 48 (4), 329-342, 2013 | 92 | 2013 |
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 | 48 | 2012 |
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 | 46 | 2014 |
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 | 30 | 2013 |
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 | 28 | 2012 |
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 | 17 | 2011 |
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 | 7 | 2016 |
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 | 4 | 2011 |
Techniques for Efficient and Effective Mobile Testing G Hu Columbia University, 2018 | | 2018 |
Making Parallel Programs Reliable with Stable Multithreading Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope … J Yang, H Cui, J Wu, Y Tang, G Hu | | |