Qiyi Tang

Registered user since Mon 11 Feb 2019

Name:Qiyi Tang
Bio:

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.

Country:United Kingdom
Affiliation:University of Oxford
Research interests:Probabilistic model checking, probabilistic models, probabilistic bisimilarity distances, policy iteration algorithms and compiler testing.

Contributions

SPIN 2021 Author of Probabilistic Model Checking of Randomized Java Code within the SPIN-track
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ASE 2019 Author of Visual Analytics for Concurrent Java Executions within the Demonstrations-track
SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track