Informatique - Langages de programmation

Analyser les vulnérabilités des outils de complétion de code populaires et leurs implications pour les devs.

Un nouveau cadre simplifie les processus de compilation pour les accéléRATEurs de tenseurs en utilisant des LLM.

Apprends à utiliser Haskell pour la programmation relationnelle afin de gérer les données efficacement.

Combiner HW-NAS et ACO pour des réseaux de neurones efficaces.

Nouveau modèle de propriété améliore la gestion de la mémoire et la vérification dans les langages de bas niveau.

Un cadre pour réfléchir aux langages de programmation avec récursion et aléatoire.

Apprends à moderniser les systèmes mainframe avec des APIs pour une meilleure intégration.

Un nouvel algorithme améliore l'efficacité de la compilation des circuits quantiques en utilisant des chaînes de Pauli.

TCT propose une nouvelle façon de sécuriser les smart contracts Ethereum.

Une méthode pour corriger automatiquement les bugs logiciels en mettant l'accent sur la confidentialité et la sécurité.

Une méthode pour analyser des programmes afin de détecter des erreurs et d'améliorer la fiabilité.

Découvrez comment les dérivées personnalisées améliorent les processus de différentiation automatique en programmation et en apprentissage automatique.

Une nouvelle méthode pour l'estimation des ressources dans les circuits de calcul quantique.

Tyro améliore l'identification des erreurs de type pour les programmeurs, surtout les débutants.

Un nouveau système aide les utilisateurs aveugles à créer des technologies d'assistance personnalisées.

Tywaves améliore la clarté et la structure dans le débogage des conceptions matérielles Chisel.

Examiner les problèmes de la sécurité des types en Kotlin et les solutions possibles.

Une nouvelle méthode améliore la vérification des propriétés de sécurité dans des instances finies.

Améliorer les tests OpenMP grâce au CI/CD pour une meilleure performance des logiciels.

Un nouvel outil améliore la sécurité mémoire pour les applications WASM en utilisant du matériel moderne.

Apprends à rédiger des spécifications pour des programmes avec des comportements complexes.

Apprends à analyser la mémoire heap pour améliorer la performance de tes programmes.

Ce papier parle de l'importance de générer des solutions de code diversifiées.

Une nouvelle méthode améliore la traduction dans plusieurs langages de programmation.

Apprends à créer des structures de données efficaces pour les environnements de programmation concurrente.

Galley simplifie la programmation avec des tenseurs clairsemés, améliorant l'efficacité et la performance.

Ce papier présente une méthode pour créer automatiquement des sémantiques formelles en utilisant des interprètes.

Un nouveau système de types pour Elixir améliore la détection des erreurs et la clarté du code.

MetaFFI améliore l'intégration entre différentes langages de programmation sans effort.

Explorer de nouvelles méthodes pour une génération de programmes efficace.

Une nouvelle méthode améliore l'inférence grammaticale pour les langages de programmation avec une meilleure précision et lisibilité.

Un aperçu des techniques pour vérifier si des nombres sont divisibles par trois en utilisant miniKanren.

Explorer des méthodes pour protéger les infos grâce à des systèmes cryptographiques.

Cette étude évalue des modèles de langage large dans des défis de programmation en roumain.

Améliorer la génération de code en intégrant le contexte de programmation pour plus de précision.

Examen des LLM pour générer du code de programmation audio avec des langages visuels.

Un système pour enregistrer et rejouer des actions dans des applis WebAssembly.

Une nouvelle approche pour optimiser l'analyse points-à, en équilibrant rapidité et précision.

De nouvelles méthodes améliorent la détection de bugs dans les systèmes distribués en utilisant des techniques d'apprentissage par renforcement.

Mélanger des binaires peut causer des bugs dans la programmation concurrente, rendant la fiabilité du logiciel plus compliquée.