Informatique - Langages de programmation

Un aperçu de la vérification de programmes par vérification de modèles face à des comportements complexes.

Cet article parle des idées clés en syntaxe, sémantique et de leurs applications.

Étapes clés pour garantir une soumission anonyme de papier et l'équité de l'évaluation.

Ce papier explore l'impact de la logique multirôle sur les opérations logiques et les systèmes de communication.

Apprends des méthodes pour créer des scénarios pessimistes pour des programmes concurrents.

Un regard sur les gradations et leur rôle dans la gestion des effets computationnels dans les monades.

LoopTune optimise le code de machine learning avec du deep reinforcement learning pour de meilleures performances.

Une nouvelle méthode simplifie la vérification des programmes concurrents à travers différents modèles de mémoire.

Une nouvelle approche pour s'assurer que les programmes quantiques et classiques mixtes sont corrects.

Apprends comment les APIs vérifiées améliorent la fiabilité et la performance du SDN.

Un nouvel algorithme simplifie la représentation R1CS pour une meilleure clarté et efficacité des ZKP.

Une méthode pour suivre les messages d'application pour la sécurité et la fiabilité.

Un aperçu de la gestion de la confidentialité et de l'intégrité dans les langages de programmation.

Une nouvelle méthode pour enseigner les concepts de propriété de Rust améliore la compréhension des apprenants.

Cet article parle d'un nouveau langage de programmation pour rendre les tests basés sur des propriétés plus faciles.

Explorer les galères que rencontrent les devs avec le système de traits de Rust et ses messages d'erreur.

Cet article compare Llama-2 et GPT-3 dans la génération de code HPC.

Les LLM améliorent la performance des logiciels et l'efficacité dans l'optimisation du code.

Explorer comment les types de données influencent la programmation et la justesse du code.

Latte simplifie le suivi des références d'objets, rendant la vie plus facile pour les développeurs.

Un aperçu des modèles de programmation GPU pour un calcul efficace.

On vous présente une méthode pour créer des ensembles de données de bogues précis et variés pour améliorer les logiciels.

Une nouvelle approche améliore la navigation dans le code pour les spécifications de langages logiciels en ligne.

Découvre une nouvelle méthode pour bosser avec des distributions conjointes en programmation probabiliste.

CRIL combine réversibilité et concurrence pour une programmation efficace.

Cet article présente un système de types pour gérer les verrous en programmation.

Le déclin de la recherche sur le SOS amène à se pencher sur ses perspectives d'avenir.

Apprends comment les types de session garantissent une communication sûre dans les systèmes logiciels.

Rebeca chronométre modélise des systèmes asynchrones avec une gestion des messages sensible au temps.

Apprends à connaître la génération de code, les techniques d'optimisation et leur importance en prog.

Une nouvelle approche pour vérifier la justesse des programmes qui utilisent de l'aléa.

L'informatique analogique offre des avantages uniques pour le traitement des données en temps réel et les tâches spécialisées.

Une théorie des types à deux niveaux relie les preuves logiques et la programmation pratique.

Un aperçu des catégories différentielles cartésiennes et de leur pertinence en mathématiques et en informatique.

Un nouveau compilateur améliore les capacités du CGRA pour diverses applications logicielles.

Btor2MLIR propose une chaîne d'outils flexible pour une vérification matérielle efficace.

Un aperçu de comment la mémoïsation stochastique améliore la programmation probabiliste.

Explorer les capacités de Julia dans le modèle de diffusion-réaction de Gray-Scott pour le HPC.

Une analyse de CUDA et SYCL dans les recherches de bases de données de protéines.

Une nouvelle approche améliore l'entraînement des modèles de substitution dans le développement logiciel.