Follow
Hira Taqdees Syeda
Hira Taqdees Syeda
Applied Sceintist II, Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Formalization of laplace transform using the multivariable calculus theory of HOL-light
HT Syeda, O Hasan
International Conference on Logic for Programming Artificial Intelligenceá…, 2013
432013
Do you have space for dessert? A verified space cost semantics for CakeML programs
A Gˇmez-Londo˝o, J ┼man Pohjola, HT Syeda, MO Myreen, YK Tan
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
232020
Program verification in the presence of cached address translation
HT Syeda, G Klein
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held asá…, 2018
172018
Reasoning about Translation Lookaside Buffers
HT Syeda, G Klein
International Conference on Logic for Programming Artificial Intelligenceá…, 2017
152017
Formal Reasoning Under Cached Address Translation
HT Syeda, G Klein
Journal of Automated Reasoning, 2020
132020
Formally Verifying Transfer Functions of Linear Analog Circuits
HT Syeda, O Hasan
IEEE Design & Test, 2017
8*2017
Low-level program verification under cached address translation
H Syeda
UNSW Sydney, 2019
42019
Pancake: verified systems programming made sweeter
J┼ Pohjola, HT Syeda, M Tanaka, K Winter, TW Sau, B Nott, TT Ung, ...
Proceedings of the 12th Workshop on programming languages and operatingá…, 2023
22023
Formal verification of continuous models of analog circuits
HT Syeda, O Hasan
Frontiers in Analog CAD, Poster Paper, 2013
2*2013
Formally verifying transfer functions of analog circuits using theorem proving
HT Syeda, O Hasan
National University of Sciences and Technology, 2017
12017
Verified Systems Programming Made Sweeter
J┼ Pohjola, HT Syeda, M Tanaka, K Winter, TW Sau, B Nott, TT Ung, ...
2023
The system can't perform the operation now. Try again later.
Articles 1–11