BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhang:Charles

Facilitated 1 volumes:

ASE 2013PrCo

Contributed to:

ICSE 20152015
FSE 20142014
OOPSLA 20142014
PLDI 20142014
ESEC/FSE 20132013
PLDI 20132013
ICSE 20122012
OOPSLA 20122012
ICSE 20112011
ISSTA 20112011
SAS 20112011
FSE 20102010
OOPSLA 20102010
ICSE 20092009
ECOOP 20082008
OOPSLA 20042004
POPL 20162016
PLDI 20182018

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.