Research


Current Projects


Current Projects

– (coming soon)


Past Projects


Past Projects

– (coming soon)


Publications


Publications

ACM DL Author-ize serviceAutomated web-based user interfaces for novice programmers
Nadeem Abdul Hamid
ACM-SE ’12 Proceedings of the 50th Annual Southeast Regional Conference, 2012
ACM DL Author-ize serviceFormally certified stable marriages
Nadeem Abdul Hamid, Caleb Castleberry
ACM SE ’10 Proceedings of the 48th Annual Southeast Regional Conference, 2010
ACM DL Author-ize serviceCertified code development for a microcontroller architecture
Nadeem Abdul Hamid
ACM-SE 46 Proceedings of the 46th Annual Southeast Regional Conference, 2008
ACM DL Author-ize serviceIntegrating a certified memory management runtime with proof-carrying code
Nadeem Abdul Hamid
SAC ’07 Proceedings of the 2007 ACM symposium on Applied computing, 2007
ACM DL Author-ize serviceCertified memory management for proof-carrying code: a region-based type system and runtime library
Nadeem Abdul Hamid
ACM-SE 43 Proceedings of the 43rd annual Southeast regional conference – Volume 2, 2005


Technical Reports


Berry College Computer Science (CS) Technical Reports

2012

  • Berry-CS-TR2012-1 [pdf]: Zane R. Cochran and Nadeem Abdul Hamid. Technical report: Convex hull game: a tangible context for algorithms and computer graphics concepts. Source: [simple and augmented versions]