MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Rumyana Neykova

Alumni

dblp

Rumyana Neykova is an RA at Imperial College London, previously completed a PhD degree under the supervision of Prof. Nobuko Yoshida. Her research interests are in the area of distributed systems and networks, as well as type systems and language design. Her PhD focuses on development and applications of a type theory (called session types) for runtime verification of concurrent and distributed systems.

Rumyana is now at Brunel University London

Publications

2022

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP 2022 : 4:1 - 4:29.

2020

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Implementing Multiparty Session Types in Rust. COORDINATION 2020 : 127 - 136.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida: Implementing Multiparty Session Types in Rust. PLACES@ETAPS 2020 : 1 - 8.

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen: Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020 : 9:1 - 9:30.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Statically Verified Refinements for Multiparty Protocols. OOPSLA 2020 : 148:1 - 148:30.

2019

Rumyana Neykova, Nobuko Yoshida: Featherweight Scribble. ROCCO65 : 236 - 259.

2018

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal: A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#. CC 2018 : 128 - 138.

2017

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida: Timed Runtime Monitoring for Multiparty Conversations. FAOC : 1 - 34.

Rumyana Neykova, Nobuko Yoshida: How to Verify Your Python Conversations. Behavioural Types: from Theory to Tools : 77 - 98.

Rumyana Neykova, Nobuko Yoshida: Let It Recover: Multiparty Protocol-Induced Recovery. CC 2017 : 98 - 108.

Rumyana Neykova, Nobuko Yoshida: Multiparty Session Actors. LMCS : 1 - 30.

2016

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida: Behavioral Types in Programming Languages. FTPL : 95 - 230.

2015

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. FMSD : 1 - 29.

2014

Rumyana Neykova, Nobuko Yoshida: Multiparty Session Actors. COORDINATION 2014 : 131 - 146.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida: Structuring Communication with Session Types. COB 2014 : 105 - 127.

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida: Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014 : 19 - 26.

2013

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon: Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python. RV 2013 : 148 - 130.

Rumyana Neykova: Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES'13 : 95 - 102.

Rumyana Neykova, Nobuko Yoshida, Raymond Hu: SPY: Local Verification of Global Protocols. RV 2013 : 363 - 358.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng: The Scribble Protocol Language. TGC 2013 : 22 - 41.