Rumyana Neykova

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Venues

CoRR

Dagstuhl Artifacts Ser.

ECOOP

EASE

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions. CoRR (2024)
Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis
Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions. EASE (2024)
Derek Groen, Shivank Khullar, Moqi Groen-Xu, Rumyana Neykova
A Working Week Simulation Approach to Forecast Personal Well-Being. ICCS (3) (2024)
Giacomo Ibba, Sabrina Aufiero, Rumyana Neykova, Silvia Bartolucci, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability. PROMISE (2024)
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-Based Decentralized Applications. IEEE Access 12 (2024)
A. Nazir, M. Singh, Giuseppe Destefanis, J. Memon, Rumyana Neykova, Mohamad Kassab, Roberto Tonelli
An Optimized Concurrent Proof of Authority Consensus Protocol. SANER (2023)
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Marco Ortu, Roberto Tonelli, Giuseppe Destefanis
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications. CoRR (2023)
A. Nazir, M. Singh, Giuseppe Destefanis, Mohamad Kassab, J. Memon, Rumyana Neykova, Roberto Tonelli
Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols. ICSA-C (2023)
Giacomo Ibba, S. Khullar, E. Tesfai, Rumyana Neykova, Sabrina Aufiero, Marco Ortu, Silvia Bartolucci, Giuseppe Destefanis
A Preliminary Analysis of Software Metrics in Decentralised Applications. BlockSys (2023)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR (2022)
Keigo Imai, Julien Lange, Rumyana Neykova
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS (1) (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Keigo Imai, Julien Lange, Rumyana Neykova
kmclib: Automated Inference and Verification of Session Types. CoRR (2021)
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
Using the Lexicon from Source Code to Determine Application Domain. EASE (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically Verified Refinements for Multiparty Protocols. CoRR (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming With Global Protocol Combinators. ECOOP (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators. CoRR (2020)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Implementing Multiparty Session Types in Rust. COORDINATION (2020)
Rumyana Neykova, Nobuko Yoshida
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC (2018)
Rumyana Neykova, Nobuko Yoshida
Let it recover: multiparty protocol-induced recovery. CC (2017)
Rumyana Neykova, Nobuko Yoshida
Multiparty Session Actors. Log. Methods Comput. Sci. 13 (1) (2017)
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29 (5) (2017)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46 (3) (2015)
Rumyana Neykova, Nicholas Ng
Frontmatter, Table of Contents, Preface, Workshop Organization. ICCSW (2014)
Rumyana Neykova, Nobuko Yoshida
Multiparty Session Actors. COORDINATION (2014)
Rumyana Neykova, Nobuko Yoshida
Multiparty Session Actors. PLACES (2014)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Timed Runtime Monitoring for Multiparty Conversations. BEAT (2014)
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV (2013)
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
The Scribble Protocol Language. TGC (2013)
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
SPY: Local Verification of Global Protocols. RV (2013)
Rumyana Neykova
Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES (2013)

Rumyana Neykova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rumyana Neykova