E-LIB Suche - Ergebnisse für: Vazou, Niki

1

Mechanizing Refinement Types:

Borkowski, Michael H. ; Vazou, Niki ; Jhala, Ranjit
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2099-2128 , 2024

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

2

Flux: Liquid Types for Rust:

Lehmann, Nico ; Geller, Adam T. ; Vazou, Niki.
Proceedings of the ACM on Programming Languages. 7 (2023) PLDI - p. 1533-1557 , 2023

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

3

Proceedings of the 16th ACM SIGPLAN International Haskell S..:

McDonell, Trevor L. ; Vazou, Niki , 2023

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

4

Coinduction inductively: mechanizing coinductive proofs in ..:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,

Mastorou, Lykourgos ; Papaspyrou, Nikolaos ; Vazou, Niki - p. 1-12 , 2022

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

5

Verified Causal Broadcast with Liquid Haskell:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,

Redmond, Patrick ; Shen, Gan ; Vazou, Niki. - p. 1-13 , 2022

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

6

ANOSY: approximated knowledge synthesis with refinement typ..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Guria, Sankha Narayan ; Vazou, Niki ; Guarnieri, Marco. - p. 15-30 , 2022

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

7

Safe couplings: coupled refinement types:

Vasilenko, Elizaveta ; Vazou, Niki ; Barthe, Gilles
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 596-624 , 2022

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

8

How to safely use extensionality in Liquid Haskell:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,

Vazou, Niki ; Greenberg, Michael - p. 13-26 , 2022

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

9

Liquid proof macros:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,

Blanchette, Henry ; Vazou, Niki ; Lampropoulos, Leonidas - p. 27-38 , 2022

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

10

Verifying replicated data types with typeclass refinements ..:

Liu, Yiyun ; Parker, James ; Redmond, Patrick...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

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

11

Verifying replicated data types with typeclass refinements ..:

Liu, Yiyun ; Parker, James ; Redmond, Patrick...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

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

12

PLAS 2019 : ACM SIGSAC Workshop on Programming Languages..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Mardziel, Piotr ; Vazou, Niki - p. 2715 ff. , 2019

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

13

Proceedings of the 14th ACM SIGSAC Workshop on Programming ..:

Mardziel, Piotr ; Vazou, Niki , 2019

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

14

Type-level computations for Ruby libraries:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Kazerounian, Milod ; Guria, Sankha Narayan ; Vazou, Niki.. - p. 966-979 , 2019

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

15

Liquidate your assets: reasoning about resource usage in li..:

Handley, Martin A. T. ; Vazou, Niki ; Hutton, Graham
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

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