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

Trillium: Higher-Order Concurrent and Distributed Separatio..:

Timany, Amin ; Gregersen, Simon Oddershede ; Stefanesco, Léo...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 241-272 , 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

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

Timany, Amin ; Traytel, Dmitriy ; Pientka, Brigitte. , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

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/..
 
?
5

Modular Denotational Semantics for Effects with Guarded Int..:

Frumin, Dan ; Timany, Amin ; Birkedal, Lars
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 332-361 , 2024
Link: https://doi.org/10.1145/..
 
?
6

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 847-877 , 2023
Link: https://doi.org/10.1145/..
 
?
7

Modular verification of op-based CRDTs in separation logic:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1788-1816 , 2022
Link: https://doi.org/10.1145/..
 
?
8

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/..
 
?
9

Purity of an ST monad: full abstraction by semantically typ..:

Jacobs, Koen ; Devriese, Dominique ; Timany, Amin
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
10

Mechanized logical relations for termination-insensitive no..:

Gregersen, Simon Oddershede ; Bay, Johan ; Timany, Amin.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
11

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/..
 
?
12

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Reasoning about monotonicity in separation logic:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Timany, Amin ; Birkedal, Lars - p. 91-104 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Distributed causal memory: modular specification and verifi..:

Gondelman, Léon ; Gregersen, Simon Oddershede ; Nieto, Abel..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
15

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..
 
1-15