Travelled to:1 × Italy
1 × Poland
1 × USA
Collaborated with:∅
Talks about:proof (2) carri (2) code (2) reflect (1) qualiti (1) product (1) certifi (1) experi (1) compil (1) prove (1)
Person: Peter Lee 0001
DBLP: 0001:Peter_Lee
Contributed to:
2003
2000
1998Wrote 3 papers:
- TACAS-2003-Lee #case study #experience #what
- What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code (PL0), p. 1.
- PADL-2000-Lee
- Production-Quality Proof-Carrying Code (PL0), p. 325.
- SAS-1998-Lee #compilation #optimisation
- Certifying, Optimizing Compilation (PL0), p. 381.