Nadeem Abdul Hamid

According to our database, Nadeem Abdul Hamid authored at least 15 papers between 2003 and 2023.

Collaborative distances:

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

2023

(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.

Nadeem Abdul Hamid

CoRR, 2023

2020

Lightweight Automated Structure Inference and Binding of Data Sources to Predefined Data Types.

Nadeem Abdul Hamid

Proceedings of the 2020 ACM Southeast Conference, 2020

2018

Preparing, Visualizing, and Using Real-world Data in Introductory Courses.

Austin Cory Bart, Kalpathi R. Subramanian, Ruth E. Anderson, Nadeem Abdul Hamid

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2016

A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses.

Nadeem Abdul Hamid

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2015

Berry College.

Nadeem Abdul Hamid

ACM SIGCSE Bull., 2015

2014

Towards engaging big data for CS1/2 (abstract only).

Nadeem Abdul Hamid, Steven Benzel

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

Formal verification of change making algorithms.

Nadeem Abdul Hamid, Brook Bowers

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

Automated web-based user interfaces for novice programmers.

Nadeem Abdul Hamid

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2010

Formally certified stable marriages.

Nadeem Abdul Hamid, Caleb Castleberry

Proceedings of the 48th Annual Southeast Regional Conference, 2010

2008

Certified code development for a microcontroller architecture.

Nadeem Abdul Hamid

Proceedings of the 46th Annual Southeast Regional Conference, 2008

2007

Integrating a certified memory management runtime with proof-carrying code.

Nadeem Abdul Hamid

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2005

Certified memory management for proof-carrying code: a region-based type system and runtime library.

Nadeem Abdul Hamid

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

Building certified libraries for PCC: dynamic storage allocation.

Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao

Sci. Comput. Program., 2004

Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2003

A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

J. Autom. Reason., 2003