|
|
Ingénieure
spécialiste INRIA (1 an)
sur ASTRÉE
dans l'équipe ABSTRACTION à l'ÉNS.
Research engineer of
INRIA (1 year)
on ASTRÉE
in the team ABSTRACTION at ÉNS.
CV
Contact
Address: Équipe Sémantique et interprétation abstraiteLIENS - École Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France
Office: Escalier A, 3ème étage, couloir "Hauts du DI", bureau 5
Stairway A, 3rd floor, "Haut du DI"'s wing, Office 5
Email:
Elodie-Jane![[point]](/picts/utils/full_stop.png)
Sims![[arobase]](/picts/utils/commercial_at.png)
ensfr
Publications
- Pointer Analysis and Separation Logic, Élodie-Jane Sims, dec. 2007, thèse de doctorat (École Polytechnique, France), Ph.D. thesis (Kansas State University, USA).
- An abstract domain for separation logic formulae, Élodie-Jane Sims, EAAI'06
- Extending Separation Logic with Fixpoints and Postponed Substitution, Élodie-Jane Sims, TCS 351-2
- Extending Separation Logic with Fixpoints and Postponed Substitution , Élodie-Jane Sims, AMAST'04 (see TCS's version)
Disclaimer/Copyrights
Contact: Elodie-Jane
Last modified: May 2010 |
Back
|