Derniers articles pour Développement de logiciels

Examiner les facteurs qui mènent à la sous-production dans les projets open source.

Un nouveau système améliore l'efficacité et réduit les délais dans la gestion des tâches des modèles de langage.

Un nouvel outil évalue la capacité de Syzbot à trouver des bugs dans le noyau Linux.

Améliorer la sécurité des logiciels en identifiant les défauts de codage récurrents dans les projets open-source.

De nouveaux systèmes auto-réparateurs apprennent à se remettre des pannes sans aide humaine.

Un nouveau cadre améliore les performances des GPU pour les tâches d'apprentissage profond.

Un atelier met en avant les défis clés et les solutions en ingénierie de logiciels robotiques.

Un aperçu de comment le sens façonne la conception et l'évaluation des langages de programmation.

Un nouveau jeu de données améliore la détection des vulnérabilités dans les logiciels open-source pour une meilleure sécurité.

Combiner la simulation et l'analyse d'événements pour la validation logicielle.

TroVE simplifie la création de fonctions pour les tâches de programmation, améliorant la précision et l'efficacité.

MORPH adapte les systèmes de détection de malware aux menaces en évolution avec moins d'intervention manuelle.

Cet article parle du rôle du SATD dans la sécurité des logiciels.

Découvre le rôle des types d'intersection monadiques dans l'amélioration des systèmes de types des langages de programmation.

Une étude sur les rôles des développeurs payés et des bénévoles dans les projets Rust.

Un aperçu de l'amélioration de ROOT avec SYCL pour une analyse de données efficace.

Une nouvelle méthode simplifie la preuve des propriétés des programmes en utilisant la logique d'unréalisabilité.

Une étude sur l'amélioration des outils automatisés pour la simplification de code dans le développement logiciel.

Une nouvelle approche pour analyser en toute sécurité la complexité des programmes grâce à un contrôle des données publiées.

Apprends comment les types de session améliorent les protocoles de communication dans le développement logiciel.

Une nouvelle méthode combine l'IA et l'analyse statique pour de meilleures suggestions de code.

Apprends comment des outils d'analyse statique comme C Analyzer améliorent la fiabilité des logiciels.

OMP GPT se spécialise dans la génération de pragmas OpenMP pour un codage efficace en HPC.

Une étude sur l'impact des LLM dans les cours de génie logiciel à l'université.

Présentation de SERL : Un nouveau cadre pour des tâches d'apprentissage robotique efficaces.

MobFuzz améliore le fuzz testing avec une optimisation multi-objectifs pour une meilleure sécurité des logiciels.

Cette méthode améliore la précision du code grâce à l'apprentissage de fonctions réutilisables et au refactoring.

Découvrez comment ACADL simplifie la modélisation pour les accéléra­teurs matériels d'IA.

Un nouveau modèle soutient une communication efficace dans la programmation chorégraphique.

SPViz permet des outils de visualisation sur mesure pour mieux comprendre les projets logiciels.

Ce travail examine comment les LLM améliorent la détection de vulnérabilités dans le code Java.

ACAI simplifie la gestion des données et l'exécution des tâches pour les pros du machine learning.

Ce papier examine les injections de prompts et leurs implications pour les modèles d'IA.

PSSR2 améliore la qualité d'image et l'accessibilité pour la recherche en microscopie.

Apprends à créer des systèmes qui mettent le design convivial en priorité dès le départ.

Une nouvelle méthode améliore la génération de tests en utilisant de grands modèles de langage pour une meilleure couverture.

Rendre les tests de logiciel captivants pour les étudiants grâce à la gamification.

Cet article explore des méthodes pour utiliser GPT-3.5 afin d'automatiser efficacement les revues de code.

Combiner des LLM et la vérification formelle pour améliorer la précision et l'efficacité de la programmation.

Un outil qui combine Selenium et JUnit 5 pour simplifier les tests d'applications web.