BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
P.Rümmer T.Chen M.Hague Z.Wu C.Hong R.Majumdar Y.Chen L.Holík Petr Janku T.Vojnar
Talks about:
string (3) constraint (2) system (2) probabilist (1) parameteris (1) parameter (1) arbitrari (1) transduc (1) randomis (1) protocol (1)

Person: Anthony W. Lin

DBLP DBLP: Lin:Anthony_W=

Contributed to:

CAV (2) 20162016
CAV (1) 20192019
POPL 20182018
POPL 20192019

Wrote 5 papers:

CAV-2016-LinR #liveness #random
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (AWL, PR), pp. 112–133.
CAV-2019-HongLMR #bisimulation #probability #protocol #verification
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) (CDH, AWL, RM, PR), pp. 455–474.
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-2018-HolikJLRV #constraints #string #transducer
String constraints with concatenation and transducers solved efficiently (LH, PJ, AWL, PR, TV), p. 32.
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.