Syeda Hira Taqdees

According to our database, Syeda Hira Taqdees authored at least 8 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Pancake: Verified Systems Programming Made Sweeter.

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

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

2020

Do you have space for dessert? a verified space cost semantics for CakeML programs.

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2020

Formal Reasoning Under Cached Address Translation.

Hira Taqdees Syeda, Gerwin Klein

J. Autom. Reason., 2020

2019

Low-level program verification under cached address translation.

Hira Taqdees Syeda

PhD thesis, 2019

2018

Program Verification in the Presence of Cached Address Translation.

Hira Taqdees Syeda, Gerwin Klein

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Formally Verifying Transfer Functions of Linear Analog Circuits.

Syeda Hira Taqdees, Osman Hasan

IEEE Des. Test, 2017

Reasoning about Translation Lookaside Buffers.

Hira Taqdees Syeda, Gerwin Klein

Proceedings of the LPAR-21, 2017

2013

Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.

Syeda Hira Taqdees, Osman Hasan

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013