Rumyana Neykova

Orcid: 0000-0002-2755-7728

According to our database1, Rumyana Neykova authored at least 29 papers between 2013 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions.
CoRR, 2024

MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-Based Decentralized Applications.
IEEE Access, 2024

2023
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications.
CoRR, 2023

An Optimized Concurrent Proof of Authority Consensus Protocol.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols.
Proceedings of the 20th International Conference on Software Architecture, 2023

A Preliminary Analysis of Software Metrics in Decentralised Applications.
Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, 2023

2022
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).
Dagstuhl Artifacts Ser., 2022

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
kmclib: Automated Inference and Verification of Session Types.
CoRR, 2021

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...