• Sign in
  • Sign up
conf.researchr.org / Aaron Stump
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP 2023 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2023 profile
Aaron Stump

Registered user since Thu 24 May 2018

Name:Aaron Stump
Country:United States
Affiliation:The University of Iowa, USA
Personal website: http://www.cs.uiowa.edu/~astump/

Contributions

2023

TyDe

  • Committee Member in Program Committee within the TyDe 2023-track

POPL

  • Author of A Type-Based Approach to Divide-and-Conquer Recursion in Coq within the POPL-track
  • Committee Member in Program Committee within the POPL-track

CPP

  • Committee Member in Program Committee within the CPP 2023-track

2022

WITS

  • Committee Member in Program Committee within the WITS 2022-track

2020

ICFP

  • Committee Member in External Review Committee within the ICFP Program-track
  • Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track

2019

POPL

  • Committee Member in Program Committee within the Research Papers-track

2018

ICFP

  • Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track
  • Presenter of T01: Introduction to Programming and Proving in Cedille (part of Tutorials)
  • Author of Generic Zero-Cost Reuse for Dependent Types within the Research Papers-track

CPP

  • Author of Generic Derivation of Induction for Impredicative Encodings in Cedille within the CPP 2018-track
Share
xThu 19 Jun 23:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up