| 2007 |
|---|
| 7 | EE | Nadeem Abdul Hamid:
Integrating a certified memory management runtime with proof-carrying code.
SAC 2007: 1526-1533 |
| 2005 |
|---|
| 6 | EE | Nadeem Abdul Hamid:
Certified memory management for proof-carrying code: a region-based type system and runtime library.
ACM Southeast Regional Conference (2) 2005: 248-249 |
| 2004 |
|---|
| 5 | EE | Nadeem Abdul Hamid,
Zhong Shao:
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.
TPHOLs 2004: 118-135 |
| 4 | EE | Dachuan Yu,
Nadeem Abdul Hamid,
Zhong Shao:
Building certified libraries for PCC: dynamic storage allocation.
Sci. Comput. Program. 50(1-3): 101-127 (2004) |
| 2003 |
|---|
| 3 | EE | Dachuan Yu,
Nadeem Abdul Hamid,
Zhong Shao:
Building Certified Libraries for PCC: Dynamic Storage Allocation.
ESOP 2003: 363-379 |
| 2 | EE | Nadeem Abdul Hamid,
Zhong Shao,
Valery Trifonov,
Stefan Monnier,
Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code.
J. Autom. Reasoning 31(3-4): 191-229 (2003) |
| 2002 |
|---|
| 1 | EE | Nadeem Abdul Hamid,
Zhong Shao,
Valery Trifonov,
Stefan Monnier,
Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code.
LICS 2002: 89-100 |
