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 × France
Collaborated with:
T.Chen M.Hague A.W.Lin Y.Chen L.Song X.Gu Z.Xu Y.Chen P.Rümmer J.He F.Song G.Wang J.Yan
Talks about:
constraint (3) data (3) procedur (2) composit (2) string (2) commut (2) separ (2) logic (2) decis (2) framework (1)

Person: Zhilin Wu

DBLP DBLP: Wu:Zhilin

Contributed to:

CSL 20122012
CAV (2) 20162016
IJCAR 20162016
CADE 20172017
CAV (2) 20182018
POPL 20182018
POPL 20192019

Wrote 7 papers:

CSL-2012-Wu #automaton #commutative
Commutative Data Automata (ZW), pp. 528–542.
CAV-2016-ChenSW #approach #commutative #framework #pipes and filters #problem #transducer
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach (YFC, LS, ZW), pp. 91–111.
IJCAR-2016-GuCW #composition #constraints #logic
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (XG, TC, ZW), pp. 532–549.
CADE-2017-XuCW #composition #constraints #logic #satisfiability
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints (ZX, TC, ZW), pp. 509–527.
CAV-2018-ChenHSWWY #android #stack
Android Stack Machine (TC, JH, FS, GW, ZW, JY), pp. 487–504.
POPL-2018-ChenCHLW #constraints #decidability #string #what
What is decidable about string constraints with the ReplaceAll function (TC, YC, MH, AWL, ZW), p. 29.
POPL-2019-ChenHLRW #source code #string
Decision procedures for path feasibility of string-manipulating programs with complex operations (TC, MH, AWL, PR, ZW), p. 30.

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.