Papers of Élodie-Jane Sims

© copyright notice
Springer-Verlag copyright notice

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

Older unpublished work

• Pointers static analysis and BI-logic., Élodie-Jane Sims, Mémoire de DEA

Talks

• 06/22/06: An abstract domain for separation logic formulae, talk at Paris (F) for Séminaire au CEA
• 06/19/06: An abstract domain for separation logic formulae, talk at Paris (F) for Séminaire Vérification - LIAFA
• 03/26/06: An abstract domain for separation logic formulae, talk at Vienna (AU) for EAAI'06
• 11/24/04: Extending Separation Logic with Fixpoints and Postponed Substitution , talk at Rennes (F) for Séminaire 68SQRT - IRISA
• 07/16/04: Extending Separation Logic with Fixpoints and Postponed Substitution , talk at Stirling (UK) for AMAST'04

---

Contact: Elodie-JaneSimspolytechniquefr Last modified: June 2006

Élodie-Jane Sims's homepage Home Publications Computers Miscellaneous CV About