Últimos artículos para Desarrollo de software

Analizando el comportamiento y la terminación de bucles de restricciones lineales en programación.

Un nuevo sistema optimiza las tareas de diseño 3D en Blender con modelos de IA avanzados.

Simplificando el análisis de grandes conjuntos de datos en proteómica e interáctomica con ThunderBolt.

Un nuevo marco mejora los métodos de verificación de compiladores para una mejor precisión.

Un marco unificado para mejorar los procesos de depuración de software.

ALock simplifica la sincronización en RDMA, mejorando el rendimiento y reduciendo la latencia.

Una visión general de los métodos de prueba para bibliotecas de aprendizaje profundo y su importancia.

Un estudio revela vulnerabilidades en el código producido por modelos de lenguaje grandes.

Descubre cómo la verificación de modelos HyperLTL mejora la seguridad de los sistemas de software.

Tenspiler simplifica la adaptación de código, permitiendo a los desarrolladores mantenerse al día con los cambios tecnológicos.

Aprende cómo la lógica dinámica ayuda a verificar el comportamiento del programa de manera efectiva.

Un nuevo sistema de tipos mejora la generación de C++ a partir de especificaciones de Isabelle/HOL, aumentando la precisión.

Un estudio sobre la efectividad de las herramientas SAST para contratos inteligentes.

Converter simplifica el despliegue de aplicaciones en entornos de nube y de borde.

Un nuevo marco para evaluar el rendimiento de los sistemas RAG.

La inteligencia de carga de trabajo cierra la brecha entre las plataformas en la nube y las cargas de trabajo, mejorando el rendimiento.

Un nuevo método detecta carreras de datos con mejor precisión y bajo costo.

Esta herramienta mejora la conversión de código a Rust, centrándose en la seguridad y la legibilidad.

Este artículo habla sobre los avances de PyLaia en el reconocimiento de texto usando modelos de lenguaje.

Una mirada a las amenazas de seguridad que presentan los LLMs de código ajustados por instrucciones.

Ethraid ayuda a los investigadores a estudiar compañeros de estrellas distantes con datos limitados.

SUGAR simplifica el álgebra geométrica para ingenieros y matemáticos usando Matlab.

Nuevos componentes mejoran la eficiencia de memoria y la velocidad de procesamiento en la generación 3D.

Aprende a determinar cuándo los programas que usan aleatoriedad dejarán de ejecutarse.

Un vistazo a cómo comparamos y analizamos los comportamientos del sistema usando varias técnicas.

Este artículo explora el sesgo en los modelos de generación de código en diferentes lenguajes.

Evaluando la fiabilidad de los resúmenes producidos por IA para mejorar el mantenimiento del software.

Una visión general de las alucinaciones de código en los LLMs y su impacto en el desarrollo de software.

N nuevas métricas buscan mejorar la seguridad y la corrección del código con LLMs.

Berrify refuerza la seguridad de BPF contra las vulnerabilidades de Spectre sin sacrificar el rendimiento.

WorkBench prueba la habilidad de los agentes para realizar tareas de oficina realistas con un método de evaluación único.

Un estudio sobre el uso de Bazel para construir CI más rápido.

Aprende cómo los stack traces pueden mejorar los esfuerzos de solución de errores en el desarrollo de software.

Explora los beneficios de la nueva unidad de computación MI300A de AMD para aplicaciones de alto rendimiento.

Un nuevo enfoque para mejorar la detección de clones de código en proyectos de software.

Un nuevo modelo busca cerrar las brechas legales y de ingeniería en el cumplimiento de software.

Introducir bugs artificiales puede aumentar la participación en los programas de recompensas por errores.

La IA está transformando la forma en que escribimos y probamos la corrección del código.

Una mirada al lema de compacidad y su papel en las funciones de programación recursiva.

Explorando cómo los Modelos de Lenguaje Grandes están transformando la solución de errores de software.