Rumyana Neykova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
10
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EASE | Micro-Patterns in Solidity Code. | Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova, Barbara Re, Giuseppe Destefanis |
| 2025 | ICCS | Reversed Model Verification by Inferring Conceptual Models from Simulation Code. | Rumyana Neykova, Derek Groen |
| 2025 | ICSE | There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow. | Steve Counsell, Giuseppe Destefanis, Rumyana Neykova, Alina Dana Miron, Nadine Aburumman, Thomas Shippey |
| 2025 | MSR | Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study. | Matteo Vaccargiu, Sabrina Aufiero, Cheick Tidiane Ba, Silvia Bartolucci, Richard G. Clegg, Daniel Graziotin, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis |
| 2024 | EASE | Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions. | Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis |
| 2024 | ICCS | A Working Week Simulation Approach to Forecast Personal Well-Being. | Derek Groen, Shivank Khullar, Moqi Groen-Xu, Rumyana Neykova |
| 2023 | ICSA | Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols. | Anjum Nazir, Michael Singh, Giuseppe Destefanis, Mohamad Kassab, Jamsheed Memon, Rumyana Neykova, Roberto Tonelli |
| 2022 | ECOOP | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2022 | TACAS | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. | Keigo Imai, Julien Lange, Rumyana Neykova |
| 2020 | Coordination | Implementing Multiparty Session Types in Rust. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
| 2020 | EASE | 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 |
| 2020 | ECOOP | Multiparty Session Programming With Global Protocol Combinators. | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2018 | CC | A session type provider: compile-time API generation of distributed protocols with refinements in F#. | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
| 2017 | CC | Let it recover: multiparty protocol-induced recovery. | Rumyana Neykova, Nobuko Yoshida |
| 2014 | Coordination | Multiparty Session Actors. | Rumyana Neykova, Nobuko Yoshida |
| 2013 | RV | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2013 | RV | SPY: Local Verification of Global Protocols. | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |