نتائج البحث - "Rust (programming language)"

1

Conference

Creusot: a Foundry for the Deductive Verification of Rust Programs

المؤلفون: Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

المصدر: ICFEM 2022 - 23th International Conference on Formal Engineering Methods ; https://inria.hal.science/hal-03737878 ; ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain

مصطلحات موضوعية: Rust programming language, Deductive program verification, Aliasing and Ownership, Prophecies, Traits, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Spain

Time: Madrid, Spain

الاتاحة: https://inria.hal.science/hal-03737878
https://inria.hal.science/hal-03737878v1/document
https://inria.hal.science/hal-03737878v1/file/main.pdf

View record in BASE

2

Conference

On the Impact of Memory Safety on Fast Network I/O

المؤلفون: Sagramoni R., Lettieri G., Procissi G.

المساهمون: Sagramoni, R., Lettieri, G., Procissi, G.

مصطلحات موضوعية: Network I/O, Memory Safety, Fast Data Path, Rust Programming Language

Relation: info:eu-repo/semantics/altIdentifier/isbn/9798350363852; info:eu-repo/semantics/altIdentifier/wos/WOS:001300550200027; ispartofbook:IEEE International Conference on High Performance Switching and Routing, HPSR; IEEE International Conference on High Performance Switching and Routing, HPSR; firstpage:161; lastpage:166; numberofpages:6; https://hdl.handle.net/11568/1273073

الاتاحة: https://hdl.handle.net/11568/1273073
https://doi.org/10.1109/HPSR62440.2024.10635971

View record in BASE

3

Dissertation/ Thesis

The Spine: An efficient two-level dynamic B-Tree with fast selection

المؤلفون: Veismann, Jennifer

المساهمون: Carneiro Alves de Lima, Bruno Rucy, Tartu Ülikool. Loodus- ja täppisteaduste valdkond, Tartu Ülikool. Arvutiteaduse instituut

مصطلحات موضوعية: B-Trees, B-Tree insert, B-Tree delete, B-Tree search, Fenwick Tree, The Spine: B-Trees indexed by a Fenwick Tree, Rust programming language, select operation, B-Puu, bakalaureusetööd, informaatika, infotehnoloogia, informatics, infotechnology

وصف الملف: application/pdf

Relation: https://hdl.handle.net/10062/104968

الاتاحة: https://hdl.handle.net/10062/104968

View record in BASE

4

Dissertation/ Thesis

Vizualizacija peer-to-peer (P2P) distribuirane mreže u Rust programskom jeziku ; Visualization of a peer-to-peer (P2P) distributed network in the Rust programming language

المؤلفون: Blašković, Ivan

المساهمون: Lenac, Kristijan

مصطلحات موضوعية: TEHNIČKE ZNANOSTI. Računarstvo, TECHNICAL SCIENCES. Computing, peer-to-peer mreže, Rust programski jezik, knjižnica, vizualizacija, peer-to-peer networks, Rust programming language, library, vizualisation

وصف الملف: application/pdf

Relation: https://www.unirepository.svkri.uniri.hr/islandora/object/riteh:4807; https://urn.nsk.hr/urn:nbn:hr:190:725869; https://www.unirepository.svkri.uniri.hr/islandora/object/riteh:4807/datastream/PDF

الاتاحة: https://www.unirepository.svkri.uniri.hr/islandora/object/riteh:4807
https://urn.nsk.hr/urn:nbn:hr:190:725869
https://www.unirepository.svkri.uniri.hr/islandora/object/riteh:4807/datastream/PDF

View record in BASE

5

Dataset of Rust Unstable Feature Ecosystem-Level Analysis

المؤلفون: Li, Chenghao

المصدر: ICSE, International Conference on Software Engineering, Lisbon, Portugal, April 14-20 2024

مصطلحات موضوعية: Rust programming language, Rust ecosystem, Rust unstable feature, Dependency graph

Relation: https://doi.org/10.5281/zenodo.8289375; https://sites.google.com/view/ruf-study/home; https://github.com/ZJU-SEC/Cargo-Ecosystem-Monitor; https://doi.org/10.5281/zenodo.8289279; https://doi.org/10.5281/zenodo.11196042; oai:zenodo.org:11196042

الاتاحة: https://doi.org/10.5281/zenodo.11196042

View record in BASE

6

Demystifying Rust Unstable Features (Usage, Impacts, and Others) in the Rust Ecosystem

المؤلفون: Li, Chenghao, Wu, Yifei

المصدر: ICSE, International Conference on Software Engineering, Lisbon, Portugal, April 14-20 2024

مصطلحات موضوعية: Rust programming language, Rust ecosystem, Rust unstable feature, Dependency graph

Relation: https://doi.org/10.5281/zenodo.8289279; https://sites.google.com/view/ruf-study/home; https://github.com/ZJU-SEC/Cargo-Ecosystem-Monitor; https://doi.org/10.5281/zenodo.8289375; https://doi.org/10.5281/zenodo.10496086; oai:zenodo.org:10496086

الاتاحة: https://doi.org/10.5281/zenodo.10496086

View record in BASE

7

Dissertation/ Thesis

Enabling Rich Lightweight Verification of Rust Software

المؤلفون: Poli, Federico, id_orcid:0 000-0001-7709-1965

المساهمون: Müller, Peter, Summers, Alexander J., Jung, Ralf, Kunčak, Viktor

مصطلحات موضوعية: VERIFICATION (SOFTWARE ENGINEERING), Software Verification, Formal Verification, Deductive Verification, Rust (programming language), Separation Logic, First-order logic, SMT solvers, Software Engineering, info:eu-repo/classification/ddc/004, Data processing, computer science

وصف الملف: application/application/pdf

Relation: info:eu-repo/grantAgreement/SNF/Projekte MINT/169503; http://hdl.handle.net/20.500.11850/703796

الاتاحة: https://hdl.handle.net/20.500.11850/703796
https://doi.org/10.3929/ethz-b-000703796

View record in BASE

8

Dissertation/ Thesis

Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs

المؤلفون: Astrauskas, Vytautas

المساهمون: Müller, Peter, Marché, Claude, Summers, Alexander J., Vechev, Martin

مصطلحات موضوعية: VERIFICATION (SOFTWARE ENGINEERING), Rust (programming language), Separation logic, type systems, heap-manipulating programs, info:eu-repo/classification/ddc/004, Data processing, computer science

وصف الملف: application/application/pdf

Relation: info:eu-repo/grantAgreement/SNF/Projekte MINT/169503; http://hdl.handle.net/20.500.11850/677234

الاتاحة: https://hdl.handle.net/20.500.11850/677234
https://doi.org/10.3929/ethz-b-000677234

View record in BASE

9

Report

The CREUSOT Environment for the Deductive Verification of Rust Programs

المؤلفون: Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Inria Saclay - Île de France

المصدر: https://inria.hal.science/hal-03526634 ; [Research Report] RR-9448, Inria Saclay - Île de France. 2021.

مصطلحات موضوعية: Rust programming language, Formal Specification, Deductive verification, Aliasing and Ownership, Prophecies, Traits, Langage de programmation Rust, Spécification formelle, Vérification Déductive, Alias, Ownership, Prophéties, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]