Dimitrios Vytiniotis -

Registered user since Wed 16 Sep 2015

Name: Dimitrios Vytiniotis

Country: United Kingdom

Affiliation: DeepMind

Personal website: https://dimitriv.github.io

Contributions

POPL 2022	Committee Member in Program Committee within the POPL-track
LAFI 2021	Committee Member in Program Committee within the LAFI 2021-track
ICFP 2020	Author of A Quick Look at Impredicativity within the ICFP Program-track Committee Member in External Review Committee within the ICFP Program-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
ICFP 2019	Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
FHPC 2017	Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track
IWACO 2017	Author of Adding Safe Manual Memory Management to .NET within the IWACO 2017-track
PLDI 2018	Author of Guarded Impredicative Polymorphism within the PLDI Research Papers-track Committee Member in Program Committee
PLMW	Committee Member in Program Committee within the PLMW-track Author of Student Interaction Activity within the PLMW-track
Haskell 2016	Committee Member in Program Committee within the Haskell-track
SPLASH 2017	Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track
PLDI 2017	Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track
ICFP 2016	Committee Member in Program Committee within the Research Papers-track
PADL	Committee Member in Program Committee within the PADL-track
PLMW	Author of Young Researcher Panel Session, with panelists: Mark Batty (Kent), Mike Carbin (MIT), Lindsey Kuper (Intel), Ilya Sergey (UCL) within the PLMW-track Committee Member in Organizing Committee
PLDI 2015	Author of Diagnosing Type Errors with Class within the Research Papers-track