Charles Zhang
Associate Professor, Director of Cybersecurity Laboratory
Department of Computer Science and Engineering (direction)
The Hongkong University of Science and Technology
Room 3516 (lift 25/26) Tel: (852)23586997 Fax: (852)23581477
ASE 22 |
    | FSE 22 Industrial |
    |
Congrats to Qingkai on his OOPSLA paper on indexing CFL-reachability. Congrats to Yuandao on his FSE paper on static deadlock detection. Congrats to Peisen who is now Dr. Yao! Congrats to Heqing who is now Dr. Huang! Congrats to Jiajun on his Oakland 22 acceptance! Congrats to Chengpeng on his OOPSLA 22 paper on container usage synthesis. Joint work with Ant Group Congrats to Yiyuan on his ICSE 22 paper. Joint work with Ant Group Received Huawei distinguished collaborator award on deploying Pangolin (Oakland 20)! Congrats to Heqing on his directed fuzzing work accepted by Oakland 22! Two PLDI and OOPSLA papers accepted, still about static analysis. Sourcebrella acquired after a four-year and incredible journey of commercializing Pinpoint!
The 10-million-lines static analysis statement: "to achieve all-sensitive precision and sublinear scalability while SIMULTANEOUSLY addressing the CODA requirements : achieve scalability by being continuous both in time, incremental, and in space, accumulative (Continuous); be open for defining customized source-code test cases through APIs or DSLs (Open); respect the fact that source code is largely unavailable(Dark code); understand assembled program dependency (Aassembled) introduced by frameworks and middleware.
Recent Papers
I am fortunate to work with the following students:In progress:
Heqing Huang(Post Doc), Wensheng Tang, Yongchao Wang, Yiyuan Guo, Chengpeng Wang, Yuandao Cai, Maryam Masoudian, Anshunkang Zhou, Hao Ling, Chengfeng Ye, HongChun Chiu, Bowen Zhang, Jiajun Gong, Kexin Ma (M.Phil), Wei Chen (RA), Sixiang Peng(RA)Alumni with last known employment:Peisen Yao Qingkai Shi (Ph.D), Ant Financial Gang Fan (Ph.D) , Staff Engineer, SourceBrella Inc., now at Ant Financial Rongxin Wu (Post-Doc), Associate Professor, Xiamen University Yepang Liu (Post-Doc), Assistant Professor, SUSTech Richard Xiao (Ph.D, Post-Doc), SourceBrella Inc. (Founder, CEO), now at Ant Financial Jinguo(Andy) Zhou (Post-Doc), SourceBrella Inc. (Co-Founder), now at Ant Financial Qirun Zhang (Post Doc) Assistant Professor, Georgia Tech Peng Liu (Ph.D), Researcher, IBM T.J.Watson Research Lab Jeff Huang (Ph.D), Assitant Professor, Texas A&M University Lingjie Huang (M.Phil) Yushan Zhang (M.Phil), Software Engineer, Tencent Bin Xu (M.Phil) Software Engineer, Facebook Fan Yu(M.Phil), Software Engineer, Pinduoduo.
COMP3511: Operating Systems (Fall 2020)
COMP4111: Software Engineering Practices(Spring 2019, Spring 2018)
COMP3021: Java Programming (Spring 2022, Spring 2020, Fall 2015, Spring 2014; Spring, 2013; Spring 2012)
COMP5111: Fundamentals of Software Analysis (Spring 2014; Spring, 2013; Spring 2011; Fall, 2009; Fall, 2008)
COMP3111: Introduction to Software Engineerings (Fall 2019,Fall, 2014;Fall, 2011;Fall, 2010; Spring, 2010,Spring 2009)
COMP610: Topics in Engineering Enterprise Middleware Platforms. (Spring, 2009)
IEEE TSE: Associate Editor, 2015-2018
ASE:2022(TPC), 2018 (TPC),   2016(Demo),    2013 (TPC)
ECOOP:    2016(ERC)
FSE: 2022 (Industrial track), 2019 (TPC),    2014 (TPC, DS, SRC)     2012 (TPC, NIER)
ICSE:   2014 (TPC)     2012 (Demo, SRC)     2009 (Demo)
ISSTA:    2014 (TPC)     2012 (TPC)
OOPSLA:     2015 (TPC)    2014 (ERC)     2012 (ERC)     2011 (TPC)
VMCAI:    2018(PC)
ISSTA:    2019 (Doctoral Symposium Co-Chair)
ICSE:    2017 (SRC Co-Chair)
ICSE:    2016 (Proceedings Chair)
PLDI:    2012 (Pacific Publicity Chair)
AOSD:    2013 (Demo Chair)
APSEC:   2012 (Postgraduate Symposium Chair)
InternetWare: 2014 (Co-Chair)
SETTA 2021 Keynote: Enterprise-Scale Static Analysis: A Pinpoint Experience
Splash Rebase 2020: Enterprise-Scale Static Analysis: A Pinpoint Experience
ICSE 2020 New Faculty Symposium: Balancing teaching, service and research
IEEE SCAM 2017 Keynote: Stop the bleeding from the heart
Charles Zhang is an Associate Professor and the director of the Cybersecurity Lab in the Department of Computer Science and Engineering, HKUST. His major research interest is the use of program analysis techniques to improve software reliability. He has published extensively at premium conferences and journals of programming languages and software engineering. He has served as an associate editor of IEEE TSE, in addition to numerous organizational and technical committees of international conferences. His research received many awards including the ICSE distinguished paper award, the PLDI distinguished paper award, the ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. Dr. Zhang has also assumed numerous industrial roles, most noteworthy the software engineer at Motorola Inc, expert advisor to Huawei Inc, and expert security panelist of the Hong Kong Monetary Authority. He successfully co-founded and served as the chairman of Sourcebrella Inc, a static analysis tool vendor. His research is supported by Research Grant Council, Innovation and Technology Fund, and grants from Huawei, TCL, Microsoft and IBM. Charles obtained his Ph.D, M.Sc, and B.Sc. with honours, all from University of Toronto.