Últimos artículos para Desarrollo de software

Examinando los factores que llevan a la subproducción en proyectos de código abierto.

Un nuevo sistema mejora la eficiencia y reduce los retrasos en el manejo de tareas de modelos de lenguaje.

Una nueva herramienta evalúa la capacidad de Syzbot para encontrar errores en el núcleo de Linux.

Mejorando la seguridad del software al identificar fallos de codificación recurrentes en proyectos de código abierto.

Nuevos sistemas de autsanación aprenden a recuperarse de fallos sin ayuda humana.

Un nuevo marco mejora el rendimiento de la GPU para tareas de aprendizaje profundo.

Un taller destaca los desafíos y soluciones clave en la ingeniería de software de robótica.

Una mirada a cómo el significado influye en el diseño y la evaluación de lenguajes de programación.

Un nuevo conjunto de datos mejora la detección de vulnerabilidades en software de código abierto para una mejor seguridad.

Combinando simulación y análisis de eventos para la validación de software.

TroVE simplifica la creación de funciones para tareas de programación, mejorando la precisión y la eficiencia.

MORPH adapta los sistemas de detección de malware a las amenazas en evolución con menos intervención manual.

Este artículo habla sobre el papel del SATD en la seguridad del software.

Descubre el papel de los tipos de intersección monádica en la mejora de los sistemas de tipos de lenguajes de programación.

Un estudio sobre los roles de los desarrolladores pagos y los voluntarios en proyectos de Rust.

Una mirada a mejorar ROOT con SYCL para un análisis de datos eficiente.

Un nuevo método simplifica la prueba de propiedades de programas usando lógica de no realizabilidad.

Un estudio sobre cómo mejorar las herramientas automatizadas para simplificar el código en el desarrollo de software.

Un nuevo enfoque para analizar de manera segura la complejidad de los programas a través de la liberación controlada de datos.

Aprende cómo los tipos de sesión mejoran los protocolos de comunicación en el desarrollo de software.

Un nuevo método combina IA y análisis estático para mejores sugerencias de código.

Aprende cómo herramientas de análisis estático como C Analyzer mejoran la confiabilidad del software.

OMP GPT se especializa en generar pragmas de OpenMP para codificación eficiente en HPC.

Un estudio sobre el impacto de los LLM en los cursos de ingeniería de software en la universidad.

Presentando SERL: Un nuevo marco para tareas de aprendizaje eficiente de robots.

MobFuzz mejora las pruebas de fuzz con optimización de múltiples objetivos para una mejor seguridad del software.

Este método mejora la precisión en la codificación a través del aprendizaje de funciones reutilizables y la reestructuración.

Descubre cómo ACADL simplifica el modelado para aceleradores de hardware de IA.

Un nuevo modelo apoya una comunicación eficiente en la programación coreográfica.

SPViz permite herramientas de visualización personalizadas para entender mejor los proyectos de software.

Este trabajo examina cómo los LLMs mejoran la detección de vulnerabilidades en el código Java.

ACAI simplifica la gestión de datos y la ejecución de trabajos para los profesionales del machine learning.

Este documento examina las inyecciones de prompts y sus implicaciones para los modelos de IA.

PSSR2 mejora la calidad de imagen y la accesibilidad para la investigación en microscopía.

Aprende a crear sistemas que prioricen un diseño fácil de usar desde el principio.

Un nuevo método mejora la generación de pruebas usando modelos de lenguaje grandes para tener mejor cobertura.

Haciendo que las pruebas de software sean más interesantes para los estudiantes a través de la gamificación.

Este artículo explora métodos para usar GPT-3.5 y automatizar revisiones de código de manera efectiva.

Combinando LLMs y verificación formal para mejorar la precisión y eficiencia en la programación.

Una herramienta que combina Selenium y JUnit 5 para simplificar las pruebas de aplicaciones web.