Orestis Melkonian

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Disparate Data Sources

Top Venues

Publications

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV (2024)
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
Learning Structure-Aware Representations of Dependent Types. CoRR (2024)
Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell (2022)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. ECOOP (2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
The Extended UTXO Model. Financial Cryptography Workshops (2020)
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, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon
Having Fun in Learning Formal Specifications. CoRR (2019)
Orestis Melkonian
Music as language: putting probabilistic temporal graph grammars to good use. FARM@ICFP (2019)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. CoRR (2019)
Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk
What constitutes a musical pattern? FARM@ICFP (2019)
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
Having fun in learning formal specifications. ICSE (SEET) (2019)
Orestis Melkonian, Angelos Charalambidis
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. REBLS@SPLASH (2018)
Konstantinos Kogkalidis, Orestis Melkonian
Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language. ESSLLI Student Sessions (2018)