Qiyi Tang (汤淇伊)

Research Associate, University of Oxford

Email: qiyi.tang@cs.ox.ac.uk

Qiyi is a research associate in the Department of Computer Science at Oxford University, working on algorithmic comparison of probabilistic systems, under the supervision of Prof. Stefan Kiefer. Prior to that, she was working under supervision of Prof. Cristian Cadar and Prof. Alastair Donaldson at Imperial College London on the compiler bug impact project. Her research interests include bisimilarity distances, probabilistic models, policy iteration algorithms, and compiler testing .

She received her Ph.D. in 2018 from York University, Toronto under the supervision of Prof. Franck van Breugel. She received the Governor General's Academic Gold Medal for her PhD study. She has obtained her Master's degree in Computer Science at Oxford University with Distinction in 2013.

PUBLICATIONS

  • Visual Analytics for Concurrent Java Executions.

Cyrille Artho, Monali Pande, Qiyi Tang. The 34th IEEE/ACM International Conference on Automated Software Engineering (Tool Demo Track) (ASE'19 Tool Demonstrations).

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang and Franck van Breugel. The 30th International Conference on Concurrency Theory (CONCUR 2019, Experiments, Extended version)

  • Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

Qiyi Tang and Franck van Breugel. Journal of Computer and System Sciences CONCUR Special Issue (under review).

  • Compiler Fuzzing: How Much Does It Matter?

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar. (SPLASH 2019 OOPSLA, arXiv, Artifact).

  • Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

Qiyi Tang and Franck van Breugel. In Proceedings of the 29th International Conference on Concurrency Theory (CONCUR 2018).

  • Computing Probabilistic Bisimilarity Distances. Qiyi Tang. (PhD thesis, 2018).
  • Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.

Qiyi Tang and Franck van Breugel. In Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018).

  • Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chain.

Qiyi Tang and Franck van Breugel. In Proceedings of the 28th International Conference on Concurrency Theory (CONCUR 2017).

  • Computing Probabilistic Bisimilarity Distances via Policy Iteration.

Qiyi Tang and Franck van Breugel. In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016).

PROFESSIONAL SERVICES

Qiyi has reviewed papers for TACAS (2019), CONCUR (2018, 2016), FoSSaCS (2018), ICALP (2017), TASE (2017), Information and Computation (2015).

Qiyi was in the Artifact Evaluation Committee for PLDI 2019 and OOPSLA 2019.

Qiyi was in the SSESS Program Committee 2019.