Reyyan Tekin

According to our database, Reyyan Tekin authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

JAX based parallel inference for reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Reyyan Tekin

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.

Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin

J. Syst. Softw., 2021