Nadeem Abdul Hamid

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 6

Top Topics

Reverse Nearest Neighbor

Introductory Programming Courses

Top Venues

ACM Southeast Regional Conference

ACM SIGCSE Bull.

Publications

Nadeem Abdul Hamid
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq. SAC (2024)
Nadeem Abdul Hamid
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq. CoRR (2023)
Nadeem Abdul Hamid
Lightweight Automated Structure Inference and Binding of Data Sources to Predefined Data Types. ACM Southeast Regional Conference (2020)
Austin Cory Bart, Kalpathi R. Subramanian, Ruth E. Anderson, Nadeem Abdul Hamid
Preparing, Visualizing, and Using Real-world Data in Introductory Courses. SIGCSE (2018)
Nadeem Abdul Hamid
A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses. ITiCSE (2016)
Nadeem Abdul Hamid
Berry College. ACM SIGCSE Bull. 47 (1) (2015)
Nadeem Abdul Hamid, Steven Benzel
Towards engaging big data for CS1/2 (abstract only). SIGCSE (2014)
Nadeem Abdul Hamid, Brook Bowers
Formal verification of change making algorithms. ACM Southeast Regional Conference (2013)
Nadeem Abdul Hamid
Automated web-based user interfaces for novice programmers. ACM Southeast Regional Conference (2012)
Nadeem Abdul Hamid, Caleb Castleberry
Formally certified stable marriages. ACM Southeast Regional Conference (2010)
Nadeem Abdul Hamid
Certified code development for a microcontroller architecture. ACM Southeast Regional Conference (2008)
Nadeem Abdul Hamid
Integrating a certified memory management runtime with proof-carrying code. SAC (2007)
Nadeem Abdul Hamid
Certified memory management for proof-carrying code: a region-based type system and runtime library. ACM Southeast Regional Conference (2) (2005)
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
Building certified libraries for PCC: dynamic storage allocation. Sci. Comput. Program. 50 (1-3) (2004)
Nadeem Abdul Hamid, Zhong Shao
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. TPHOLs (2004)
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
Building Certified Libraries for PCC: Dynamic Storage Allocation. ESOP (2003)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reason. 31 (3-4) (2003)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. LICS (2002)