Orestis Melkonian

22 papers A* 1A 1C 1Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Nominal techniques as an Agda library.
CoRR
Murdoch J. Gabbay, Orestis Melkonian
2025 — conf
A Readable and Computable Formalization of the Streamlet Consensus Protocol.
FMBC
Mauro Jaskelioff, Orestis Melkonian, James Chapman
2025 — conf
Program Logics for Ledgers.
FMBC
Orestis Melkonian, Wouter Swierstra, James Chapman
2025 — conf
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano.
FMBC
Tudor Ferariu, Philip Wadler, Orestis Melkonian
2024 — conf
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.
FMBC@CAV
Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
2024 A* conf
Learning Structure-Aware Representations of Dependent Types.
NeurIPS
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2024 J jnl
Learning Structure-Aware Representations of Dependent Types.
CoRR
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
2024 — conf
Message-Passing in the Extended UTxO Ledger.
FC Workshops
Polina Vinogradova, Orestis Melkonian
2024 — conf
Structured Contracts in the EUTxO Ledger Model.
FMBC@CAV
Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2022 C conf
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.
Haskell
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
2020 — conf
Native Custom Tokens in the Extended UTXO Model.
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020 J jnl
Reconciling Event Structures with Modern Multiprocessors (Artifact).
Dagstuhl Artifacts Ser.
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020 A conf
Reconciling Event Structures with Modern Multiprocessors.
ECOOP
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020 — conf
The Extended UTXO Model.
Financial Cryptography Workshops
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020 — conf
UTXO
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2019 J jnl
Having Fun in Learning Formal Specifications.
CoRR
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
2019 — conf
Having fun in learning formal specifications.
ICSE (SEET)
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
2019 — conf
Music as language: putting probabilistic temporal graph grammars to good use.
FARM@ICFP
Orestis Melkonian
2019 J jnl
Reconciling Event Structures with Modern Multiprocessors.
CoRR
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2019 — conf
What constitutes a musical pattern?
FARM@ICFP
Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk
2018 — conf
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.
REBLS@SPLASH
Orestis Melkonian, Angelos Charalambidis
2018 — conf
Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language.
ESSLLI Student Sessions
Konstantinos Kogkalidis, Orestis Melkonian