Hira Taqdees Syeda

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Cross Language Information Retrieval

Query Translation

Space Requirements

Top Venues

Proc. ACM Program. Lang.

Publications

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Hira Taqdees Syeda, Gerwin Klein
Formal Reasoning Under Cached Address Translation. J. Autom. Reason. 64 (5) (2020)
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Do you have space for dessert? a verified space cost semantics for CakeML programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Hira Taqdees Syeda, Gerwin Klein
Program Verification in the Presence of Cached Address Translation. ITP (2018)
Hira Taqdees Syeda, Gerwin Klein
Reasoning about Translation Lookaside Buffers. LPAR (2017)