Registered user since Wed 16 Sep 2015

Name: Dimitrios Vytiniotis

Affiliation: Microsoft Research, Cambridge

Personal website: http://research.microsoft.com/people/dimitris

All Activities

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