Nombre de documents

12

CV de Delphine Demange


Communication dans un congrès8 documents

  • Delphine Demange, Yon Fernandez de Retana. Mechanizing conventional SSA for a verified destruction with coalescing. 25th International Conference on Compiler Construction, Mar 2016, Barcelona, Spain. Proceedings of the 25th International Conference on Compiler Construction. <hal-01378393>
  • Delphine Demange, David Pichardie, Léo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.. 24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom. 2015. <hal-01110779>
  • Sandrine Blazy, Delphine Demange, David Pichardie. Validating Dominator Trees for a Fast, Verified Dominance Test. Springer. Interactive Theorem Proving, Aug 2015, Nanjing, China. Lecture Notes in Computer Science (LNCS) (9236), 2015, <10.1007/978-3-319-22102-1_6>. <hal-01193281>
  • Arthur Azevedo de Amorim, Nathan Collins, André Dehon, Delphine Demange, Catalin Hritcu, et al.. A Verified Information-Flow Architecture. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014, San Diego, CA, United States. 2014, <10.1145/2535838.2535839>. <hal-00918847>
  • Delphine Demange, Vincent Laporte, Lei Zhao, David Pichardie, Suresh Jagannathan, et al.. Plan B: A Buffered Memory Model for Java. Proc. of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Jan 2013, Rome, Italy. ACM, 2013. <hal-00924716>
  • Gilles Barthe, Delphine Demange, David Pichardie. A Formally Verified SSA-based Middle-end: Static Single Assignment meets CompCert. 21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. Springer, 7211, pp.47-66, 2012, LNCS Programming Languages and Systems. <10.1007/978-3-642-28869-2_3>. <hal-01110783>
  • Delphine Demange, Thomas Jensen, David Pichardie. A Provably Correct Stackless Intermediate Representation for Java Bytecode. The 8th Asian Symposium on Programming Languages and Systems (APLAS), 2010, Shangai, China. Springer-Verlag, 2010, Lecture Notes in Computer Science. <inria-00537815>
  • Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, et al.. Sawja: Static Analysis Workshop for Java. Beckert, Bernhard and Marché, Claude. The International Conference on Formal Verification of Object-Oriented Software, 2010, Paris, France. Springer-Verlag, 2010.13, pp.253--267, 2010, Lecture Notes in Computer Science; Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France. <http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083>. <inria-00504047>

Article dans une revue2 documents

  • Arthur Azevedo de Amorim, Nathan Collins, André Dehon, Delphine Demange, Cătălin Hriţcu, et al.. A Verified Information-Flow Architecture. Journal of Computer Security (JCS); Special Issue on Verified Information Flow Security, 2016, 24 (6), pp.689--734. <10.3233/JCS-15784>. <hal-01424797>
  • Gilles Barthe, Delphine Demange, David Pichardie. Formal Verification of an SSA-based Middle-end for CompCert. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, 36 (1), pp.35. <10.1145/2579080>. <hal-01097677>

Rapport2 documents

  • Gilles Barthe, Delphine Demange, David Pichardie. Formal Verification of an SSA-based Middle-end for CompCert. [University works] 2011. <inria-00634702v3>
  • Delphine Demange, Thomas Jensen, David Pichardie. A Provably Correct Stackless Intermediate Representation For Java Bytecode. [Research Report] RR-7021, INRIA. 2010, pp.59. <inria-00414099v3>