27 artículos
Este trabajo presenta y evalúa una versión mejorada de la biblioteca modular `JoinActors` para Scala 3, que integra patrones de unión mediante metaprogramación para ofrecer una API intuitiva y permitir la comparación sistemática de algoritmos de coincidencia, logrando un rendimiento significativamente superior manteniendo la semántica justa original.
Este artículo presenta una técnica ligera y amortizada para seleccionar un subconjunto de anotaciones de tipo derivadas de la inferencia en programas de tipado gradual, logrando mejorar el tiempo de ejecución y mantener tiempos de compilación estables en Reticulated Python, superando así las limitaciones de enfoques anteriores.
El artículo presenta iScript, un modelo de lenguaje grande adaptado al dominio para la generación de scripts Tcl en diseño físico, junto con el benchmark iScript-Bench y una pipeline de síntesis de datos que, mediante entrenamiento especializado y un marco de verificación de dos pasos, supera a los modelos de lenguaje de última generación en la tarea de generación de scripts para EDA.
Este trabajo presenta SCORE, un lenguaje diseñado para manipular variables y pilas, y demuestra mediante un asistente de prueba que sus operaciones pueden interpretarse como biyecciones totales, superando así las limitaciones de las estrategias de reversibilización convencionales que generan funciones parciales.
Este artículo introduce los "árboles Ohana" como una nueva noción de aproximación para el cálculo I que preserva las variables ocultas o infinitas, estableciendo un teorema de conmutación con la expansión de Taylor y presentando un modelo denotacional basado en un sistema de tipos no idempotente modificado para caracterizar su teoría de igualdad.
Este artículo presenta el "razonamiento semiformal", una metodología estructurada que permite a los agentes de IA analizar la semántica del código sin ejecutarlo, mejorando significativamente la precisión en tareas como la verificación de parches, la localización de fallos y la respuesta a preguntas sobre código.
SpotIt+ es una herramienta de código abierto que evalúa sistemas de Texto-a-SQL mediante la búsqueda de instancias de bases de datos diferenciadoras, utilizando un pipeline de minería de restricciones para garantizar que los contraejemplos generados reflejen discrepancias relevantes en escenarios prácticos.