`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: 0001:Qiyi_Tang

### Contributed to:

### 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.