Rumyana Neykova

According to our database, Rumyana Neykova authored at least 19 papers between 2013 and 2020.

Collaborative distances:

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

2020

Statically verified refinements for multiparty protocols.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Dagstuhl Artifacts Ser., 2020

Multiparty Session Programming With Global Protocol Combinators.

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Using the Lexicon from Source Code to Determine Application Domain.

Andrea Capiluppi, Nemitari Ajienka, Nour Ali, Mahir Arzoky, Steve Counsell, Giuseppe Destefanis, Alina Miron, Bhaveet Nagaria, Rumyana Neykova, Martin J. Shepperd, Stephen Swift, Allan Tucker

Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2020

2019

Featherweight Scribble.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

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

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Let it recover: multiparty protocol-induced recovery.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

Multiparty session types for dynamic verification of distributed systems.

Rumyana Neykova

PhD thesis, 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

2015

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

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Formal Methods Syst. Des., 2015

2014

Multiparty Session Actors.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Timed Runtime Monitoring for Multiparty Conversations.

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Frontmatter, Table of Contents, Preface, Workshop Organization.

Rumyana Neykova, Nicholas Ng

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Session Types Go Dynamic or How to Verify Your Python Conversations.

Rumyana Neykova

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

The Scribble Protocol Language.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

SPY: Local Verification of Global Protocols.

Rumyana Neykova, Nobuko Yoshida, Raymond Hu

Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda

Proceedings of the Runtime Verification - 4th International Conference, 2013