Jurriaan Hage

Registered user since Sat 12 Sep 2015

Name:Jurriaan Hage
Affiliation:Utrecht University, Netherlands

Contributions

ICST 2022 Committee Member in Program Committee within the Doctoral Symposium-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
Haskell 2021 Conference Chair in Program Committee within the Haskell 2021-track
Session Chair of Keynote 2 (part of Haskell 2021)
Chair of Chair Report within the Haskell 2021-track
Session Chair of Keynote 1 (part of Haskell 2021)
Author of This is not really a talk, but should ensure the two talks before it are 30 min. long within the Haskell 2021-track
ICFP 2020 Author of A Quick Look at Impredicativity within the ICFP Program-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
Session Chair of Paper Session 5 - Types (part of Haskell 2020)
HIW 2019 Author of Status Update on the Helium for Haskell compiler within the HIW 2019-track
ETAPS 2019 Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
‹Programming› 2019 Author of Applications of Multi-view Learning Approaches for Software Comprehension within the Research Papers-track
PADL 2019 Committee Member in Program Committee within the PADL 2019-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
TyDe 2018 Author of Extended Abstract: Improving Error Messages for Dependent Types within the TyDe 2018-track
PLDI 2018 Author of Guarded Impredicative Polymorphism within the PLDI Research Papers-track
‹Programming› 2018 Author of On the Effect of Semantically Enriched Context Models on Software Modularization within the Research Papers-track
Haskell 2017 Committee Member in Program Committee within the Haskell 2017-track
CurryOn 2017 Author of Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler within the Curry On Talks-track
PEPM 2017 Session Chair of Transformation (part II) (part of PEPM 2017)
Committee Member in Programme Committee within the PEPM 2017-track
Author of Refining types using type guards in TypeScript within the PEPM 2017-track
Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track
Committee Member in Programme Committee
Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track
Author of Cost versus Precision for Approximate Typing for Python within the PEPM 2017-track
ICFP 2016 Committee Member in Program Committee within the Research Papers-track
PADL Author of Generic Matching of Tree Regular Expressions over Haskell Data Types within the PADL-track
ECOOP 2015 Author of Making Embedded Domain Specific Languages a Practical Reality within the Curry On-track
PEPM 2015 Author of Object-sensitive Type Analysis of PHP within the PEPM 2015-track
Author of Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics within the PEPM 2015-track
Committee Member in Steering Committee within the PEPM 2015-track
Author of Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages within the PEPM 2015-track
Session Chair of Transformation / Slicing (part of PEPM 2015)