• Sign in
  • Sign up
conf.researchr.org / Amy Felty
  • ICFP 2020 profile
  • ICSE 2019 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
Amy Felty

Registered user since Mon 27 Mar 2017

Name: Amy Felty

Country: Canada

Affiliation: University of Ottawa

Personal website: http://www.eecs.uottawa.ca/~afelty/

Contributions

CPP 2021 Steering Committee Member in Steering Committee within the CPP 2021-track
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
CPP 2019 Author of A Linear Logical Framework in Hybrid within the CPP 2019-track
CPP 2018 Session Chair of Invited Talk by Brigitte Pientka (part of CPP 2018)
Program Co-Chair in Program Committee within the CPP 2018-track
CPP 2016 Author of A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules within the CPP-track

Share
xWed 20 Jan 08:09
using conf.researchr.org (v1.40.1)
Support page
Sign Up