Hammad Ahmad

17 papers A* 3C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Exploring the anti-diabetic potential of the Vigna sesquipedalis using in vitro, in vivo and computational models.
J. Comput. Aided Mol. Des.
Hammad Ahmad, Ashraf Ullah Khan, Waqas Alam, Hany W. Darwish, Abdul Saboor Pirzada, Haroon Ahmed Khan
2024 A* conf
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment.
ICSE
Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer
2024 — —
Understanding Understanding: How Do We Reason About Computational Logic?
Hammad Ahmad
2023 J jnl
CirFix: Automated Hardware Repair and its Real-World Applications.
IEEE Trans. Software Eng.
Priscila Santiesteban, Yu Huang, Westley Weimer, Hammad Ahmad
2023 A* conf
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.
ICSE
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
2022 A* conf
CirFix: automatically repairing defects in hardware design code.
ASPLOS
Hammad Ahmad, Yu Huang, Westley Weimer
2022 — conf
Digging into Semantics: Where Do Search-Based Software Repair Methods Search?
PPSN (2)
Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer
2022 — conf
LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery.
PROMISE
Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer
2022 — conf
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.
USENIX ATC
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
2021 J jnl
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report.
CoRR
Hammad Ahmad, Jean-Baptiste Jeannin
2021 — conf
A program logic to verify signal temporal logic specifications of hybrid systems.
HSCC
Hammad Ahmad, Jean-Baptiste Jeannin
2021 — conf
Applying Automated Program Repair to Dataflow Programming Languages.
GI@ICSE
Yu Huang, Hammad Ahmad, Stephanie Forrest, Westley Weimer
2018 — conf
A comparison of semantic-based initialization methods for genetic programming.
GECCO (Companion)
Hammad Ahmad, Thomas Helmuth
2018 J jnl
Service System of Easypaisa and MobiCash: Funds Transfer System via Telecommunication Companies in Context of Service Dominant Logic.
J. Serv. Sci. Res.
Huma Ghorsi, Arooj Siddiqui, Taimoor Basharat, Saroop Anwer, Hammad Ahmad
2017 J jnl
Applying service dominant logic perspective: Studying Patient Care System of Shaukat Khanum Memorial Cancer Hospital (Lahore) and Shouldice Hospital (Canada).
J. Serv. Sci. Res.
Taimoor Basharat, Hammad Ahmad
2017 J jnl
Development and Testing of a Control System for the Automatic Flight of Tethered Parafoils.
J. Field Robotics
Joseph Coleman, Hammad Ahmad, Daniel Toal
2012 C conf
An experimental test set-up for launch/recovery of an Airborne Wind Energy (AWE) system.
ACC
Kurt Geebelen, Hammad Ahmad, Milan Vukov, Sebastien Gros, Jan Swevers, Moritz Diehl