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

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
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