Matija Pretnar -

Registered user since Mon 13 Mar 2017

Name:Matija Pretnar

Country:Slovenia

Affiliation:University of Ljubljana

Personal website: http://matija.pretnar.info/

Research interests:Programming Languages

Contributions

2024

APLAS

Committee Member in Program Committee within the Research Papers-track

PLDI

Author of Bringing the WebAssembly Standard up to Speed with SpecTec within the PLDI Research Papers-track

2023

SPLASH

Author of Continuing WebAssembly with Effect Handlers within the OOPSLA-track

ML

Committee Member in Program Committee within the ML-track

OCaml

Committee Member in Program Committee within the OCaml 2023-track

2022

ICFP

OCaml

ML

2021

SPLASH

Author of Efficient Compilation of Algebraic Effect Handlers within the OOPSLA-track

HOPE

Author of Higher-Order Asynchronous Effects within the HOPE 2021-track

POPL

Author of Asynchronous Effects within the POPL-track

2020

ICFP

Author of Local algebraic effect theories within the ICFP Program-track

2017

ICFP

Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track

HOPE

Committee Member in Program Committee within the HOPE 2017-track