Hammad Ahmad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. | Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer |
| 2023 | ICSE | How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. | Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer |
| 2022 | ASPLOS | CirFix: automatically repairing defects in hardware design code. | Hammad Ahmad, Yu Huang, Westley Weimer |
| 2022 | PPSN | Digging into Semantics: Where Do Search-Based Software Repair Methods Search? | Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer |
| 2022 | USENIX | Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. | Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci |
| 2018 | GECCO | A comparison of semantic-based initialization methods for genetic programming. | Hammad Ahmad, Thomas Helmuth |