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
442013
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
212020
Program verification in the presence of cached address translation
HT Syeda, G Klein
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
152018
Reasoning about Translation Lookaside Buffers
HT Syeda, G Klein
International Conference on Logic for Programming Artificial Intelligence …, 2017
132017
Formal Reasoning Under Cached Address Translation
HT Syeda, G Klein
Journal of Automated Reasoning, 2020
122020
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
Formal verification of continuous models of analog circuits
HT Syeda, O Hasan
Frontiers in Analog CAD, Poster Paper, 2013
2*2013
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
12023
Formally verifying transfer functions of analog circuits using theorem proving
HT Syeda, O Hasan
National University of Sciences and Technology, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–10