School of Mathematical and Natural Sciences
  • Future Students
    Begin Your Journey at Berry

    » Admissions Home 

    » Academics Home 

    » Campus Life 

     

    Undergraduate Admission 

    Graduate Admission 

    International Admission 

    Transfer Admission 

    Athletics Recruiting 

    Financial Aid Information 

    Visit Campus 

    Information Request 

    Pay Your Deposit 

    Apply Online 

    VikingWeb Student Portal 

    Virtual Tour

  • Berry Students
    Student Services

    VikingWeb 

    Bookstore 

    Campus Safety 

    Career Center 

    Computer Labs 

    Counseling Center 

    Dining Services 

    Disability Services 

    Health & Wellness 

    Jobs on Campus 

    Mail Services 

    Tech Support 

    Tutoring 

    The Writing Center 

    Academics

    Academic Calendar 

    Academic Student Services 

    Campbell School of Business 

    Charter School of Education & Human Sciences 

    Evans School of Humanities, Arts & Social Sciences 

    School of Mathematical & Natural Sciences 

    Division of Nursing

    Majors/Programs 

    Catalogs 

    Honors Program 

    International Programs (Study Abroad) 

    Memorial Library 

    Research Scholarships and Programs 

    Student Life

    Dean of Students 

    Cage Center Info 

    Intramurals 

    KCAB 

    Outdoor Recreation 

    Rome Area Info 

    SGA 

    Service Opportunities 

    Sports/Athletics 

    Student Activities 

    Student Directory 

    Student Housing 

    Student Work 

    Viking Code Handbook 

    Viking Fusion 

    Students

    Enrollment & Financial Information

    Business Office 

    Financial Aid 

    Registrar 

    Tuition and Fees

  • Alumni & Friends

    Visit the Berry Alumni Web Site 

    Alumni Accent Archives 

    Alumni Center 

    Event Calendar 

    Berry Magazine 

    Sports Info & News 

    Support Berry 

    Alumni 
  • Parents & Family

    Parent Information 

    FAQ for Parents 

    Contacts 

    Admissions 

    Academic Programs 

    Academic Student Services 

    Berry News 

    Business Office 

    Campus Safety 

    Counseling Center 

    Dean of Students 

    Dining Plan 

    Financial Aid 

    Health & Wellness 

    Sports News & Info 

    Student Housing 

    Parents 
  • Faculty & Staff

    VikingWeb 

    Business Office 

    Campus Safety 

    Event Calendar 

    Faculty & Staff Directory 

    Human Resources (VikingWeb) 

    Mail Services 

    Tech Support 

    Faculty
  • Quick Links

    Academic Calendar

    Administration 

    Admissions Application 

    Alumni 

    Berry Kids Programs 

    BERRY Magazine 

    BOLD Program 

    Bookstore 

    Business Office 

    Campus Police 

    Campus Visit 

    Career Center 

    Catalogs 

    Chaplain's Office 

    Child Development Center 

    Commencement Information 

    Cottages 

    Counseling Center 

    Cultural Events Requirements 

    Dining 

    Driving Directions 

    Elementary/Middle School

    Financial Aid 

    First-year Experience 

    Graduate of Education 

    Health and Wellness 

    Human Resources 

    Information Technology 

    Institutional Research 

    Instructional Technology 

    Interfaith Council 

    International Programs (Study Abroad) 

    Intramurals 

    KCAB 

    Mail Services 

    Majors List 

    MBA Program 

    Multicultural Affairs 

    Oak Hill & The Martha Berry Museum 

    Outdoor Recreation 

    Pay Bill 

    Performing Arts 

    Plan4ward 

    President's Office 

    Provost 

    Public Relations 

    Quick Facts 

    Registrar 

    Research

    Residence Life 

    SGA 

    Student Activities 

    Student Orientation (SOAR) 

    Student Printing FAQ

    Student Work Experience Program 

    Sustainability and Environmental Compliance 

    Viking Code Handbook 

    WAC (Writing Across Curriculum) 

    Women's Studies 

    Writing Center 

Nadeem A. Hamid

PUBLICATIONS: 

Certified Code Development for a Microcontroller Architecture. Nadeem Abdul Hamid. Proceedings of the 46th ACM Southeast Conference, Auburn, AL, March 28-29, 2008. CD-ROM (2008) ISBN 978-1-60558-105-7/08/03. Extended Abstract. (Read Abstract)

A Lightweight Framework for Peer-to-Peer Programming. Nadeem Abdul Hamid. Journal of Computing Sciences in Colleges (2007) 22(5): 98-104. (Read Abstract)

Integrating a Certified Memory Management Runtime with Proof-Carrying Code. Nadeem Abdul Hamid. Applied Computing 2007, Proceedings of the 2007 ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007. New York: Association for Computing Machinery, 2007. 1526-1533. (Read Abstract)

Certified Memory Management for Proof-Carrying Code: A region-based type system and runtime library (extended abstract). Nadeem Abdul Hamid. In Proceedings 43rd ACM Southeast Conference (ACMSE '05), 2:248-249. AMC, March 2005. Poster presentation. (Read Abstract)

Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. Nadeem A. Hamid and Zhong Shao. In Proceedings 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004), 3223:188-135. Springer, September 2004.

Building Certified Libraries for PCC: Dynamic Storage Allocation (Extended Version). Dachuan Yu, Nadeem A. Hamid, and Zhong Shao. In Science of Computer Programming (Special Issue ESOP 2003), 50 (1-3): 101-127, March 2004.

A Syntactic Approach to Foundational Proof-Carrying Code (Extended Version). Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong Ni. Journal of Automated Reasoning (Special Issue on Proof-Carrying Code) 31 (3-4): 191-229, 2003.

Building Certified Libraries for PCC: Dynamic Storage Allocation. Dachuan Yu, Nadeem A. Hamid, and Zhong Shao. In Proc. 2003 European Symposium on Programming (ESOP'03), Warsaw, Poland, April 2003. Lecture Notes in Computer Science Vol. 2618.

A Syntactic Approach to Foundational Proof-Carrying Code. Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong Ni. In Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), Copenhagen, Denmark, pages 89-100, July 2002.

Copyright © 2013 Berry College • 2277 Martha Berry Hwy NW • Mount Berry, GA 30149 • (706) 232 5374
  Berry Home | Directions | Policies | Employment | Translations: Chinese | Español | Korean   
Follow us:
  • Facebook
  • Twitter
  • YouTube
  • Vimeo
  • LinkedIn
  • Flickr
  • Instagram
Hide Berry Social Media Channel