Rumyana Neykova

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang., 2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).
Dagstuhl Artifacts Ser., 2020

Multiparty Session Programming With Global Protocol Combinators.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Using the Lexicon from Source Code to Determine Application Domain.
Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

Implementing Multiparty Session Types in Rust.
Proceedings of the Coordination Models and Languages, 2020

2019
Featherweight Scribble.
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#.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2017
Let it recover: multiparty protocol-induced recovery.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
Multiparty session types for dynamic verification of distributed systems.
PhD thesis, 2016

Behavioral Types in Programming Languages.
Found. Trends Program. Lang., 2016

2015
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des., 2015

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

Timed Runtime Monitoring for Multiparty Conversations.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Frontmatter, Table of Contents, Preface, Workshop Organization.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
Session Types Go Dynamic or How to Verify Your Python Conversations.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

The Scribble Protocol Language.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

SPY: Local Verification of Global Protocols.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
Proceedings of the Runtime Verification - 4th International Conference, 2013


  Loading...