Rumyana Neykova

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu et al. · Formal Methods in System Design · 2014 · 63 citations

Computing, Computer Science, Computer Systems +10

A session type provider: compile-time API generation of distributed protocols with refinements in F#

Rumyana Neykova, Raymond Hu, Nobuko Yoshida et al. · 2018 · 57 citations · Full text

Computing, Computer Science, Computer Systems +14

Let it recover: multiparty protocol-induced recovery

Rumyana Neykova, Nobuko Yoshida · 2017 · 54 citations · Full text

Computing, Computer Engineering, Computer Science +17

Timed runtime monitoring for multiparty conversations

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida · Formal Aspects of Computing · 2017 · 50 citations · Full text

Computing, Computer Science, Computer Systems +12

Statically verified refinements for multiparty protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu et al. · Proceedings of the ACM on Programming Languages · 2020 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +17