Filtrer vos résultats
- 8
- 2
- 6
- 2
- 1
- 1
- 10
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 10
- 5
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted CodeJournal of the ACM (JACM), 2023, ⟨10.1145/3623510⟩
Article dans une revue
hal-03826854v3
|
||
|
The Logical Essence of Well-Bracketed Control FlowPOPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom
Communication dans un congrès
hal-04271457v1
|
||
|
Theorems for free from separation logic specificationsProceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-29. ⟨10.1145/3473586⟩
Article dans une revue
hal-03510684v1
|
||
|
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program VerificationESOP 2018 - 27th European Symposium on Programming, Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89884-1_19⟩
Communication dans un congrès
hal-01926485v1
|
||
|
Thunks and Debits in Separation Logic with Time CreditsPOPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom
Communication dans un congrès
hal-04238691v2
|
||
|
Proving full-system security properties under multiple attacker models on capability machinesCSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03826851v1
|
||
|
Mechanized Verification of the Correctness and Asymptotic Complexity of ProgramsProgramming Languages [cs.PL]. Université de Paris, 2019. English. ⟨NNT : ⟩
Thèse
tel-02437532v1
|
||
|
The ins and outs of iteration in Mezzo2013
Pré-publication, Document de travail
hal-00912381v1
|
||
|
Melocoton: A Program Logic for Verified Interoperability Between OCaml and COOPSLA 2023 - Object-Oriented Programming, Systems, Languages & Applications 2023, SIGPLAN, Oct 2023, Cascais, Portugal. ⟨10.1145/3622823⟩
Communication dans un congrès
hal-04203298v2
|
||
|
Formal Proof and Analysis of an Incremental Cycle Detection AlgorithmInteractive Theorem Proving, Sep 2019, Portland, United States
Communication dans un congrès
hal-02167236v1
|