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

PAW 2022	Author of Static Execution Costs of WebAssembly Functions within the PAW 2022-track
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