E-LIB Suche - Ergebnisse für: Demange, Delphine

1

Mechanised Semantics for Gated Static Single Assignment:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Herklotz, Yann ; Demange, Delphine ; Blazy, Sandrine - p. 182-196 , 2023

Link: https://dl.acm.org/doi/1..

2

Proceedings of the 30th ACM SIGPLAN International Conferenc..:

Smith, Aaron ; Demange, Delphine ; Gupta, Rajiv , 2021

Link: https://dl.acm.org/doi/1..

3

Intermittent Computing with Peripherals, Formally Verified:

, In: The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,

Berthou, Gautier ; Dagand, Pierre-Évariste ; Demange, Delphine.. - p. 85-96 , 2020

Link: https://dl.acm.org/doi/1..

4

Semantic reasoning about the sea of nodes:

, In: Proceedings of the 27th International Conference on Compiler Construction,

Demange, Delphine ; Fernández de Retana, Yon ; Pichardie, David - p. 163-173 , 2018

Link: https://dl.acm.org/doi/1..

5

Verified compilation of linearizable data structures : m..:

, In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing,

Zakowski, Yannick ; Cachera, David ; Demange, Delphine. - p. 1881-1890 , 2018

Link: https://dl.acm.org/doi/1..

6

Verifying a Concurrent Garbage Collector with a Rely-Guaran..:

Zakowski, Yannick ; Cachera, David ; Demange, Delphine...
Journal of Automated Reasoning. 63 (2018) 2 - p. 489-515 , 2018

Link: https://doi.org/10.1007/..

7

Mechanizing conventional SSA for a verified destruction wit..:

, In: Proceedings of the 25th International Conference on Compiler Construction,

Demange, Delphine ; Fernandez de Retana, Yon - p. 77-87 , 2016

Link: https://dl.acm.org/doi/1..

8

Formal Verification of an SSA-Based Middle-End for CompCert:

Barthe, Gilles ; Demange, Delphine ; Pichardie, David
ACM Transactions on Programming Languages and Systems. 36 (2014) 1 - p. 1-35 , 2014

Link: https://doi.org/10.1145/..

9

A verified information-flow architecture:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Azevedo de Amorim, Arthur ; Collins, Nathan ; DeHon, André... - p. 165-178 , 2014

Link: https://dl.acm.org/doi/1..

10

Formal Verification of an SSA-Based Middle-End for CompCert:

Barthe, Gilles ; Demange, Delphine ; Pichardie, David
ACM Transactions on Programming Languages and Systems (TOPLAS). 36 (2014) 1 - p. 1-35 , 2014

Link: https://dl.acm.org/doi/1..

11

A verified information-flow architecture:

Azevedo de Amorim, Arthur ; Collins, Nathan ; DeHon, André...
ACM SIGPLAN Notices. 49 (2014) 1 - p. 165-178 , 2014

Link: https://doi.org/10.1145/..

12

Plan B : a buffered memory model for Java:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Demange, Delphine ; Laporte, Vincent ; Zhao, Lei... - p. 329-342 , 2013

Link: https://dl.acm.org/doi/1..

13

Plan B: a buffered memory model for Java:

Demange, Delphine ; Laporte, Vincent ; Zhao, Lei...
ACM SIGPLAN Notices. 48 (2013) 1 - p. 329-342 , 2013

Link: https://doi.org/10.1145/..

14

Fondements sémantiques des représentations intermédiaires d..:

Delphine Demange
Bulletin 1024. , 2014

Link: https://doi.org/10.48556..

15

JFLA 2024 - 35es Journées Francophones des Langages Applica..:

Demange, Delphine ; Guatto, Adrien
hal-04407194. , 2024

Link: https://inria.hal.scienc..