Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jurriaan Hage
conf.researchr.org general profile
ECOOP 2015 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICST 2022 profile
PEPM 2015 profile
PLDI 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2019 profile
‹Programming› 2018 profile
‹Programming› 2019 profile
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)
Share
x
Thu 1 Jun 01:53