Skip to content
cs-conference-ranking.org

Nadeem Abdul Hamid

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

2002–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025ITPTowards Automating Permutation Proofs in Rocq: A Reflexive Approach with Iterative Deepening Search (Short Paper).Nadeem Abdul Hamid
2024SAC(Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq.Nadeem Abdul Hamid
2018SIGCSEPreparing, Visualizing, and Using Real-world Data in Introductory Courses.Austin Cory Bart, Kalpathi R. Subramanian, Ruth E. Anderson, Nadeem Abdul Hamid
2016ITiCSEA Generic Framework for Engaging Online Data Sources in Introductory Programming Courses.Nadeem Abdul Hamid
2014SIGCSETowards engaging big data for CS1/2 (abstract only).Nadeem Abdul Hamid, Steven Benzel
2007SACIntegrating a certified memory management runtime with proof-carrying code.Nadeem Abdul Hamid
2003ESOPBuilding Certified Libraries for PCC: Dynamic Storage Allocation.Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
2002LICSA Syntactic Approach to Foundational Proof-Carrying Code.Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni