iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. - Wing Lam; Reed Oei; August Shi; Darko Marinov; Tao Xie 001 (ICST, 2019)

iFixFlakies: a framework for automatically fixing order-dependent flaky tests. - August Shi; Wing Lam; Reed Oei; Tao Xie 001; Darko Marinov (ESEC/SIGSOFT FSE, 2019)

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. - Gauri Kambhatla; Michael J. Coblenz; Reed Oei; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (PLATEAU@UIST, 2019)

Dependent-test-aware regression testing techniques. - Wing Lam; August Shi; Reed Oei; Sai Zhang 001; Michael D. Ernst; Tao Xie 001 (ISSTA, 2020)

Psamathe: a DSL for safe blockchain assets. - Reed Oei (SPLASH (Companion), 2020)

Psamathe: A DSL with Flows for Safe Blockchain Assets. - Reed Oei; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2020)

Obsidian: Typestate and Assets for Safer Blockchain Programming. - Michael J. Coblenz; Reed Oei; Tyler Etzel; Paulette Koronkevich; Miles Baker; Yannick Bloem; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2020)

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. - Reed Oei; Dun Ma; Christian Schulz 013; Philipp Hieronymi (CoRR, 2021)

Decidability for Sturmian words. - Philipp Hieronymi; Dun Ma; Reed Oei; Luke Schaeffer; Christian Schulz 013; Jeffrey O. Shallit (Log. Methods Comput. Sci., 2024)