Syeda Hira Taqdees

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

Collaborative distances:

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

2025

A Formally Verified Robustness Certifier for Neural Networks (Extended Version).

James Tobler, Hira Taqdees Syeda, Toby Murray

CoRR, May, 2025

Verifying Device Drivers with Pancake.

Junming Zhao, Alessandro Legnani, Tiana J. Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Robert Sison, Syeda Hira, Magnus Myreen, Michael Norrish, Gernot Heiser

CoRR, January, 2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

A Formally Verified Robustness Certifier for Neural Networks.

James Tobler, Hira Taqdees Syeda, Toby Murray

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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