I've moved and this web page will probably do so soon... (Click here)

Nadeem Abdul Hamid

Graduate Student
Dept. of Computer Science
Yale University

Research Interests and Projects

Programming language design and implementation; security; type systems for common intermediate languages; [thesis proposal]

• Syntactic FPCC
• Java Reflection
• Java Benchmarks

TA/Teaching

• CS 112 - Intro Programming (Fall 2002)
• CS 430/530 - Formal Semantics
• CS 422/522 - Operating Systems
• CS 323 - Systems Programming

Publications & Talks

• Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code To appear in TPHOLs 2004.
• Building Certified Libraries for PCC: Dynamic Storage Allocation (Extended Version) Science of Computer Programming (Special Issue ESOP 2003), 50 (1-3): 101-127, March 2004.
• Building Certified Libraries for PCC: Dynamic Storage Allocation ESOP'03, April 2003.
• A Syntactic Approach to Foundational Proof-Carrying Code (Extended version) Journal of Automated Reasoning (Special Issue on Proof-Carrying Code), 31 (3-4): 191-229, 2003.
• A Syntactic Approach to Foundational Proof-Carrying Code LICS'02, July 2002. [pdf slides]
• A Syntactic Approach to Foundational Proof-Carrying Code (Talk). IBM Programming Languages Day, May 7, 2002. [pdf slides]
• PCC (Talk). [pdf slides]
• OGST (Jan 24, 2002) [PDF] [Pwrpnt]
  (read the paper here)
• CS690 Report (May 4, 2001)
• OGST (Feb 27, 2001) [HTML] [PDF] [Pwrpnt]

Other

• Job stuff
• Types Summer School 2002 (Giens, France)

Links

• My start page
• Flint
• Upcoming conferences

Contact information

Email: Phone: Fax: Office:

nadeem.hamid +1 203 +1 443 AKW

@yale.edu  432 1274  337 1275  305

Last updated 2003-04-10