Nadeem Abdul Hamid

28 papers A* 1A 3B 2Misc 2Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Towards Automating Permutation Proofs in Rocq: A Reflexive Approach with Iterative Deepening Search (Short Paper).
ITP
Nadeem Abdul Hamid
2024 Misc conf
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.
SAC
Nadeem Abdul Hamid
2024 — conf
Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
SBMF
Bernny Velasquez, Jessica Herring, Nadeem Abdul Hamid
2023 J jnl
(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.
CoRR
Nadeem Abdul Hamid
2020 — conf
Lightweight Automated Structure Inference and Binding of Data Sources to Predefined Data Types.
ACM Southeast Regional Conference
Nadeem Abdul Hamid
2018 J jnl
Automated inference of fixed-width data formats.
J. Comput. Sci. Coll.
Steven Andrew Carter, Nadeem Abdul Hamid
2018 A conf
Preparing, Visualizing, and Using Real-world Data in Introductory Courses.
SIGCSE
Austin Cory Bart, Kalpathi R. Subramanian, Ruth E. Anderson, Nadeem Abdul Hamid
2018 J jnl
Real live data for CS courses.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2017 J jnl
Teaching CS courses with real live data.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2016 B conf
A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses.
ITiCSE
Nadeem Abdul Hamid
2016 J jnl
A functional flipped CS1.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2015 J jnl
Berry College.
ACM SIGCSE Bull.
Nadeem Abdul Hamid
2014 A conf
Towards engaging big data for CS1/2 (abstract only).
SIGCSE
Nadeem Abdul Hamid, Steven Benzel
2013 — conf
Formal verification of change making algorithms.
ACM Southeast Regional Conference
Nadeem Abdul Hamid, Brook Bowers
2012 — conf
Automated web-based user interfaces for novice programmers.
ACM Southeast Regional Conference
Nadeem Abdul Hamid
2012 J jnl
Convex hull game: a tangible context for algorithms and computer graphics concepts.
J. Comput. Sci. Coll.
Zane R. Cochran, Nadeem Abdul Hamid
2010 — conf
Formally certified stable marriages.
ACM Southeast Regional Conference
Nadeem Abdul Hamid, Caleb Castleberry
2009 J jnl
Pattern matching on objects in Java.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2008 — conf
Certified code development for a microcontroller architecture.
ACM Southeast Regional Conference
Nadeem Abdul Hamid
2008 J jnl
Theorem proving with the COQ proof assistant: tutorial presentation.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2007 J jnl
A lightweight framework for peer-to-peer programming.
J. Comput. Sci. Coll.
Nadeem Abdul Hamid
2007 Misc conf
Integrating a certified memory management runtime with proof-carrying code.
SAC
Nadeem Abdul Hamid
2005 — conf
Certified memory management for proof-carrying code: a region-based type system and runtime library.
ACM Southeast Regional Conference (2)
Nadeem Abdul Hamid
2004 J jnl
Building certified libraries for PCC: dynamic storage allocation.
Sci. Comput. Program.
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
2004 — conf
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.
TPHOLs
Nadeem Abdul Hamid, Zhong Shao
2003 J jnl
A Syntactic Approach to Foundational Proof-Carrying Code.
J. Autom. Reason.
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
2003 A conf
Building Certified Libraries for PCC: Dynamic Storage Allocation.
ESOP
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
2002 A* conf
A Syntactic Approach to Foundational Proof-Carrying Code.
LICS
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni