Reyyan Tekin

According to our database¹, Reyyan Tekin authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

WebAssembly serverless join: A Study of its Application.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Scientific and Statistical Database Management, 2024

2022

JAX based parallel inference for reactive probabilistic programming.

[BibT_eX]

[DOI]

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

2021

Hippo: A formal-model execution engine to control and verify critical real-time systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021