27 artículos
Este artículo demuestra que una derecha actegoría con objetos hom es equivalente a una categoría enriquecida a la derecha con copotencias, extendiendo este resultado a bases monoidales no cerradas y no simétricas para fundamentar la semántica de procesos de orden superior en el lenguaje concurrente CaMPL.
Este estudio presenta el primer análisis a gran escala del uso de aritmética de punto flotante en repositorios públicos de GitHub para lenguajes estáticamente tipados, revelando que, aunque algunos benchmarks existentes son representativos, el código real presenta matices que requieren nuevas evaluaciones y proporcionando un conjunto de datos de 10 millones de funciones para guiar el desarrollo futuro de técnicas de razonamiento.
El artículo presenta Turn, un lenguaje de programación compilado y basado en actores diseñado específicamente para el software agéntico, que garantiza la seguridad y la autonomía mediante primitivas de tipo cognitivo, un operador de confianza, un modelo de procesos aislado, un sistema de identidad basado en capacidades y la absorción de esquemas en tiempo de compilación para integrar modelos de lenguaje grandes de forma segura y controlada.
El artículo presenta Arbiter, un marco de evaluación que combina reglas formales y el escaneo con múltiples modelos de lenguaje para detectar patrones de interferencia en los prompts de sistema de agentes de codificación, revelando vulnerabilidades críticas y correlaciones arquitectónicas en herramientas de Anthropic, OpenAI y Google por un costo mínimo.
Este artículo formaliza el concepto de rebanadas idempotentes y presenta un algoritmo eficiente para extraerlas en forma GSA, permitiendo una reducción de tamaño de código mediante la fusión de instrucciones no contiguas, lo que logra disminuciones de hasta un 7,24% en ciertos benchmarks de LLVM.
El artículo presenta vLLM Hook, un complemento de código abierto que habilita la programación de estados internos en modelos vLLM mediante modos pasivo y activo, permitiendo aplicaciones como la detección de inyección de prompts, la mejora de RAG y la orientación de activaciones.
Este artículo presenta un enfoque que extiende la minería de especificaciones más allá de las abstracciones booleanas mediante la combinación de síntesis guiada por sintaxis y una interpretación de lógica temporal (TSL) para aprender transformaciones de datos y especificaciones temporales, demostrando una mayor eficiencia y robustez en la síntesis de programas reactivos en entornos de aprendizaje automático.
El artículo presenta PolyBlocks, una infraestructura de compilación modular basada en MLIR para frameworks de IA y chips que automatiza la generación de código de alto rendimiento mediante optimizaciones avanzadas, logrando un rendimiento comparable o superior a soluciones existentes como Torch Inductor y XLA.
Este artículo presenta tres enfoques complementarios para superar las limitaciones de los registros actuales de actividad creativa, que capturan cambios de estado sin preservar la intención o las relaciones de alto nivel, mediante una interfaz basada en nodos para la gestión de artefactos de IA generativa, un vocabulario de señales visuales para la autoría de visualizaciones y un modelo de programación que integra historias semánticas directamente en el estado de interacción.
El artículo presenta EAGLE-Pangu, un sistema reproducible que adapta la decodificación especulativa en árbol al backend Pangu en NPUs Ascend mediante gestión de caché explícita y tensorización segura para el acelerador, logrando mejoras de rendimiento de hasta 2.46x en comparación con la decodificación greedy tradicional.
Este trabajo desarrolla un marco teórico de especificaciones GSOS abstractas para lenguajes de orden superior, representando su semántica operacional mediante transformaciones dinaturales llamadas leyes GSOS de orden superior puntuadas, lo que permite demostrar resultados generales de composicionalidad aplicables a sistemas como el cálculo SKI y el cálculo lambda.
El artículo presenta VyZX, una biblioteca verificada que permite el razonamiento formal sobre lenguajes gráficos inductivos definidos desde la teoría de categorías, aplicándose específicamente para demostrar la corrección de las reglas de reescritura del cálculo ZX en computación cuántica e integrando una herramienta visual para ingenieros de pruebas.
El artículo presenta RightTyper, un enfoque híbrido novedoso para Python que genera anotaciones de tipos precisas y fundamentadas en el comportamiento real del programa mediante muestreo adaptativo, logrando una mayor calidad que los métodos anteriores con un sobrecosto de ejecución de solo aproximadamente el 27%.
Este artículo presenta una teoría de localidad totalmente simbólica que deriva polinomios de rendimiento de caché para bucles afines, logrando una precisión del 99,6% en la predicción de fallos de caché con un tiempo de análisis rápido y escalable.
Estas notas de clase ofrecen una breve introducción a la teoría de categorías aplicada a la programación funcional, centrándose en las álgebras iniciales para caracterizar tipos de datos y funciones recursivas, y en las mónadas para modelar efectos, incluyendo numerosos ejercicios con soluciones.
Este trabajo presenta "Linear Layouts", un enfoque novedoso que modela la disposición de tensores mediante álgebra lineal sobre para generar código eficiente, permitir conversiones genéricas entre layouts y reducir la complejidad en compiladores como Triton.
El artículo presenta ZipLex, un marco de análisis léxico invertible y verificado formalmente que garantiza una complejidad temporal lineal y la propiedad de inversa mutua entre la lexación y la impresión, superando las limitaciones de rendimiento de enfoques anteriores como Verbatim++ y Coqlex.
El artículo propone la edición estructurada híbrida, un enfoque que permite a los creadores de herramientas definir y garantizar restricciones estructurales en el código mientras ofrece a los usuarios una interfaz de edición de texto familiar y consistente.
Este artículo examina las trampas específicas al implementar máquinas virtuales en CHERI, utilizando la portación de CRuby como estudio de caso para identificar y proponer soluciones a los problemas derivados de suposiciones sobre comportamientos indefinidos en C que son inválidos bajo el modelo de seguridad de memoria más estricto de CHERI.
Este estudio evalúa la eficacia de nueve modelos de lenguaje de última generación en un curso de programación funcional utilizando OCaml, un lenguaje de bajo recurso, mediante tres nuevos benchmarks (CodeGen, Repair y Explain) que demuestran que, aunque estos modelos son efectivos para corregir errores y responder conceptos básicos, su capacidad para resolver problemas de tarea es significativamente menor que en lenguajes de alto recurso como Python o Java.