Hira Taqdees Syeda -

Registered user since Mon 14 Jun 2021

Name:Hira Taqdees Syeda

Country:Germany

Affiliation:Amazon Web Services

Personal website: https://hirataqdees.github.io

Contributions

2022

CPP

Committee Member in Program Committee within the CPP 2022-track

2020

SPLASH

Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA Artifacts-track
Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA-track