Derniers articles pour Développement de logiciels

Une nouvelle plateforme et un nouveau jeu de données visent à améliorer les modèles de correction de bugs pour le noyau Linux.

ResearchBot aide les développeurs en les connectant avec des idées de recherche académique.

Cette étude évalue à quel point GPT-3.5 et GPT-4 détectent les clones de code.

Une étude sur l'amélioration de la sécurité du code généré par des modèles d'IA.

Une méthode utilisant des modèles superposés pour des prédictions efficaces en apprentissage automatique.

Cet article parle d'une nouvelle méthode pour protéger les données confidentielles dans les applications de messagerie.

MIREncoder améliore l'optimisation du code en utilisant une représentation multi-modale et l'apprentissage automatique.

Un cadre en deux étapes améliore l'inférence de types de Python, augmentant la qualité et l'efficacité du code.

Explore comment la vérification à l'exécution aide à vérifier la performance des systèmes à travers des traces d'événements.

Les modèles de langue avancés améliorent les tests automatisés des applis mobiles, détectant des bugs cruciaux.

Une méthode améliorant la vérification des programmes probabilistes d'ordre supérieur en utilisant de nouveaux systèmes de types.

Talkamatic améliore les chatbots en optimisant la gestion des dialogues pour les interactions utilisateur.

Un nouveau benchmark s'attaque aux défis de la récupération de code pour les développeurs.

Un aperçu des nouvelles méthodes qui améliorent l'efficacité de la planification des circuits électroniques.

Un nouvel outil améliore la fusion Git en analysant les dépendances de code.

Un nouveau cadre s'attaque à l'équité dans les réseaux de neurones profonds pendant l'élagage du modèle.

Un nouveau cadre aide les non-experts à utiliser l'informatique quantique pour résoudre des problèmes d'optimisation.

Un aperçu détaillé de la façon dont les LLM de code gèrent les transformations dans le code.

Un nouveau système améliore le service des modèles ML en combinant précision et montée en charge matérielle.

ESBMC-Python aide à vérifier la correctitude du code Python en utilisant des annotations de type et un modèle de vérification bornée.

Une nouvelle méthode améliore la précision de génération de code HDL en utilisant des LLM.

Découvrez comment les CFDGs améliorent les tests logiciels en clarifiant les chemins de décision.

Un aperçu des classements des modèles de fondation et de leurs problèmes d'évaluation.

Mettre à jour les systèmes anciens est super important pour l'efficacité et la sécurité des entreprises.

Un outil rapide vérifie les modèles BPMN pour les erreurs, garantissant des processus d'affaires fluides.

Cet article présente un cadre pour la génération automatisée de bancs d'essai en utilisant des LLM.

Un nouveau cadre garantit que les optimisations du compilateur préservent la justesse des programmes.

Explore le rôle des arbres binaires de recherche dans l'organisation des données et la performance.

Synbciatr corrige automatiquement les cas de test obsolètes dans le développement logiciel.

BM25S offre un score rapide des documents pour une récupération d'infos efficace.

Un regard sur le code inaccessible et son impact sur l'efficacité de la programmation.

Cette étude explore le rôle des couches feed-forward dans les modèles de langage de code.

Les dernières fonctionnalités de FeynGrav améliorent la recherche en gravité quantique et boostent l'efficacité des calculs.

Explorer les problèmes d'hallucination de code dans les modèles de programmation AI.

Cette étude explore comment des éléments de jeu peuvent inciter les étudiants à contribuer aux logiciels open source.

Découvre comment la recherche-action améliore les pratiques en ingénierie logicielle grâce à la collaboration et la réflexion.

Explore les dernières fonctionnalités et applications du package ipie pour AFQMC.

Apprends comment l'ethnographie améliore la compréhension des pratiques en ingénierie logicielle.

MindSpore Quantum simplifie le développement et la simulation d'algorithmes quantiques.

Examine les défis de sécurité avec les logiciels open-source, surtout dans le langage de programmation Go.