E-LIB Suche - Ergebnisse für: Oei, Reed

1

Obsidian : Typestate and Assets for Safer Blockchain Pro..:

Coblenz, Michael ; Oei, Reed ; Etzel, Tyler...
ACM Transactions on Programming Languages and Systems (TOPLAS). 42 (2020) 3 - p. 1-82 , 2020

Link: https://dl.acm.org/doi/1..

2

Obsidian: Typestate and Assets for Safer Blockchain Program..:

Coblenz, Michael ; Oei, Reed ; Etzel, Tyler...
ACM Transactions on Programming Languages and Systems. 42 (2020) 3 - p. 1-82 , 2020

Link: https://doi.org/10.1145/..

3

Dependent-test-aware regression testing techniques:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Lam, Wing ; Shi, August ; Oei, Reed... - p. 298-311 , 2020

Link: https://dl.acm.org/doi/1..

4

Psamathe: a DSL for safe blockchain assets:

, In: Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Oei, Reed - p. 16-18 , 2020

Link: https://dl.acm.org/doi/1..

5

iFixFlakies: a framework for automatically fixing order-dep..:

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

Shi, August ; Lam, Wing ; Oei, Reed.. - p. 545-555 , 2019

Link: https://dl.acm.org/doi/1..

6

Decidability for Sturmian Words:

Hieronymi, Philipp ; Ma, Dun ; Oei, Reed...
doi:10.4230/LIPIcs.CSL.2022.24. , 2022

Link: https://doi.org/10.4230/..

7

Decidability for Sturmian words:

Hieronymi, Philipp ; Ma, Dun ; Oei, Reed...
http://arxiv.org/abs/2102.08207. , 2021

Link: http://arxiv.org/abs/210..

8

Pecan: An Automated Theorem Prover for Automatic Sequences ..:

Oei, Reed ; Ma, Dun ; Schulz, Christian.
http://arxiv.org/abs/2102.01727. , 2021

Link: http://arxiv.org/abs/210..

9

A Pilot Study of the Safety and Usability of the Obsidian B..:

Kambhatla, Gauri ; Coblenz, Michael ; Oei, Reed...
doi:10.4230/OASIcs.PLATEAU.2019.2. , 2020

Link: https://doi.org/10.4230/..

10

Psamathe: A DSL with Flows for Safe Blockchain Assets:

Oei, Reed ; Coblenz, Michael ; Aldrich, Jonathan
http://arxiv.org/abs/2010.04800. , 2020

Link: http://arxiv.org/abs/201..

11

Obsidian: Typestate and Assets for Safer Blockchain Program..:

Coblenz, Michael ; Oei, Reed ; Etzel, Tyler...
http://arxiv.org/abs/1909.03523. , 2019

Link: http://arxiv.org/abs/190..