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). https://doi.org/10.1145/3417516
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.