Travelled to:1 × China
1 × Cyprus
1 × Russia
1 × Switzerland
1 × United Kingdom
2 × Italy
3 × Canada
6 × USA
Collaborated with:J.Huang P.Liu X.Xiao J.Zhou H.Jacobsen J.Dolby S.Cheung ∅ Q.Zhang R.Wu Xiao Xiao 0003 V.Terragni O.Tripp W.Li S.Hu H.Yuan Z.Su H.Z.0002 Q.Shi Gang Fan
Talks about:concurr (10) program (6) java (5) analysi (4) replay (4) determinist (3) execut (3) effici (3) lightweight (2) processor (2)
♂ Person: Charles Zhang
DBLP: Zhang:Charles
Facilitated 1 volumes:
PrCoContributed to:
2015
2014
2014
2014
20132013201220122011
2011
2011201020102009
20082004
20162018Wrote 22 papers:
- ICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code #testing
- RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
- FSE-2014-0010TZ #concurrent #debugging #named
- Grail: context-aware fixing of concurrency bugs (PL, OT, CZ), pp. 318–329.
- OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance
- Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
- PLDI-2014-XiaoZZZ #persistent #pointer
- Persistent pointer information (XX, QZ, JZ, CZ), p. 48.
- ESEC-FSE-2013-LiuDZ #composition
- Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.
- PLDI-2013-HuangZD #concurrent #named
- CLAP: recording local executions to reproduce concurrency failures (JH, CZ, JD), pp. 141–152.
- ICSE-2012-LiuZ #automation #constraints #named
- Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.
- ICSE-2012-ZhouXZ #bound #named #polynomial #search-based
- Stride: Search-based deterministic replay in polynomial time via bounded linkage (JZ, XX, CZ), pp. 892–902.
- OOPSLA-2012-HuangZ #agile #concurrent #debugging #execution #named #reduction
- LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
- OOPSLA-2012-HuangZ12a #concurrent #execution #source code
- Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.
- ICSE-2011-XiaoZZ #analysis #data type
- Tracking data structures for postmortem analysis (XX, JZ, CZ), pp. 896–899.
- ISSTA-2011-HuangZ #concurrent #persuasion #predict
- Persuasive prediction of concurrency access anomalies (JH, CZ), pp. 144–154.
- ISSTA-2011-XiaoZ #analysis #encoding #geometry #java #performance #points-to
- Geometric encoding: forging the high performance context sensitive points-to analysis for Java (XX, CZ), pp. 188–198.
- SAS-2011-HuangZ #concurrent #debugging #performance #source code
- An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
- FSE-2010-HuangLZ #concurrent #java #lightweight #multi #named #source code
- LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
- FSE-2010-HuangLZ10a #concurrent #java #lightweight #multi #named #source code
- LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.
- OOPSLA-2010-LiZH #named #programming
- G-Finder: routing programming questions closer to the experts (WL, CZ, SH), pp. 62–73.
- ICSE-2009-Zhang #approach #aspect-oriented #java #named
- FlexSync: An aspect-oriented approach to Java synchronization (CZ), pp. 375–385.
- ECOOP-2008-ZhangJ #concurrent #java
- Externalizing Java Server Concurrency with CAL (CZ, HAJ), pp. 362–386.
- OOPSLA-2004-ZhangJ04a #middleware
- Resolving feature convolution in middleware systems (CZ, HAJ), pp. 188–205.
- POPL-2016-WuXCZZ #approach #named #performance
- Casper: an efficient approach to call trace collection (RW, XX0, SCC, HZ0, CZ), pp. 678–690.
- PLDI-2018-ShiXWZFZ #analysis #named #performance #precise
- Pinpoint: fast and precise sparse value flow analysis for million lines of code (QS, XX0, RW, JZ, GF, CZ), pp. 693–706.