Below is a list of all of my papers. Feel free to email me ( for additional information or discussion.
  • Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi. Pecan: An Automatic Theorem Prover for Automatic Sequences using Büchi Automata. In preparation. arXiv

  • Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, and Jeffrey Shallit. Decidability for Sturmian Words. In preparation. arXiv

  • Reed Oei, Michael Coblenz, Jonathan Aldrich. Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract). The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021.

  • Reed Oei. 2020. Psamathe: A DSL for Safe Blockchain Assets. In Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion ’20), November 15–20, 2020, Virtual, USA. ACM, New York, NY, USA, 3 pages. pdf

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

  • Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, and Tao Xie. Dependent-Test-Aware Regression Testing Techniques. International Symposium on Software Testing and Analysis (ISSTA), pages 298-311, Virtual Event, July 2020.

  • Gauri Kambhatla, Michael Coblenz, Reed Oei, Joshua Sunshine, Brad A. Myers, Jonathan Aldrich. A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. The Tenth Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU@UIST), October 24, 2019, New Orleans, Louisiana.

  • August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov. iFixFlakies: A Framework for Automatically Fixing Order-dependent Flaky Tests, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 545-555, Tallinn, Estonia, August 2019.

  • Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie. iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests, IEEE International Conference on Software Testing, Verification and Validation (ICST), pages 312-322, Xi'an, China, April 2019.

This website is written in Prolog