Rumyana Neykova

According to our database, Rumyana Neykova authored at least 36 papers between 2013 and 2024.

Collaborative distances:

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

2024

DApps ecosystems: mapping the network structure of smart contract interactions.

Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu

EPJ Data Sci., December, 2024

Model Input Verification of Large Scale Simulations.

Rumyana Neykova, Derek Groen

CoRR, 2024

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

Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis

IEEE Access, 2024

DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts.

Giacomo Ibba, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu, Sabrina Aufiero, Silvia Bartolucci

Proceedings of the IEEE International Conference on Software Analysis, 2024

A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability.

Giacomo Ibba, Sabrina Aufiero, Rumyana Neykova, Silvia Bartolucci, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis

Proceedings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering, 2024

A Working Week Simulation Approach to Forecast Personal Well-Being.

Derek Groen, Shivank Khullar, Moqi Groen-Xu, Rumyana Neykova

Proceedings of the Computational Science - ICCS 2024, 2024

Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions.

Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis

Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

2023

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

Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis

CoRR, 2023

An Optimized Concurrent Proof of Authority Consensus Protocol.

Anjum Nazir, Michael Singh, Giuseppe Destefanis, Jamsheed Memon, Rumyana Neykova, Mohamad Kassab, Roberto Tonelli

Proceedings of the IEEE International Conference on Software Analysis, 2023

Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols.

Anjum Nazir, Michael Singh, Giuseppe Destefanis, Mohamad Kassab, Jamsheed Memon, Rumyana Neykova, Roberto Tonelli

Proceedings of the 20th International Conference on Software Architecture, 2023

A Preliminary Analysis of Software Metrics in Decentralised Applications.

Giacomo Ibba, Shivank Khullar, E. Tesfai, Rumyana Neykova, Sabrina Aufiero, Marco Ortu, Silvia Bartolucci, Giuseppe Destefanis

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

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.

Keigo Imai, Julien Lange, Rumyana Neykova

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.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

kmclib: Automated Inference and Verification of Session Types.

Keigo Imai, Julien Lange, Rumyana Neykova

CoRR, 2021

2020

Statically Verified Refinements for Multiparty Protocols.

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

Dataset, August, 2020

Statically Verified Refinements for Multiparty Protocols.

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

Dataset, August, 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 Dana 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

Timed runtime monitoring for multiparty conversations.

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

Formal Aspects Comput., 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

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