19 citations · 45 across the 14 of their papers we have counts for
17 papers
Proceedings 19th Interaction and Concurrency Experience
Luc Edixhoven, Simon Fowler, Rumyana Neykova +1
This volume contains the proceedings of ICE'26, the 19th Interaction and Concurrency Experience, which was held in Urbino, Italy, as a satellite event of DisCoTec'26. The ICE works…
Micro-Patterns in Solidity Code
Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova +2
Solidity is the predominant programming language for blockchain-based smart contracts, and its characteristics pose significant challenges for code analysis and maintenance. Tradit…
Introducing Repository Stability
Giuseppe Destefanis, Silvia Bartolucci, Daniel Graziotin +2
Drawing from engineering systems and control theory, we introduce a framework to understand repository stability, which is a repository activity capacity to return to equilibrium f…
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
Matteo Vaccargiu, Sabrina Aufiero, Cheick Ba +6
We analyze developer activity across 10 major Ethereum repositories (totaling 129884 commits, 40550 issues) spanning 10 years to examine how events such as technical upgrades, mark…
Blockchain Developer Experience: A Multivocal Literature Review
P. Soares, A. A. Araujo, G. Destefanis +3
The rise of smart contracts has expanded blockchain's capabilities, enabling the development of innovative decentralized applications (dApps). However, this advancement brings its…
Model Input Verification of Large Scale Simulations
Rumyana Neykova, Derek Groen
Reliable simulations are critical for analyzing and understanding complex systems, but their accuracy depends on correct input data. Incorrect inputs such as invalid or out-of-rang…
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci +3
In recent years, decentralized applications (dApps) built on blockchain platforms such as Ethereum and coded in languages such as Solidity, have gained attention for their potentia…
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci +4
This paper presents MindTheDApp, a toolchain designed specifically for the structural analysis of Ethereum-based Decentralized Applications (DApps), with a distinct focus on a comp…
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channe…
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Marco Carbone, Rumyana Neykova
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practica…
kmclib: Automated Inference and Verification of Session Types
Keigo Imai, Julien Lange, Rumyana Neykova
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at t…
Statically Verified Refinements for Multiparty Protocols
Fangyi Zhou, Francisco Ferreira, Raymond Hu +2
With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typi…
Multiparty Session Programming with Global Protocol Combinators
Keigo Imai, Rumyana Neykova, Nobuko Yoshida +1
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating proces…
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…
Timed Runtime Monitoring for Multiparty Conversations
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreogr…
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…
Session Types Go Dynamic or How to Verify Your Python Conversations
Rumyana Neykova
This paper presents the first implementation of session types in a dynamically-typed language - Python. Communication safety of the whole system is guaranteed at runtime by monitor…