Eva Rose, Ph.D.

This academic year (2011-2012) I am a CRP Fellow at the Massachusetts Institute of Technology (MIT).

My research interests include: Program analysis, security and privacy guarantees, mobile systems, and cloud related issues. In particular, how to design domain specific languages that are easy to use and that easily scales.

My favorite functional languages are: Haskell and OCAML. My favorite imperative languages are: Scala and Java. My favorite declarative languages are DATALOG on the one hand, TWELF on the other hand.

Resumé

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).