Explorer la sécurité et la conformité dans les technologies de santé propulsées par l'IA.
Tuomas Granlund, Vlad Stirbu, Tommi Mikkonen
― 10 min lire
La science de pointe expliquée simplement
Explorer la sécurité et la conformité dans les technologies de santé propulsées par l'IA.
Tuomas Granlund, Vlad Stirbu, Tommi Mikkonen
― 10 min lire
Derniers articles
Amila Indika, Christopher Lee, Haochen Wang
― 8 min lire
Timothy Huo, Ana Catarina Araújo, Jake Imanaka
― 8 min lire
Christophe Ponsard
― 8 min lire
Sidong Feng, Haochuan Lu, Jianqin Jiang
― 11 min lire
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
― 7 min lire
Une nouvelle approche améliore l'exécution symbolique en Python grâce à un grand modèle de langage.
Wenhan Wang, Kaibo Liu, An Ran Chen
― 8 min lire
Une nouvelle méthode renforce la confiance et la clarté dans les processus de vérification des logiciels.
Nick Feng, Lina Marsso, Marsha Chechik
― 9 min lire
Une nouvelle méthode améliore le test des DNN en combinant la sélection de caractéristiques avec une priorisation basée sur l'incertitude.
Jialuo Chen, Jingyi Wang, Xiyue Zhang
― 8 min lire
Une nouvelle méthode améliore la détection des défauts de produits dans la fabrication en utilisant l'apprentissage profond.
Altaf Allah Abbassi, Houssem Ben Braiek, Foutse Khomh
― 8 min lire
Un aperçu de l'application des métriques de test MCDC dans la programmation Rust.
Wanja Zaeske, Pietro Albini, Florian Gilcher
― 8 min lire
Cette étude met en avant les risques liés aux clones de code et leur gestion.
Reishi Yokomori, Katsuro Inoue
― 9 min lire
Une étude révèle comment le code défectueux affecte la qualité des cas de test des LLM.
Dong Huang, Jie M. Zhang, Mingzhe Du
― 7 min lire
Harden aide les utilisateurs à suivre leurs comportements et leurs pensées pour lutter contre l'addiction.
Nathan Henry
― 6 min lire
Utiliser des LLM pour estimer avec précision le coût et la durée des projets logiciels.
Justin Carpenter, Chia-Ying Wu, Nasir U. Eisty
― 9 min lire
Des commentaires de code incohérents peuvent causer des bugs et des soucis de logiciel.
Shiva Radmanesh, Aaron Imani, Iftekhar Ahmed
― 7 min lire
Points clés pour améliorer votre papier NeurIPS pour une meilleure évaluation.
Ana Nunez, Nafis Tanveer Islam, Sumit Kumar Jha
― 6 min lire
Cette étude évalue l'efficacité de différents LLMs pour identifier les vulnérabilités de code.
Shaznin Sultana, Sadia Afreen, Nasir U. Eisty
― 7 min lire
Examiner les problèmes de confidentialité liés aux SDK tiers dans les applications mobiles.
Mark Huasong Meng, Chuan Yan, Yun Hao
― 6 min lire
Un nouveau benchmark qui évalue les grands modèles de code dans des tâches de codage du monde réel.
Jia Feng, Jiachen Liu, Cuiyun Gao
― 7 min lire
Analyser les problèmes de performance de WASI avec un cadre basé sur eBPF pour de meilleures applications web.
Chenxi Mao, Yuxin Su, Shiwen Shan
― 8 min lire
Explore les causes et les solutions pour les tests instables qui perturbent le développement logiciel.
Alexander Berndt, Thomas Bach, Sebastian Baltes
― 7 min lire
Le modèle GPT-O1 montre de meilleures capacités de correction de bugs par rapport aux versions précédentes.
Haichuan Hu, Ye Shang, Guolin Xu
― 7 min lire
Cet article explore les défis et les risques liés aux informations sensibles dans les journaux de logiciels.
Roozbeh Aghili, Heng Li, Foutse Khomh
― 9 min lire
Un système intelligent qui simplifie le codage grâce à des solutions alimentées par l'IA.
Anmol Gautam, Kishore Kumar, Adarsh Jha
― 7 min lire
Un nouvel environnement RL vise à améliorer l'optimisation du code pour le compilateur MLIR.
Nazim Bendib, Iheb Nassim Aouadj, Riyadh Baghdadi
― 8 min lire
Une nouvelle méthode améliore les commentaires de relecture de code automatisés en utilisant l'expérience des relecteurs.
Hong Yi Lin, Patanamon Thongtanunam, Christoph Treude
― 8 min lire
Examiner la programmation par prompts et son impact sur la création de logiciels et l'expérience utilisateur.
Jenny T. Liang, Melissa Lin, Nikitha Rao
― 7 min lire
Cette étude évalue l'efficacité des LLM dans des tâches de découpage de programme statiques et dynamiques.
Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle
― 8 min lire
Un aperçu détaillé des modèles de charge de travail dans les applications web pour une meilleure gestion des ressources.
Roozbeh Aghili, Qiaolin Qin, Heng Li
― 9 min lire
vMocks simplifie la vérification formelle, améliorant la sécurité et la fiabilité des logiciels.
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
― 7 min lire
Les bots simplifient les tâches et améliorent la collaboration en ingénierie logicielle.
Stefano Lambiase, Gemma Catolino, Fabio Palomba
― 7 min lire
Une étude sur comment la dette technique impacte les projets de deep learning.
Federica Pepe, Fiorella Zampetti, Antonio Mastropaolo
― 8 min lire
Cet article passe en revue les nouveaux modèles de codage d'OpenAI et leur performance dans les applications web.
Yi Cui
― 6 min lire
Cette étude évalue la performance des grands modèles de code dans les suggestions d'API.
Chaozheng Wang, Shuzheng Gao, Cuiyun Gao
― 7 min lire
RepoGenReflex améliore la complétion de code en apprenant des expériences passées et en proposant des suggestions pertinentes.
Jicheng Wang, Yifeng He, Hao Chen
― 7 min lire
Cet article parle d'une nouvelle méthode pour générer des preuves de correction en Rust.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu
― 6 min lire
PromSec optimise les invites pour générer du code sécurisé et fonctionnel avec les LLM.
Mahmoud Nazzal, Issa Khalil, Abdallah Khreishah
― 9 min lire
Examiner comment les biais dans les LLMs affectent le recrutement des équipes de développement.
Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula
― 7 min lire
Des recherches montrent comment les fonctions auxiliaires améliorent la génération de code dans les modèles ajustés par instruction.
Seonghyeon Lee, Suyeon Kim, Joonwon Jang
― 6 min lire
Une étude sur les défis des étudiants et les stratégies dans les tâches de modélisation logicielle.
Shalini Chakraborty, Javier Troya, Lola Burgueño
― 13 min lire
Une nouvelle méthode améliore la détection de bugs dans les logiciels en utilisant des agents LLM et une stratégie de division et conquête.
Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen
― 9 min lire
Les contrats proxy sur Ethereum offrent des avantages mais présentent des problèmes de sécurité importants.
Cheng-Kang Chen, Wen-Yi Chu, Muoi Tran
― 8 min lire
Une approche automatisée améliore l'analyse des logs et le diagnostic des pannes dans les services en ligne.
Junjie Huang, Zhihan Jiang, Jinyang Liu
― 10 min lire
Des chercheurs développent des méthodes pour un meilleur code d’automatisation de la gestion des données grâce à des exemples riches en contexte.
Junjie Huang, Daya Guo, Chenglong Wang
― 8 min lire
Les outils d'IA changent la façon dont les développeurs bossent et améliorent le processus de développement logiciel.
Shidong Pan, Litian Wang, Tianyi Zhang
― 8 min lire