iDFlakies: A framework for detecting and partially classifying flaky tests W Lam, R Oei, A Shi, D Marinov, T Xie 2019 12th ieee conference on software testing, validation and verification …, 2019 | 111 | 2019 |

iFixFlakies: A framework for automatically fixing order-dependent flaky tests A Shi, W Lam, R Oei, T Xie, D Marinov Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 80 | 2019 |

Obsidian: Typestate and assets for safer blockchain programming M Coblenz, R Oei, T Etzel, P Koronkevich, M Baker, Y Bloem, BA Myers, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-82, 2020 | 46 | 2020 |

Dependent-test-aware regression testing techniques W Lam, A Shi, R Oei, S Zhang, MD Ernst, T Xie Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 32 | 2020 |

Decidability for Sturmian words P Hieronymi, D Ma, R Oei, L Schaeffer, C Schulz, J Shallit arXiv preprint arXiv:2102.08207, 2021 | 10 | 2021 |

Pecan: An Automated Theorem Prover for Automatic Sequences using B\" uchi Automata R Oei, D Ma, C Schulz, P Hieronymi arXiv preprint arXiv:2102.01727, 2021 | 7 | 2021 |

A pilot study of the safety and usability of the obsidian blockchain programming language G Kambhatla, M Coblenz, R Oei, J Sunshine, J Aldrich, BA Myers 10th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2020 | 2 | 2020 |

Psamathe: a DSL for safe blockchain assets R Oei Companion Proceedings of the 2020 ACM SIGPLAN International Conference on …, 2020 | 1 | 2020 |

Psamathe: A DSL with flows for safe blockchain assets R Oei, M Coblenz, J Aldrich arXiv preprint arXiv:2010.04800, 2020 | 1 | 2020 |

Pecan: An Automated Theorem Prover R Oei, D Ma, Z Lin, Y Teng 2021 Joint Mathematics Meetings (JMM), 2021 | | 2021 |

Pecan: An Automated Theorem Prover Z Lin, D Ma, R Oei, Y Teng, PV Advisors, C Schulz, MA Tursi, P Hieronymi | | |