Dr. Élodie-Jane Sims

Née à: Paris (Fr) Double nationalité: française et états-unienne Emails: professionnel ejs.job@hotmail.com / privé Elodie-JaneSimspolytechniqueedu url: http://www.normalesup.org/~sims PGP public key

Expérience professionnelle

• 2010 Oct. - 2012 Jan. : Chercheuse au NASA Ames Research Center (USA) dans le Robust Software Engineering Group.
• 2009 Oct. - 2010 Sept. : Ingénieure spécialiste INRIA à l'École Normale Supérieure sur ASTRÉE.
• 2007 Oct. - 2009 Sept. : Ingénieure de recherche à l'École Normale Supérieure dans le cadre du projet européen ITEA 2 ES_PASS.
• 2002 Sept. - 2007 Sept. : Doctorante à l'École Polytechnique (3 ans employée par le C.N.R.S.)
• 2003 Jan. - 2007 Sept. : Assistante de recherche doctorante à Kansas State University
• 2002 Oct. - 2005 Sept. : Monitrice en informatique à l'École Polytechnique
• 2001 Jan. - 2001 Aug. : Assistante de recherche en informatique à Kansas State University
• Stages
  • Été 2000 : Implémentation de mouvements pour robots non holonomes et intégration dans la plateforme de planification de mouvements sans collision Move3D, langage C (rapport)
              Lieu: LAAS (Toulouse, France)
              Directeurs : Florent Lamiraux et Jean-Paul Laumond
  • Été 1999 : Implémentation d'une modélisation de l'atmosphère de Titan, langage Fortran 90
              Lieu: NASA Ames Research Center (San Francisco, USA)
              Directeur : Christopher McKay

Formation

• 2007 : Ph.D./Doctorat en informatique de l'École Polytechnique et de Kansas State University, mention Très honorable
• 1999-2002 : Magistère en informatique au MMFAI à l'École Normale Supérieure
  • 2002 : (M2) DEA de Programmation, Sémantique et Preuves, mention Très bien
  • 2001 : (M1) Maîtrise d'informatique, mention Très bien
  • 2000 : (L3) Licence d'informatique
• 1999 : (L1-L2) Deug MIAS à l'Université Pierre et Marie Curie (Paris 6), mention Très bien
• Liste des cours suivis après le DEUG

Recherche

• Thèmes de recherche
  • Analyse statique de programmes
    • analyses de pointeurs (shape-analysis, alias-analysis, ...)
    • analyses de programmes synchrones de contrôle/commande
  • Interprétation abstraite
  • Separation logic
• Publications
  • Astrée: Nachweis der Abwesenheit von Laufzeitfehlern, D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, É.-J. Sims, Workshop "Entwicklung zuverlässiger Software-Systeme" 2009
  • 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)
• Présentations
  • 02/06/2010: Pointer analysis and separation logic, Static analysis with ASTRÉE, présentation au NASA Ames Research Center (San Francisco, USA)
  • 07/24/2009: A glimpse of my Ph.D.: pointer analysis and separation logic, présentation à Dagstuhl (G) pour le seminaire 09301
  • 01/12/2007: Soutenance de thèse, à l'École polytechnique (F).
  • 25/10/2007: Ph.D. defense, à Kansas State University (USA).
  • 06/22/2006: An abstract domain for separation logic formulae, présentation à Paris (F) pour le Séminaire au CEA
  • 06/19/2006: An abstract domain for separation logic formulae, présentation à Paris (F) pour le Séminaire Vérification - LIAFA
  • 03/26/2006: An abstract domain for separation logic formulae, présentation à Vienna (AU) pour EAAI'06
  • 11/24/2004: Extending Separation Logic with Fixpoints and Postponed Substitution , présentation à Rennes (F) pour le Séminaire 68SQRT - IRISA
  • 07/16/2004: Extending Separation Logic with Fixpoints and Postponed Substitution, présentation à Stirling (UK) pour AMAST'04
• Divers
  • Participations à des conférences internationales
    • Typing, Analysis and Verification of Heap-Manipulating Programs, Reasoning about Shape
    • EAAI'06, VMCAI'05, AMAST'04, SAS'02 '03 '05, ETAPS'02 '06
  • Reviews pour des conférences internationales (amast, esop, fossacs, pldi, popl, sas, tacas, vmcai, nfm)
  • Membre du comité d'organisation et webmistress de la conférence internationale VMCAI'05.
  • Membre du comité d'organisation du concours de programmation ACM-SWERC'03
• 2002-2007 : Ph.D./Doctorat à l'École Polytechnique et à Kansas State University en cotutelle sous la direction de David Schmidt et Radhia Cousot : Analyse statique de pointeurs et separation logic
  • 2003: Cours à Kansas State University dans le cadre du Ph.D. et obtention des prelims
• 2002 Apr-Sept : Analyses statiques de pointeurs et separation logic (Mémoire de DEA )
            Lieu: École Polytechnique (Palaiseau, France)
            Directeur : Radhia Cousot
• 2001 Feb-Aug : Alloy et logiques temporelles - Shape analysis (rapport )
            Lieu: Kansas State University (Manhattan, KS, USA)
            Directeur : David Schmidt

Enseignement

• 2002-2005 : Monitrice en informatique à l'École Polytechnique
  Majeure d'informatique (3ème année)
  • Langages de programmation avec Gilles Dowek
  • Programmation en OCaml
  Tronc commun (1ère année)
  • Programmation en Java
• 1998 Sept : Tutorat en mathématiques et physique pour stage de rentrée à l'Université Pierre et Marie Curie (Paris 6)
• 1996-1999 : Cours particuliers de mathématiques à des collégiens et lycéens
• 1997-1999 : Monitrice de voile au Centre nautique des Glénans

Divers

• 2003-2006 : résidente à la Maison Heinrich Heine à la Cité Internationale Universitaire de Paris (tutrice informatique)
• 2000-2003 : Webmistress et membre du Ciné-Club Normale Sup'
• Monitorat fédéral de voile de la FFV, encadrements au Centre nautique des Glénans
• 2007-2008: Membre du pôle régate du club de voile de l'ENS, participation au Trophée Atlantique 2008
• Permis de conduire B (voiture), Permis Mer (côtier), Attestation de formation aux premiers secours

---

Contact: professionnel ejs.job@hotmail.com / privé Elodie-JaneSimspolytechniqueedu © Copyrights / Disclaimer