Welcome to Gang Hu's homepage


I am a PhD candidate and a member of Software Systems Lab in the Department of Computer Science at Columbia University, New York.

My advisor is Junfeng Yang.


Grandet: A Unified, Economical Object Store for Web Applications

Yang Tang, Gang Hu, Xinhao Yuan, Lingmei Weng, Junfeng Yang

SoCC '16: The 7th ACM Symposium on Cloud Computing, October 2016

Efficiently, Effectively Detecting Mobile App Bugs with AppDoctor

Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang

EuroSys '14: The European Conference on Computer Systems 2014, April 2014

Effective Dynamic Detection of Alias Analysis Errors

Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang

ESEC/FSE '13: Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering , August 2013

Verifying systems rules using rule-directed symbolic execution

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang

ASPLOS '13: Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, April 2013

Sound and Precise Analysis of Parallel Programs through Schedule Specialization

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang

PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2012

Practical software model checking via dynamic interface reduction

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

SOSP '11: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, October 2011


Bachelor of Science
Department of Computer Science and Technology, Tsinghua University, Beijing, China
Master of Science
Department of Computer Science, Columbia University, New York, NY, United States