ACM SIGPLAN

organization · 8 menciones

Opportunity to serve as a SIGPLAN Officer. ... Conference sponsorship: PLDI, POPL, OOPSLA, ICFP, LCTES, ASPLOS (co-sponsored with SIGARCH), ISMM, VEE, PPoPP, HOPL, Haskell Symposium, GPCE, Onward!, DLS, SLE, CC, along with many workshops. ... Conference proceedings available for free on conference sites through ACM’s OpenTOC.

Noticias que mencionan ACM SIGPLAN

Enfoque incremental para la construcción de compiladores JIT educativos

La compilación just-in-time (JIT) se ha consolidado como una herramienta fundamental en los runtimes de lenguajes de programación, aunque su complejidad interna ha creado una brecha pedagógica entre los conceptos de compilación ahead-of-time (AOT) y la generación dinámica de código. Este artículo pr

Richard Feldman: arquitectura funcional para rendimiento en Go y Rust

La charla 'Functional Mechanical Sympathy', presentada por Richard Feldman en el workshop FUNARCH 2026, explora la intersección entre la programación funcional y la arquitectura de hardware. El ponente argumenta que, aunque Go y Rust son lenguajes imperativos, su creciente adopción en la industria s

Edward Lee defiende la concurrencia determinista en software distribuido

Edward Lee, de la Universidad de California en Berkeley, presenta en la conferencia ICFP 2026 una ponencia que desafía la convención tradicional de equiparar la concurrencia con el no determinismo. El autor argumenta que el determinismo debe interpretarse como una propiedad de los modelos de softwar

Cerberus: un modelo formal para esclarecer la semántica de C

El lenguaje C sigue siendo una pieza central de la infraestructura informática, pero su definición formal —el estándar ISO— se ha distanciado tanto de las propiedades que el código de sistemas asume como de las que los compiladores implementan, y ninguna de esas visiones está claramente caracterizad

Verificación fundamental de cotas de tiempo en programas interactivos

Investigadores del MIT, Carnegie Mellon, Google y ETH Zúrich presentan la primera cadena de herramientas de desarrollo de software capaz de generar demostraciones de primer principio sobre cotas temporales concretas para código máquina interactivo, manteniendo toda la programación y verificación a n

Unix y Smalltalk: una conexión inesperada

Esta charla, presentada en Onward! 2025, explora una conexión inusual entre dos sistemas de programación muy diferentes: Unix y Smalltalk. Joel Jakubovic argumenta que, a pesar de sus diferencias superficiales, existen similitudes fundamentales que pueden aprovecharse para mejorar a Unix sin comprom

Investigación de Lighterra: Referente en Informática

La colección de artículos y papers de Lighterra, liderada por Jason R. C. Patterson, abarca una impresionante variedad de temas en informática, desde el diseño de microprocesadores hasta la optimización de compiladores y la calidad de video en la web. El trabajo de Patterson, a menudo originado como