Reed Oei
University of Illinois at Urbana-Champaign
H-index: 6
North America-United States
Top articles of Reed Oei
Decidability for Sturmian words
arXiv preprint arXiv:2102.08207
2021/2/16
Pecan: An Automated Theorem Prover for Automatic Sequences using B\" uchi Automata
arXiv preprint arXiv:2102.01727
2021/2/2
Reed Oei
H-Index: 4
Christian Schulz
H-Index: 20
Obsidian: Typestate and assets for safer blockchain programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
2020/11/24
Psamathe: a dsl for safe blockchain assets
2020/11/15
Reed Oei
H-Index: 4
Psamathe: A DSL with flows for safe blockchain assets
arXiv preprint arXiv:2010.04800
2020/10/9
Dependent-test-aware regression testing techniques
2020/7/18
A pilot study of the safety and usability of the obsidian blockchain programming language
2020