Jana Dunfield -

Registered user since Thu 10 Nov 2016

Name:Jana Dunfield

Country:Canada

Affiliation:Queen's University, Kingston, Ontario

Personal website: http://www.cs.queensu.ca/~jana/

Contributions

2024

POPL

Author of Focusing on Refinement Typing (TOPLAS) within the POPL-track

2023

SPLASH

PC Member in OOPSLA Review Committee within the OOPSLA-track

2019

Incremental Computing

Committee Member in Program Committee within the IC 2019-track

POPL

Author of Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types within the Research Papers-track

2018

ICFP

Committee Member in External Review Committee within the Research Papers-track

2017

POPL

Author of Sums of Uncertainty: Refinements go gradual within the POPL-track

2016

ICFP

Committee Member in Program Committee within the Research Papers-track

2015

SPLASH