Syeda Hira Taqdees

According to our database1, Syeda Hira Taqdees authored at least 7 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Do you have space for dessert? a verified space cost semantics for CakeML programs.
Proc. ACM Program. Lang., 2020

Formal Reasoning Under Cached Address Translation.
J. Autom. Reason., 2020

2019
Low-level program verification under cached address translation.
PhD thesis, 2019

2018
Program Verification in the Presence of Cached Address Translation.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Formally Verifying Transfer Functions of Linear Analog Circuits.
IEEE Des. Test, 2017

Reasoning about Translation Lookaside Buffers.
Proceedings of the LPAR-21, 2017

2013
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013


  Loading...