Front Page

Publications and Talks

PhD Research

Contact

Conference Papers:

Hira Taqdees Syeda and Gerwin Klein
Program verification in the presence of cached address translation
International Conference on Interactive Theorem Proving (ITP), pp. 542-559, Oxford, UK, July, 2018
paper, presentation slides

Hira Taqdees Syeda and Gerwin Klein
Reasoning about translation lookaside buffers
Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 490–508, Maun, Botswana, May, 2017
paper, presentation slides

Hira Taqdees Syeda and Osman Hasan
Formalization of laplace transform using the multivariable calculus theory of HOL Light
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 744-758, Stellenbosch, South Africa, December, 2013
paper, presentation slides

Journal Papers

Hira Taqdees Syeda and Gerwin Klein
Formal reasoning under cached address translation
Journal of Automated Reasoning (JAR), Special Issue: ITP 2018
Invited Submission, Status: Submitted, under Review

Hira Taqdees Syeda and Osman Hasan
Formally verifying transfer functions of linear analog circuits
IEEE Design & Test, pp. 30-37, Volume 34, Issue 5, Oct. 2017
paper

PhD Thesis

Hira Taqdees Syeda
Low-level program verification under cached address translation
UNSW, Sydney, Australia, August, 2019
thesis

Masters Thesis

Hira Taqdees Syeda
Formalization of Laplace transform using the multivariable calculus theory of HOL Light
SEECS, NUST, Islamabad, Pakistan, November, 2013
thesis

Guest Lecture

Software verification in the real world
COMP3141: Software System Design and Implementation at UNSW (Term 2, 2019)
Lecture Slides