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

2025

ICSE

Equity, Diversity and Inclusion Co-Chair in Organizing Committee

2024

TyDe

Committee Member in Program Committee within the TyDe 2024-track

CoqPL

Committee Member in Program Committee within the CoqPL 2024-track

2022

PAW

Author of Static Execution Costs of WebAssembly Functions within the PAW 2022-track

2021

CPP

Steering Committee Member in Steering Committee within the CPP 2021-track

2020

TyDe

Committee Member in Program Committee within the TyDe 2020-track

2019

FormaliSE

Committee Member in Program Committee within the FormaliSE 2019-track

CPP

Author of A Linear Logical Framework in Hybrid within the CPP 2019-track

2018

CPP

2016

CPP

Author of A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules within the CPP-track