• Sign in
  • Sign up
conf.researchr.org / Hira Taqdees Syeda
  • POPL 2022 profile
  • SPLASH 2020 profile
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
Share
xSun 11 May 02:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up