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

Collaborated with:
F.v.Breugel C.Artho M.Pande M.Marcozzi A.F.Donaldson C.Cadar
Talks about:
probabilist (1) bisimilar (1) distanc (1) concurr (1) visual (1) matter (1) markov (1) execut (1) compil (1) analyt (1)

Person: Qiyi Tang 0001

DBLP DBLP: 0001:Qiyi_Tang

Contributed to:

ASE 20192019
CAV (1) 20182018
OOPSLA 20192019

Wrote 3 papers:

ASE-2019-ArthoPT #concurrent #java #visual notation
Visual Analytics for Concurrent Java Executions (CA, MP, QT0), pp. 1102–1105.
CAV-2018-TangB #distance #markov #probability #similarity
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains (QT0, FvB), pp. 681–699.
OOPSLA-2019-MarcozziTDC #compilation #fuzzing #how #matter #question
Compiler fuzzing: how much does it matter? (MM, QT0, AFD, CC), p. 29.

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.