Christos Dimoulas -

Registered user since Fri 27 Apr 2018

Name:Christos Dimoulas

Country:United States

Affiliation:PLT @ Northwestern University

Personal website:http://users.eecs.northwestern.edu/~chrdimo/

Research interests:Programming Languages

Contributions

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022	Author of Karp: A Language for NP Reductions within the PLDI-track
‹Programming› 2022	Author of A Transient Semantics for Typed Racket within the Research Papers-track
POPL 2022	Committee Member in Program Committee within the POPL-track
SPLASH 2021	Session Chair of Types (part of OOPSLA) Committee Member in External Review Committee within the OOPSLA-track Poster Co-Chair in Organizing Committee within the Posters-track Poster Co-Chair in Organizing Committee
META'20	Committee Member in Organizing Committee within the META'20-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
‹Programming› 2021	Author of Fine-Grained, Language-Based Access Control for Database-Backed Applications within the Research Papers-track
ICFP 2021	Author of How to Evaluate Blame for Gradual Types within the Research Papers-track
SPLASH 2020	Poster Co-Chair in Organizing Committee Poster Co-Chair in Organizing Committee within the Posters-track Committee Member in External Review Committee within the OOPSLA-track
‹Programming› 2020	Author of Fine-Grained, Language-Based Access Control for Database-Backed Applications within the Research Papers-track
POPL 2020	Author of Does Blame Shifting Work? within the Research Papers-track
SPLASH 2019	Author of Complete Monitors for Gradual Types within the OOPSLA-track Committee Member in Judges within the SRC-track
‹Programming› 2019	Committee Member in Program Committee within the Research Papers-track
ICFP 2019	Committee Member in Program Committee within the Research Papers-track
SPLASH 2012	Author of Gradual typing for first-class classes within the OOPSLA Research Papers-track