Orestis Melkonian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FC | Message-Passing in the Extended UTxO Ledger. | Polina Vinogradova, Orestis Melkonian |
| 2022 | HASKELL | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |
| 2020 | ECOOP | Reconciling Event Structures with Modern Multiprocessors. | Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis |
| 2020 | FC | The Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler |
| 2020 | ISoLA | Native Custom Tokens in the Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler |
| 2020 | ISoLA | UTXO | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner |
| 2019 | ICFP | Music as language: putting probabilistic temporal graph grammars to good use. | Orestis Melkonian |
| 2019 | ICFP | What constitutes a musical pattern? | Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk |
| 2019 | ICSE | Having fun in learning formal specifications. | I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon |
| 2018 | OOPSLA | RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. | Orestis Melkonian, Angelos Charalambidis |