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 × Ireland
1 × Singapore
4 × USA
Collaborated with:
Y.Liu J.Sun J.S.Dong C.Sun S.Khoo Y.Xu C.Sun J.Pang J.Ma W.Chen Y.A.Liu
Talks about:
scalabl (2) automat (2) formal (2) detect (2) verif (2) base (2) constraint (1) transform (1) symmetri (1) lineariz (1)

Person: Shao Jie Zhang

DBLP DBLP: Zhang:Shao_Jie

Contributed to:

FM 20142014
ASE 20132013
FM 20112011
ICSE 20112011
ICSM 20112011
SEKE 20092009

Wrote 6 papers:

FM-2014-LiuXZS #verification
Formal Verification of Operational Transformation (YL, YX, SJZ, CS), pp. 432–448.
ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry
Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
FM-2011-ZhangSPLD #on the #reduction
On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
ICSE-2011-Zhang11a #automation #scalability
Scalable automatic linearizability checking (SJZ), pp. 1185–1187.
ICSM-2011-SunKZ #api #detection #graph #library
Graph-based detection of library API imitations (CS, SCK, SJZ), pp. 183–192.
SEKE-2009-ZhangLSDCL #scalability #verification
Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.

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.