Tom Schrijvers

Registered user since Mon 10 Feb 2020

Name:Tom Schrijvers
Country:Belgium
Affiliation:KU Leuven

Contributions

PADL 2023 Author of Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) within the PADL 2023-track
Committee Member in Program Committee within the PADL 2023-track
ECOOP 2023 PC Member in Program Committee within the Research Papers-track
Haskell 2022 Author of Staging Regular Expressions with Moore Cayley Fusion within the Haskell 2022-track
ICFP 2022 Author of Fusing Industry and Academia at GitHub within the ICFP Papers and Events-track
miniKanren 2022 PC Member in Program Committee within the miniKanren 2022-track
ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
FLOPS 2022 Author of A Functional Account of Probabilistic Programming with Possible Worlds (Declarative Pearl) within the FLOPS 2022-track

Committee Member in Program Committee within the FLOPS 2022-track
SPLASH 2021 Author of Efficient Compilation of Algebraic Effect Handlers within the OOPSLA-track
APLAS 2021 Author of Latent Effects for Reusable Language Components within the Research Papers-track
PEPM 2021 Author of Staged Effects and Handlers for Modular Languages with Abstraction within the PEPM 2021-track
APLAS 2020 Committee Member in Program Committee
SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track
Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track
Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track
ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track
Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Haskell 2020 Chair in Program Committee within the Haskell 2020-track
Chair of PC Chair Report within the Haskell 2020-track
Session Chair of Keynote (part of Haskell 2020)
POPL 2020 Author of PλωNK: Functional Probabilistic NetKAT within the Research Papers-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
Haskell 2019 Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track
Author of Bidirectional Type Class Instances within the Haskell 2019-track
ICFP 2019 Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track
Author of Coherence of Type Class Resolution within the Research Papers-track
ESOP 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track
ETAPS 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track
PADL 2019 Author of Faster Coroutine Pipelines: A Reconstruction within the PADL 2019-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ECOOP 2018 Author of The Essence of Nested Composition within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of The Essence of Nested Composition within the Posters-track
Haskell 2017 Author of Elaboration on Functional Dependencies within the Haskell 2017-track
Author of Quantified Class Constraints within the Haskell 2017-track
TTT 2017 Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track
PPS 2017 Author of ProbLog and applicative probabilistic programming within the PPS-track
ICFP 2016 Committee Member in Program Committee within the Research Papers-track
Session Chair of Session 4 (part of Research Papers)
TyDe 2016 Committee Member in Program Committee within the TyDe-track
POPL 2016 Author of From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes within the Research Papers-track
PADL Committee Member in Program Committee within the PADL-track