J. Garrett Morris -

Registered user since Mon 29 Dec 2014

Name:J. Garrett Morris

Country:United States

Affiliation:University of Iowa

Personal website:http://jgbm.github.io

Twitter:https://twitter.com/GarrettAtUI

GitHub:https://github.com/jgbm

Contributions

POPL 2023	Author of A Type-Based Approach to Divide-and-Conquer Recursion in Coq within the POPL-track
Haskell 2022	Author of Partial Type Constructors in Practice within the Haskell 2022-track
ICFP 2022	Committee Member in Program Committee within the ICFP Papers and Events-track
POPL 2022	Session Chair of Distributed or Network Programs (part of POPL) Committee Member in Program Committee within the POPL-track
PEPM 2021	Committee Member in Program Committee within the PEPM 2021-track
ICFP 2020	Committee Member in External Review Committee within the ICFP Program-track
POPL 2020	Author of Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track
WGT 2020	Author of Blame tracking at higher fidelity within the WGT-track
TyDe 2019	Committee Member in Program Committee within the TyDe 2019-track
ESOP 2019	Committee Member in Program Committee within the ESOP 2019-track
POPL 2019	Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track
SPLASH 2018	Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the OOPSLA-track Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the Artifacts-track
ICFP 2018	Committee Member in Distinguished Papers Committee within the Research Papers-track Session Chair of Program Construction (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
ProWeb 2018	Author of Session Types for Tierless Web Applications within the ProWeb 2018-track
NOOL 2017	Committee Member in Program Committee within the NOOL 2017-track
Haskell 2017	Committee Member in Program Committee within the Haskell 2017-track
HIW 2017	Author of On Unsatisfiability within the HIW 2017-track
ICFP 2017	Author of Constrained Type Families within the Research Papers-track
ECOOP 2017	Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track
NOOL 2016	Committee Member in Program Committee within the NOOL-track
ICFP 2016	Author of Talking Bananas: Structural Recursion for Session Types within the Research Papers-track Author of The Best of Both Worlds: Linear Functional Programming without Compromise within the Research Papers-track
Haskell 2016	Author of Embedding Session Types in Haskell within the Haskell-track
ESOP 2015	Author of A Semantics for Propositions as Sessions within the ESOP-track