Follow
Hammad Ahmad
Hammad Ahmad
CSE Ph.D. Candidate, University of Michigan
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
CirFix: automatically repairing defects in hardware design code
H Ahmad, Y Huang, W Weimer
Proceedings of the 27th ACM International Conference on Architectural …, 2022
172022
Applying automated program repair to dataflow programming languages
Y Huang, H Ahmad, S Forrest, W Weimer
2021 IEEE/ACM International Workshop on Genetic Improvement (GI), 21-22, 2021
92021
A comparison of semantic-based initialization methods for genetic programming
H Ahmad, T Helmuth
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2018
82018
A program logic to verify signal temporal logic specifications of hybrid systems
H Ahmad, JB Jeannin
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
72021
Digging into Semantics: Where do search-based software repair methods search?
H Ahmad, P Cashin, S Forrest, W Weimer
International Conference on Parallel Problem Solving from Nature, 3-18, 2022
52022
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems
H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci
2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022
52022
CirFix: Automated Hardware Repair and Its Real-World Applications
P Santiesteban, Y Huang, W Weimer, H Ahmad
IEEE Transactions on Software Engineering, 2023
22023
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms
H Ahmad, Z Karas, K Diaz, A Kamil, JB Jeannin, W Weimer
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
12023
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
H Ahmad, JB Jeannin
arXiv preprint arXiv:2103.08117, 2021
12021
LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery
H Ahmad, C Holoday, I Bertram, K Angstadt, Z Sharafi, W Weimer
Proceedings of the 18th International Conference on Predictive Models and …, 2022
2022
Empirically Evaluating Genetic Algorithms For Generating Test Suites For Web Applications (thesis)
H Ahmad
2019
The system can't perform the operation now. Try again later.
Articles 1–11