Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Timany, Amin
27  Ergebnisse:
Artikel (Online) X
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

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

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

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

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

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

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://dl.acm.org/doi/1..
 
?
9

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://dl.acm.org/doi/1..
 
?
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

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://doi.org/10.1145/..
 
?
12

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

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

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