Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gueneau, Armael
58  Ergebnisse:
Personensuche X
?
1

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Journal of the ACM.  71 (2024)  1 - p. 1-59 , 2024
Link: https://doi.org/10.1145/..
 
?
2

The Logical Essence of Well-Bracketed Control Flow:

Timany, Amin ; Guéneau, Armaël ; Birkedal, Lars
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 575-603 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Thunks and Debits in Separation Logic with Time Credits:

Pottier, François ; Guéneau, Armaël ; Jourdan, Jacques-Henri.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1482-1508 , 2024
Link: https://doi.org/10.1145/..
 
?
4

Melocoton: A Program Logic for Verified Interoperability Be..:

Guéneau, Armaël ; Hostert, Johannes ; Spies, Simon...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 716-744 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Proving full-system security properties under multiple atta..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Van Strydonck, Thomas ; Georges, Aina Linn ; Gueneau, Armael... - p. 80-95 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Theorems for free from separation logic specifications:

Birkedal, Lars ; Dinsdale-Young, Thomas ; Guéneau, Armaël...
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Efficient and provable local capability revocation using un..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Efficient and provable local capability revocation using un..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Theorems for free from separation logic specifications:

Birkedal, Lars ; Dinsdale-Young, Thomas ; Guéneau, Armaël...
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
10

A Fistful of Dollars: Formalizing Asymptotic Complexity Cla..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Guéneau, Armaël ; Charguéraud, Arthur ; Pottier, François - p. 533-560 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Thunks and Debits in Separation Logic with Time Credits:

Pottier, François ; Guéneau, Armaël ; Jourdan, Jacques-Henri.
hal-04238691.  , 2024
Link: https://hal.science/hal-..
 
?
12

Thunks and Debits in Separation Logic with Time Credits:

Pottier, François ; Guéneau, Armaël ; Jourdan, Jacques-Henri.
hal-04238691.  , 2024
Link: https://hal.science/hal-..
 
?
13

Thunks and Debits in Separation Logic with Time Credits:

Pottier, François ; Guéneau, Armaël ; Jourdan, Jacques-Henri.
hal-04238691.  , 2024
Link: https://hal.science/hal-..
 
?
14

Thunks and Debits in Separation Logic with Time Credits:

Pottier, François ; Guéneau, Armaël ; Jourdan, Jacques-Henri.
hal-04238691.  , 2024
Link: https://hal.science/hal-..
 
?
15

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
info:eu-repo/semantics/altIdentifier/doi/10.1145/nnnnnnn.nnnnnnn.  , 2023
Link: https://hal.science/hal-..
 
1-15