Charles Zhang -

Registered user since Thu 5 May 2016

Name:Charles Zhang

Country:China

Affiliation:Hong Kong University of Science and Technology

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

Contributions

ICSE 2024	Committee Member in Research Track within the Research Track-track
ISSTA 2023	PC Member in Technical Papers within the Technical Papers-track
ICSE 2023	Author of Verifying Data Constraint Equivalence in FinTech Systems within the Technical Track-track
SPLASH 2022	Author of Complexity-guided container replacement synthesis within the OOPSLA-track Author of Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis within the OOPSLA-track
ESEC/FSE 2022	Committee Member in Program Committee within the Industry Paper-track Author of Peahen: Fast and Precise Static Deadlock Detection via Context Reduction within the Research Papers-track
ASE 2022	Committee Member in Program Committee within the Journal-first Papers-track Author of Accelerating Build Dependency Error Detection via Virtual Build within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
ICSE 2022	Presenter of Finding good research problems (2 short talks + discussion) within the NFS - New Faculty Symposium-track Author of Precise Divide-By-Zero Detection with Affirmative Evidence within the Technical Track-track
ASE 2021	Author of Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems within the Research Papers-track
SPLASH 2021	Author of Program Analysis via Efficient Symbolic Abstraction within the OOPSLA-track
ESEC/FSE 2021	Author of Skeletal Approximation Enumeration for SMT Solver Testing within the Research Papers-track
ISSTA 2021	Author of Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration within the Technical Papers-track
PLDI 2021	Author of Path-Sensitive Sparse Analysis without Path Conditions within the PLDI-track Author of Canary: Practical Static Detection of Inter-thread Value-Flow Bugs within the PLDI-track
TAPAS 2020	Author of Enterprise-scale static analysis: A Pinpoint experience within the TAPAS-track
SPLASH 2020	Author of Enterprise-scale static analysis: A Pinpoint experience within the REBASE-track
ISSTA 2020	Author 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
ICSE 2020	Programme 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
ISSTA 2019	Doctoral Symposium Co-Chair in Organizing Committee Co-chair in Program Committee within the Doctoral Symposium -track
ICSE 2019	Author of SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code within the Technical Track-track
PLDI 2018	Author of Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code within the PLDI Research Papers-track
VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
ECOOP 2016	Committee Member in External Review Committee within the Research Track-track
SOAP 2016	Session 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)
POPL 2016	Author of Casper: An Efficient Approach to Call Trace Collection within the Research Papers-track
SPLASH 2015	Committee Member in Program Committee within the OOPSLA-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track
SPLASH 2012	Committee 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 2011	Committee Member in Program Committee within the OOPSLA-track