Hammad Ahmad

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 14

Top Topics

Formal Specification Language

Causal Relations

Top Venues

J. Serv. Sci. Res.

GECCO (Companion)

Publications

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