A Syntactic Approach to Foundational Proof-Carrying Code. - Nadeem Abdul Hamid; Zhong Shao 001; Valery Trifonov; Stefan Monnier; Zhaozhong Ni (J. Autom. Reason., 2003)

Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. - Nadeem Abdul Hamid; Zhong Shao 001 (TPHOLs, 2004)

Building certified libraries for PCC: dynamic storage allocation. - Dachuan Yu; Nadeem Abdul Hamid; Zhong Shao 001 (Sci. Comput. Program., 2004)

Certified memory management for proof-carrying code: a region-based type system and runtime library. - Nadeem Abdul Hamid (ACM Southeast Regional Conference (2), 2005)

Integrating a certified memory management runtime with proof-carrying code. - Nadeem Abdul Hamid (SAC, 2007)

A lightweight framework for peer-to-peer programming. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2007)

Certified code development for a microcontroller architecture. - Nadeem Abdul Hamid (ACM Southeast Regional Conference, 2008)

Theorem proving with the COQ proof assistant: tutorial presentation. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2008)

Pattern matching on objects in Java. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2009)

Formally certified stable marriages. - Nadeem Abdul Hamid; Caleb Castleberry (ACM Southeast Regional Conference, 2010)

Automated web-based user interfaces for novice programmers. - Nadeem Abdul Hamid (ACM Southeast Regional Conference, 2012)

Convex hull game: a tangible context for algorithms and computer graphics concepts. - Zane R. Cochran; Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2012)

Formal verification of change making algorithms. - Nadeem Abdul Hamid; Brook Bowers (ACM Southeast Regional Conference, 2013)

Towards engaging big data for CS1/2 (abstract only). - Nadeem Abdul Hamid; Steven Benzel (SIGCSE, 2014)

Berry College. - Nadeem Abdul Hamid (ACM SIGCSE Bull., 2015)

A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses. - Nadeem Abdul Hamid (ITiCSE, 2016)

A functional flipped CS1. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2016)

Teaching CS courses with real live data. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2017)

Preparing, Visualizing, and Using Real-world Data in Introductory Courses. - Austin Cory Bart; Kalpathi R. Subramanian; Ruth E. Anderson; Nadeem Abdul Hamid (SIGCSE, 2018)

Automated inference of fixed-width data formats. - Steven Andrew Carter; Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2018)

Real live data for CS courses. - Nadeem Abdul Hamid (J. Comput. Sci. Coll., 2018)

Lightweight Automated Structure Inference and Binding of Data Sources to Predefined Data Types. - Nadeem Abdul Hamid (ACM Southeast Regional Conference, 2020)

(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq. - Nadeem Abdul Hamid (SAC, 2024)

Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. - Bernny Velasquez; Jessica Herring; Nadeem Abdul Hamid (SBMF, 2024)