Reed Oei

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Programming Language

Query Answering

Top Venues

ESEC/SIGSOFT FSE

Publications

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. Log. Methods Comput. Sci. 20 (3) (2024)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian Words. CSL (2022)
Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. CoRR (2021)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. CoRR (2021)
Reed Oei, Michael J. Coblenz, Jonathan Aldrich
Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR (2020)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie
Dependent-test-aware regression testing techniques. ISSTA (2020)
Reed Oei
Psamathe: a DSL for safe blockchain assets. SPLASH (Companion) (2020)
Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST (2019)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR (2019)
August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE (2019)
Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. PLATEAU@UIST (2019)