Orestis Melkonian

According to our database, Orestis Melkonian authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Learning Structure-Aware Representations of Dependent Types.

Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy

CoRR, 2024

Structured Contracts in the EUTxO Ledger Model.

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Message-Passing in the Extended UTxO Ledger.

Polina Vinogradova, Orestis Melkonian

Proceedings of the Financial Cryptography and Data Security. FC 2024 International Workshops, 2024

2022

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.

Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2020

Reconciling Event Structures with Modern Multiprocessors (Artifact).

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Dagstuhl Artifacts Ser., 2020

UTXO_{sf ma}: UTXO with Multi-asset Support.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler

Proceedings of the Financial Cryptography and Data Security, 2020

Reconciling Event Structures with Modern Multiprocessors.

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

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, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon

CoRR, 2019

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

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

What constitutes a musical pattern?

Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

Music as language: putting probabilistic temporal graph grammars to good use.

Orestis Melkonian

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018

RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.

Orestis Melkonian, Angelos Charalambidis

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language.

Konstantinos Kogkalidis, Orestis Melkonian

Proceedings of the At the Intersection of Language, Logic, and Information, 2018