Reed Oei
Cited by
Cited by
iDFlakies: A framework for detecting and partially classifying flaky tests
W Lam, R Oei, A Shi, D Marinov, T Xie
2019 12th ieee conference on software testing, validation and verification …, 2019
iFixFlakies: A framework for automatically fixing order-dependent flaky tests
A Shi, W Lam, R Oei, T Xie, D Marinov
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
Obsidian: Typestate and assets for safer blockchain programming
M Coblenz, R Oei, T Etzel, P Koronkevich, M Baker, Y Bloem, BA Myers, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-82, 2020
Dependent-test-aware regression testing techniques
W Lam, A Shi, R Oei, S Zhang, MD Ernst, T Xie
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
Decidability for Sturmian words
P Hieronymi, D Ma, R Oei, L Schaeffer, C Schulz, J Shallit
arXiv preprint arXiv:2102.08207, 2021
Pecan: An Automated Theorem Prover for Automatic Sequences using B\" uchi Automata
R Oei, D Ma, C Schulz, P Hieronymi
arXiv preprint arXiv:2102.01727, 2021
A pilot study of the safety and usability of the obsidian blockchain programming language
G Kambhatla, M Coblenz, R Oei, J Sunshine, J Aldrich, BA Myers
10th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2020
Psamathe: a DSL for safe blockchain assets
R Oei
Companion Proceedings of the 2020 ACM SIGPLAN International Conference on …, 2020
Psamathe: A DSL with flows for safe blockchain assets
R Oei, M Coblenz, J Aldrich
arXiv preprint arXiv:2010.04800, 2020
Pecan: An Automated Theorem Prover
R Oei, D Ma, Z Lin, Y Teng
2021 Joint Mathematics Meetings (JMM), 2021
Pecan: An Automated Theorem Prover
Z Lin, D Ma, R Oei, Y Teng, PV Advisors, C Schulz, MA Tursi, P Hieronymi
The system can't perform the operation now. Try again later.
Articles 1–11