BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × United Kingdom
6 × USA
Collaborated with:
Y.Zhou M.Zheng J.Tucek S.Lu W.Dou G.(.Xu A.Rountev H.Chen Y.Gao C.Gao J.W.0001 M.D.Bond V.T.Ravi G.Agrawal Y.Tang J.Sundaresan Y.J.0001 Q.Gao W.Zhang Z.Chen D.Qi W.N.Sumner X.Zhang A.Roychoudhury Y.Jiang C.Xu X.Ma J.Lu J.Wang K.Yin D.Huang M.Lillibridge E.S.Yang B.W.Zhao S.Singh D.Wang R.Huang L.Zhou Y.Wu
Talks about:
bug (5) memori (4) softwar (3) detect (3) leak (3) concurr (2) system (2) studi (2) scale (2) crash (2)

Person: Feng Qin


Contributed to:

OSDI 20142014
WCRE 20122012
ASPLOS 20112011
PLDI 20112011
PPoPP 20112011
ESEC/FSE 20072007
ASPLOS 20062006
HPCA 20052005
SOSP 20052005
FSE 20162016
ASE 20172017
ESEC/FSE 20182018
ASE 20192019

Wrote 13 papers:

OSDI-2014-ZhengTHQLYZS #database
Torturing Databases for Fun and Profit (MZ, JT, DH, FQ, ML, ESY, BWZ, SS), pp. 449–464.
WCRE-2012-QiSQZZR #execution #modelling
Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
ASPLOS-2011-GaoZCZQ #concurrent #debugging #named #towards #type system
2ndStrike: toward manifesting hidden concurrency typestate bugs (QG, WZ, ZC, MZ, FQ), pp. 239–250.
PLDI-2011-XuBQR #memory management #named
LeakChaser: helping programmers narrow down causes of memory leaks (G(X, MDB, FQ, AR), pp. 270–282.
PPoPP-2011-ZhengRQA #detection #gpu #named #source code
GRace: a low-overhead mechanism for detecting data races in GPU programs (MZ, VTR, FQ, GA), pp. 135–146.
ESEC-FSE-2007-XuRTQ #java #performance #using
Efficient checkpointing of java software using context-sensitive capture and replay (G(X, AR, YT, FQ), pp. 85–94.
ASPLOS-2006-LuTQZ #detection #invariant #named
AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.
HPCA-2005-QinLZ #detection #memory management #named
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs (FQ, SL, YZ), pp. 291–302.
SOSP-2005-QinTSZ #debugging #named
Rx: treating bugs as allergies — a safe method to survive software failures (FQ, JT, JS, YZ), pp. 235–248.
FSE-2016-JiangCQXML #consistency #validation
Crash consistency validation made easy (YJ, HC, FQ, CX, XM, JL), pp. 133–143.
ASE-2017-WangDGGQYW #concurrent #debugging
A comprehensive study on real world concurrency bugs in Node.js (JW, WD, YG, CG, FQ, KY, JW0), pp. 520–531.
ESEC-FSE-2018-GaoDQGW0HZW #debugging #distributed #empirical #scalability
An empirical study on crash recovery bugs in large-scale distributed systems (YG, WD, FQ, CG, DW, JW0, RH, LZ, YW), pp. 539–550.
ASE-2019-ChenD0Q #comprehension #debugging #scalability
Understanding Exception-Related Bugs in Large-Scale Cloud Systems (HC, WD, YJ0, FQ), pp. 339–351.

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.