Qiyi is a research associate in the Department of Computer Science at Oxford University. She was a research associate in the Software Reliability Group and Multicore Programming Group, working on compiler testing. Her research interests include probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.
She received her Ph.D. from York University, Toronto under the supervision of Franck van Breugel. Her research is closely related to probabilistic model checking and her Ph.D. thesis is about algorithms to compute the probabilistic bisimilarity distances for labelled Markov chains and probabilistic automata.
Group Publications
-
Compiler Fuzzing: How Much Does It Matter?
Michael Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
Other Publications
-
Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata
Qiyi Tang, Franck van Breugel
29th International Conference on Concurrency Theory (CONCUR 2018)
-
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains
Qiyi Tang, Franck van Breugel
30th International Conference on Concurrency Theory (CAV 2018)
-
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chain
Qiyi Tang, Franck van Breugel
28th International Conference on Concurrency Theory (CONCUR 2017)
-
Computing Probabilistic Bisimilarity Distances via Policy Iteration
Qiyi Tang, Franck van Breugel
27th International Conference on Concurrency Theory (CONCUR 2016)