Informática - Ingeniería del software

Examinando el impacto y las lecciones del ciberataque DarkSeoul en Corea del Sur.

Una nueva herramienta para mejorar el rendimiento de la simulación de circuitos cuánticos.

Este estudio aborda el desperdicio en el desarrollo de software y ofrece estrategias de medición.

RepairBench establece puntos de referencia para comparar modelos de IA en la reparación de errores de software.

Aprende cómo el desarrollo moldeable transforma la comprensión del software con herramientas personalizadas.

Este estudio revela cómo los anuncios dificultan la accesibilidad en línea para usuarios con discapacidades.

Un nuevo sistema mejora la precisión y eficiencia de la traducción de código usando agentes especializados.

CRScore ofrece un método de evaluación innovador para valorar los comentarios de revisión de código sin referencias humanas.

Un nuevo enfoque mejora la detección de malware mientras resiste ataques adversariales.

Un nuevo enfoque para mejorar la detección de anomalías basada en logs usando modelos transformer.

Presentamos un lenguaje de programación enfocado en el rendimiento confiable de aplicaciones y la gestión de memoria.

Este artículo habla sobre lo comprensible que es el código Java decompilado y su importancia.

Explorando la conexión entre los rasgos de personalidad y la efectividad en la generación de código usando LLMs.

Explora cómo la síntesis de datos mejora el rendimiento y el entrenamiento de modelos de codificación.

Este estudio explora cómo los LLMs ayudan a los desarrolladores a entender los algoritmos cuánticos de manera efectiva.

VIEWER simplifica los datos de pacientes para profesionales de la salud mental.

DemoCraft mejora la generación de código a partir del lenguaje natural utilizando selección inteligente de ejemplos.

La investigación muestra que los LLMs pueden generar código sintético útil para enseñar.

La esperanza es esencial para la resiliencia, la motivación y la salud mental positiva.

La IA está transformando la forma en que abordamos las vulnerabilidades de software de manera efectiva.

Una mirada a los métodos para detectar errores en el software cuántico.

Un nuevo enfoque aumenta la eficiencia en la verificación de diseños de chips de computadora.

Investigando el papel de los LLM en la generación de especificaciones de software para verificación.

Una mirada a WASM y la importancia de la descompilación en la seguridad web.

Evaluando la relevancia de la ingeniería de prompts con los nuevos modelos de razonamiento.

Combinando IA con Dafny para simplificar los procesos de verificación de software.

Los Casos de Aseguramiento garantizan la fiabilidad, seguridad y claridad para el usuario del software.

Una mirada a las dificultades de identificar código generado por IA y mejoras por venir.

Una nueva forma de planear vuelos de cuadricópteros dibujando caminos.

Una iniciativa liderada por estudiantes que ofrece experiencia práctica en software para futuros ingenieros.

Examinando el uso de energía de asistentes de código como GitHub Copilot.

Explora cómo la suma en punto flotante afecta la precisión en los cálculos.

Las QNNs pueden cambiar cómo se prueban y manejan los sistemas de datos en el cuidado de la salud.

Mint captura y gestiona datos de trazabilidad de manera eficiente para obtener mejores insights.

Conexiones débiles pueden encender la innovación en proyectos de software.

Una mirada al potencial de los campamentos de codificación para mejorar el aprendizaje y las conexiones laborales.

Un nuevo método mejora la detección de vulnerabilidades en contratos inteligentes.

Aprende cómo la detección de anomalías protege los datos sensibles de amenazas.

Una mirada a cómo se identifican, corrigen y comparten las vulnerabilidades del software.

Una mirada profunda a los riesgos de seguridad de las extensiones de VS Code.