Follow
Hammad Ahmad
Hammad Ahmad
Assistant Teaching Professor, Carnegie Mellon University
Verified email at andrew.cmu.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
252022
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
122021
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
102022
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
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
92018
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
62022
Cirfix: Automated hardware repair and its real-world applications
P Santiesteban, Y Huang, W Weimer, H Ahmad
IEEE Transactions on Software Engineering 49 (7), 3736-3752, 2023
52023
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
32023
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment
H Ahmad, M Endres, K Newman, P Santiesteban, E Shedden, W Weimer
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
22024
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–12