Rumyana Neykova

56 papers A 7B 4C 2Journal 22Unranked 18
YearRankTypeTitle / Venue / Authors
2025 — conf
Blockchain Developer Experience: A Multivocal Literature Review.
CHASE@ICSE
Pamella Soares, Allysson Allex Araújo, Giuseppe Destefanis, Rumyana Neykova, Raphael Saraiva, Jerffeson Souza
2025 J jnl
Blockchain Developer Experience: A Multivocal Literature Review.
CoRR
Pamella Soares, Allysson Allex Araújo, Giuseppe Destefanis, Rumyana Neykova, Raphael Saraiva, Jerffeson Teixeira
2025 — conf
Introducing Repository Stability.
SIGSOFT FSE Companion
Giuseppe Destefanis, Silvia Bartolucci, Daniel Graziotin, Rumyana Neykova, Marco Ortu
2025 J jnl
Introducing Repository Stability.
CoRR
Giuseppe Destefanis, Silvia Bartolucci, Daniel Graziotin, Rumyana Neykova, Marco Ortu
2025 A conf
Micro-Patterns in Solidity Code.
EASE
Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova, Barbara Re, Giuseppe Destefanis
2025 J jnl
Micro-Patterns in Solidity Code.
CoRR
Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova, Barbara Re, Giuseppe Destefanis
2025 A conf
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study.
MSR
Matteo Vaccargiu, Sabrina Aufiero, C. Ba, Silvia Bartolucci, Richard G. Clegg, Daniel Graziotin, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis
2025 J jnl
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study.
CoRR
Matteo Vaccargiu, Sabrina Aufiero, Cheick Tidiane Ba, Silvia Bartolucci, Richard G. Clegg, Daniel Graziotin, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis
2025 J jnl
Model input verification of large scale simulations.
J. Simulation
Rumyana Neykova, Derek Groen
2025 — conf
More Than Code: Technical and Emotional Dynamics in Solidity's Development.
CHASE@ICSE
Matteo Vaccargiu, Rumyana Neykova, Nicole Novielli, Marco Ortu, Giuseppe Destefanis
2025 — conf
Reversed Model Verification by Inferring Conceptual Models from Simulation Code.
ICCS (4)
Rumyana Neykova, Derek Groen
2025 — conf
There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow.
ICSE-SEIS
Steve Counsell, Giuseppe Destefanis, Rumyana Neykova, Alina Dana Miron, Nadine Aburumman, Thomas Shippey
2024 — conf
A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability.
PROMISE
Giacomo Ibba, Sabrina Aufiero, Rumyana Neykova, Silvia Bartolucci, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
2024 — conf
A Working Week Simulation Approach to Forecast Personal Well-Being.
ICCS (3)
Derek Groen, Shivank Khullar, Moqi Groen-Xu, Rumyana Neykova
2024 — conf
DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts.
SANER (Companion)
Giacomo Ibba, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu, Sabrina Aufiero, Silvia Bartolucci
2024 J jnl
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions.
CoRR
Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu
2024 J jnl
DApps ecosystems: mapping the network structure of smart contract interactions.
EPJ Data Sci.
Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu
2024 J jnl
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-Based Decentralized Applications.
IEEE Access
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
2024 J jnl
Model Input Verification of Large Scale Simulations.
CoRR
Rumyana Neykova, Derek Groen
2024 J jnl
Software engineering education in the era of conversational AI: current trends and future directions.
Frontiers Artif. Intell.
Cigdem Sengul, Rumyana Neykova, Giuseppe Destefanis
2024 A conf
Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions.
EASE
Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis
2023 — conf
A Preliminary Analysis of Software Metrics in Decentralised Applications.
BlockSys
Giacomo Ibba, Shivank Khullar, Elaina Tesfai, Rumyana Neykova, Sabrina Aufiero, Marco Ortu, Silvia Bartolucci, Giuseppe Destefanis
2023 A conf
An Optimized Concurrent Proof of Authority Consensus Protocol.
SANER
Anjum Nazir, Michael Singh, Giuseppe Destefanis, Jamsheed Memon, Rumyana Neykova, Mohamad Kassab, Roberto Tonelli
2023 J jnl
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications.
CoRR
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
2023 — conf
Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols.
ICSA-C
Anjum Nazir, Michael Singh, Giuseppe Destefanis, Mohamad Kassab, Jamsheed Memon, Rumyana Neykova, Roberto Tonelli
2022 — conf
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.
TACAS (1)
Keigo Imai, Julien Lange, Rumyana Neykova
2022 — ed.
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022.
PLACES@ETAPS
Marco Carbone, Rumyana Neykova
2022 J jnl
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).
Dagstuhl Artifacts Ser.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2022 A conf
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.
ECOOP
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2022 J jnl
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types.
CoRR
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2021 J jnl
kmclib: Automated Inference and Verification of Session Types.
CoRR
Keigo Imai, Julien Lange, Rumyana Neykova
2020 C conf
Implementing Multiparty Session Types in Rust.
COORDINATION
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2020 A conf
Multiparty Session Programming With Global Protocol Combinators.
ECOOP
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators (Artifact).
Dagstuhl Artifacts Ser.
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators.
CoRR
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Statically Verified Refinements for Multiparty Protocols.
CoRR
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 A conf
Using the Lexicon from Source Code to Determine Application Domain.
EASE
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
2019 — conf
Featherweight Scribble.
Models, Languages, and Tools for Concurrent and Distributed Programming
Rumyana Neykova, Nobuko Yoshida
2018 B conf
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
CC
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
2017 B conf
Let it recover: multiparty protocol-induced recovery.
CC
Rumyana Neykova, Nobuko Yoshida
2017 J jnl
Multiparty Session Actors.
Log. Methods Comput. Sci.
Rumyana Neykova, Nobuko Yoshida
2017 J jnl
Timed runtime monitoring for multiparty conversations.
Formal Aspects Comput.
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2016 — —
Multiparty session types for dynamic verification of distributed systems.
Rumyana Neykova
2015 J jnl
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 — ed.
2014 Imperial College Computing Student Workshop, ICCSW 2014, London, United Kingdom, September 25-26, 2014
ICCSW
Rumyana Neykova, Nicholas Ng
2014 — conf
Frontmatter, Table of Contents, Preface, Workshop Organization.
ICCSW
Rumyana Neykova, Nicholas Ng
2014 C conf
Multiparty Session Actors.
COORDINATION
Rumyana Neykova, Nobuko Yoshida
2014 — conf
Multiparty Session Actors.
PLACES
Rumyana Neykova, Nobuko Yoshida
2014 — conf
Structuring Communication with Session Types.
Concurrent Objects and Beyond
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2014 — conf
Timed Runtime Monitoring for Multiparty Conversations.
BEAT
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2013 B conf
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
RV
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2013 B conf
SPY: Local Verification of Global Protocols.
RV
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
2013 — conf
Session Types Go Dynamic or How to Verify Your Python Conversations.
PLACES
Rumyana Neykova
2013 — conf
The Scribble Protocol Language.
TGC
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng