CUFinder

Reed Oei

About Reed Oei

Reed Oei, With an exceptional h-index of 6 and a recent h-index of 6 (since 2020), a distinguished researcher at University of Illinois at Urbana-Champaign, specializes in the field of computer science, software testing, formal methods, programming languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Decidability for Sturmian words

Pecan: An Automated Theorem Prover for Automatic Sequences using B\" uchi Automata

Obsidian: Typestate and assets for safer blockchain programming

Psamathe: a dsl for safe blockchain assets

Psamathe: A DSL with flows for safe blockchain assets

Dependent-test-aware regression testing techniques

A pilot study of the safety and usability of the obsidian blockchain programming language

Reed Oei Information

University

Position

___

Citations(all)

366

Citations(since 2020)

364

Cited By

93

hIndex(all)

6

hIndex(since 2020)

6

i10Index(all)

5

i10Index(since 2020)

5

Email

University Profile Page

Google Scholar

Reed Oei Skills & Research Interests

computer science

software testing

formal methods

programming languages

Top articles of Reed Oei

Decidability for Sturmian words

arXiv preprint arXiv:2102.08207

2021/2/16

Reed Oei
Reed Oei

H-Index: 4

Christian Schulz
Christian Schulz

H-Index: 20

Jeffrey Shallit
Jeffrey Shallit

H-Index: 22

Pecan: An Automated Theorem Prover for Automatic Sequences using B\" uchi Automata

arXiv preprint arXiv:2102.01727

2021/2/2

Reed Oei
Reed Oei

H-Index: 4

Christian Schulz
Christian Schulz

H-Index: 20

Obsidian: Typestate and assets for safer blockchain programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

2020/11/24

Michael Coblenz
Michael Coblenz

H-Index: 10

Reed Oei
Reed Oei

H-Index: 4

Joshua Sunshine
Joshua Sunshine

H-Index: 13

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Psamathe: a dsl for safe blockchain assets

2020/11/15

Reed Oei
Reed Oei

H-Index: 4

Psamathe: A DSL with flows for safe blockchain assets

arXiv preprint arXiv:2010.04800

2020/10/9

Reed Oei
Reed Oei

H-Index: 4

Michael Coblenz
Michael Coblenz

H-Index: 10

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

Dependent-test-aware regression testing techniques

2020/7/18

Wing Lam
Wing Lam

H-Index: 11

Reed Oei
Reed Oei

H-Index: 4

Sai Zhang
Sai Zhang

H-Index: 11

Tao Xie
Tao Xie

H-Index: 45

A pilot study of the safety and usability of the obsidian blockchain programming language

2020

Michael Coblenz
Michael Coblenz

H-Index: 10

Reed Oei
Reed Oei

H-Index: 4

Joshua Sunshine
Joshua Sunshine

H-Index: 13

Jonathan Aldrich
Jonathan Aldrich

H-Index: 22

See List of Professors in Reed Oei University(University of Illinois at Urbana-Champaign)