Reed Oei

According to our database, Reed Oei authored at least 9 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Decidability for Sturmian Words.

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.

Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi

CoRR, 2021

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

Psamathe: A DSL with Flows for Safe Blockchain Assets.

Reed Oei, Michael J. Coblenz, Jonathan Aldrich

CoRR, 2020

Psamathe: a DSL for safe blockchain assets.

Reed Oei

Proceedings of the SPLASH '20: Conference on Systems, 2020

Dependent-test-aware regression testing techniques.

Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

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

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

iFixFlakies: a framework for automatically fixing order-dependent flaky tests.

August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests.

Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019