Eva Rose, Ph.D.

Resumé

• Short version resumé (pdf) (Including full publication list).

Journal publications

1. Eva Rose: Lightweight Bytecode Verification. Journal of Automated Reasoning 31(3-4): 303-334 (2003). The basic idea of this paper is included in J2ME and the JSR 202 proposal.
2. Eva Rose, Kristoffer H. Rose: Java Access Protection through Typing. Concurrency and Computation: Practice and Experience 13(13): 1125-1132 (2001).
3. Eva Rose: Linear-time Hierarchies for a Functional Language Machine Model. Science of Computer Programming 32(1-3): 109-143 (1998).

(For a more complete list of publications including conferences and tech reports check out DBLP, ACM DL or CiteSeer.)

Ph.D. Thesis

Vérification de Code d'Octet de la Machine Virtuelle Java. Formalisation et Implantation. Ph.D. thesis, Université Paris VII, 2002. Submitted version (in English) available as Adobe PDF and gzip'd PostScript. Defended September 27, 2002, at ENS Cachan; defense slides available as Adobe PDF (in French).

Misc

Opskrifter

Family

Sofus
Kristoffer