Hammad Ahmad

According to our database, Hammad Ahmad authored at least 14 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CirFix: Automated Hardware Repair and its Real-World Applications.

Priscila Santiesteban, Yu Huang, Westley Weimer, Hammad Ahmad

IEEE Trans. Software Eng., July, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

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

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery.

Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer

Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering, 2022

Digging into Semantics: Where Do Search-Based Software Repair Methods Search?

Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer

Proceedings of the Parallel Problem Solving from Nature - PPSN XVII, 2022

CirFix: automatically repairing defects in hardware design code.

Hammad Ahmad, Yu Huang, Westley Weimer

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report.

Hammad Ahmad, Jean-Baptiste Jeannin

CoRR, 2021

A program logic to verify signal temporal logic specifications of hybrid systems.

Hammad Ahmad, Jean-Baptiste Jeannin

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Applying Automated Program Repair to Dataflow Programming Languages.

Yu Huang, Hammad Ahmad, Stephanie Forrest, Westley Weimer

Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2018

Service System of Easypaisa and MobiCash: Funds Transfer System via Telecommunication Companies in Context of Service Dominant Logic.

Huma Ghorsi, Arooj Siddiqui, Taimoor Basharat, Saroop Anwer, Hammad Ahmad

J. Serv. Sci. Res., 2018

A comparison of semantic-based initialization methods for genetic programming.

Hammad Ahmad, Thomas Helmuth

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017

Applying service dominant logic perspective: Studying Patient Care System of Shaukat Khanum Memorial Cancer Hospital (Lahore) and Shouldice Hospital (Canada).

Taimoor Basharat, Hammad Ahmad

J. Serv. Sci. Res., 2017

Development and Testing of a Control System for the Automatic Flight of Tethered Parafoils.

Joseph Coleman, Hammad Ahmad, Daniel Toal

J. Field Robotics, 2017

2012

An experimental test set-up for launch/recovery of an Airborne Wind Energy (AWE) system.

Kurt Geebelen, Hammad Ahmad, Milan Vukov, Sebastien Gros, Jan Swevers, Moritz Diehl

Proceedings of the American Control Conference, 2012