Reyyan Tekin

Orcid: 0009-0008-0624-7617

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.

[DOI]

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

2022

JAX based parallel inference for reactive probabilistic programming.

[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.

[DOI]

J. Syst. Softw., 2021