Eva Rose, Ph.D.
I am currently teaching as an adjunct professor at New York University
(Compiler Construction).
My research interests include: Program analysis, security and privacy guarantees, mobile systems.
Resumé
Journal Publications
- 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.
- Eva Rose, Kristoffer H. Rose: Java Access Protection through
Typing.
Concurrency and Computation: Practice and Experience 13(13):
1125-1132 (2001).
- Eva Rose: Linear-time Hierarchies for a Functional Language
Machine Model.
Science of Computer Programming 32(1-3):
109-143 (1998).
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).