Reed Oei

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