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)