Informática - Ingeniería del software

Una mirada a los grandes modelos de lenguaje para la programación y su ecosistema.

AbstractBeam mejora la síntesis de programas, aprovechando la generación de código eficiente a través del Aprendizaje de Bibliotecas.

Un análisis de cómo las empresas contribuyen a y se benefician del software de código abierto.

Aprende cómo los conceptos de aprendizaje automático ayudan a definir los límites de pruebas para el software.

Mejorando la capacidad de los LLMs para refinar su código a través de técnicas de autodepuración.

Examinando los avances y desafíos en la automatización de la Ingeniería Dirigida por Modelos.

Nuevos métodos mejoran la comprensión del código binario a través de enfoques innovadores.

Entender los factores humanos es clave para desarrollar vehículos automatizados seguros.

Una mirada a los desafíos de seguridad y soluciones para el hardware en la nube.

Un nuevo método mejora la autocompletación de código usando análisis de flujo de datos.

Un estudio sobre fallos de seguridad en la verificación de direcciones de contratos inteligentes y un método propuesto para su detección.

Este estudio evalúa el rendimiento de los LCGMs en tareas de codificación en inglés y chino.

Examinando cómo las herramientas de IA generativa impactan la productividad de los profesionales del software.

Nuevos métodos mejoran la detección de esquemas Ponzi en inversiones de criptomonedas.

Este marco utiliza múltiples agentes y gráficos de tareas para resolver problemas de manera eficiente.

Mejorar el acceso a los artefactos de investigación mejora los esfuerzos de calidad en los requisitos del software.

Un método nuevo para entrenar modelos de código centrado en la semántica y el comportamiento de ejecución.

Un método innovador mejora la eficiencia de la corrección de errores usando parches generados por LLM.

Aprende cómo los Gemelos Digitales pueden mejorar el diseño y la operación de vehículos de lanzamiento espacial.

Un nuevo enfoque para mejorar el fuzzing basado en generadores al centrarse en los tipos de datos.

Una guía para transformar código Python no idiomático usando técnicas modernas.

Aprende sobre técnicas de fuzzing para mejorar la seguridad de las aplicaciones web.

StackSight transforma WebAssembly en código C++ legible usando técnicas de IA.

Nuevos algoritmos mejoran la velocidad y precisión de la selección de características en modelos estadísticos.

La validación y verificación tempranas aseguran que los sistemas cumplan con las necesidades y minimicen errores costosos.

Nuevo método evalúa la confiabilidad de las predicciones de ML automáticamente.

Explorando métodos para una clasificación multi-etiqueta efectiva en el desarrollo de software.

Una nueva métrica para medir lo difícil que es compilar lenguajes de programación.

Usando IA para automatizar la vectorización, mejorando la eficiencia y la corrección del código.

Un nuevo marco mejora la creación de mensajes de commit a través de la automatización.

Explorando cómo los dispositivos pueden colaborar para mejor eficiencia y rendimiento.

Explora estrategias para asegurar la calidad del software en entornos de desarrollo colaborativo abiertos.

Una visión general de las pruebas metamórficas y su papel en la calidad del software.

Este estudio evalúa cómo GPT-4 ayuda en tareas de ingeniería inversa.

M2CVD mejora la detección de vulnerabilidades de software a través de enfoques de modelo colaborativo.

Un enfoque novedoso mejora la detección de vulnerabilidades de seguridad en software usando modelos avanzados.

Un nuevo estándar para evaluar LLMs para tareas de programación en Java.

Un nuevo método mejora los modelos de lenguaje de código a través de casos de prueba efectivos y aprendizaje de preferencias.

Este documento presenta un método para asegurar la calidad en el código generado por LLM.

Los avances en la computación cuántica exigen pruebas y depuración efectivas para tener software confiable.