SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name: Orestis Melkonian

Country: Greece

Affiliation: Utrecht University

Personal website: http://omelkonian.github.io

Research interests: Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music

Contributions

ECOOP 2020 Reconciling Event Structures with Modern Multiprocessors
Reconciling Event Structures with Modern Multiprocessors
Show activities from other conferences

SPLASH 2020-profile
View general profile