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:
2019
2018
2019Wrote 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.