Charles Zhang

Registered user since Thu 5 May 2016

Name: Charles Zhang

Affiliation: The Hong Kong University of Science and Technology

Personal website: http://www.cse.ust.hk/~charlesz

Contributions

SPLASH 2010
TAPAS 2020Author of Invited Talk (Title TBD) within the TAPAS-track
ISSTA 2020Author of Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph within the Technical Papers-track
Author of Fast Bit-Vector Satisfiability within the Technical Papers-track
SPLASH 2020Author of Enterprise-scale static analysis: A Pinpoint experience within the REBASE-track
ISSTA 2019Doctoral Symposium Co-Chair in Organizing Committee
Co-chair in Program Committee within the Doctoral Symposium -track
ICSE 2020Programme Committee in Program Committee within the Software Engineering in Practice-track
Author of Pipelining Bottom-up Data Flow Analysis within the Technical Papers-track
Author of Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks within the Technical Papers-track
ICSE 2019Author of SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code within the Technical Track-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2018Author of Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code within the PLDI Research Papers-track
SOAP 2016Session Chair of Session I (part of SOAP)
Program Co-Chair in Organizing Committee within the SOAP-track
Session Chair of Session II (part of SOAP)
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
POPL 2016Author of Casper: An Efficient Approach to Call Trace Collection within the Research Papers-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track
Author of LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction within the OOPSLA Research Papers-track
Author of Execution privatization for scheduler-oblivious concurrent programs within the OOPSLA Research Papers-track
SPLASH 2011Committee Member in Program Committee within the OOPSLA-track