ACM SIGPLAN Courses

Zero-Overhead Parallel Scans for Multi-Core CPUs - ARRAY 2024

Explora técnicas avanzadas de escaneo paralelo para CPUs multi-núcleo, optimizando el rendimiento sin sobrecarga y mejorando la eficiencia en lenguajes de matrices.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Apple Array Allocation - Static Memory Management for Flat, Immutable Arrays

Presentación sobre asignación de memoria estática para arrays planos e inmutables en el sistema Apple Array, un compilador JIT para un lenguaje funcional orientado a expresiones.

• YouTube
• 23 minutes
• On-Demand
• Free Video

An LLP (q, k) Parser Generator for Data Parallel Parsing

Implementación y evaluación de un generador de analizadores sintácticos LLP(q,k) para JSON, con énfasis en el paralelismo de datos y comparación de rendimiento.

• YouTube
• 23 minutes
• On-Demand
• Free Video

Uncertainty and My Scientific Journey

Exploración de la incertidumbre en la carrera académica, desde el posgrado hasta la titularidad, ofreciendo perspectivas sobre cómo navegar los desafíos y el estrés mental en el camino científico.

• YouTube
• 41 minutes
• On-Demand
• Free Video

A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption

Introduces Fhelipe, an FHE compiler with automatic data packing, simplifying programming and matching hand-optimized performance for large applications like neural networks.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Verified Extraction from Coq to OCaml

Présentation d'une nouvelle méthode d'extraction vérifiée de Coq vers OCaml, implémentée et prouvée en Coq, offrant des garanties de correction et d'interopérabilité sûre avec du code non vérifié.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers

Proposes a foundational theory of typed data streams and transformers, introducing stream types with operators for sequential and parallel composition, supporting deterministic stream processing on parallel systems.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Equivalence by Canonicalization for Synthesis-Backed Refactoring

Introduces a program synthesis framework for refactoring code to use library components, employing equivalence by canonicalization for checking without examples or specifications. Demonstrates applications in Elm and Python.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Compilation of Qubit Circuits to Optimized Qutrit Circuits

Explores an optimizing compiler for qutrit circuits implementing qubit computations, demonstrating significant depth and fidelity improvements over manual implementations and traditional qubit circuits.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Hashing Modulo Context-Sensitive Alpha-Equivalence - PLDI 2024

Presenta una técnica eficiente de hashing para identificar términos lambda equivalentes en contexto, mejorando algoritmos previos y permitiendo compartir subestructuras en grafos de conocimiento matemático.

• YouTube
• 21 minutes
• On-Demand
• Free Video

A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation - PLDI 2024

Presenta una familia de esquemas de recuperación de memoria no bloqueantes llamados Crystalline, que abordan los desafíos de alto rendimiento, eficiencia de memoria y espera libre en sistemas concurrentes.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Bridging the Gap for Security Analysis in Infer

Exploración de mejoras para ampliar la cobertura de análisis de seguridad en Infer, enfocándose en vulnerabilidades de software actualmente fuera de su alcance y estrategias de implementación.

• YouTube
• 40 minutes
• On-Demand
• Free Video

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications

Dynamic predictive analysis technique for detecting unserializable behaviors in weakly isolated data store applications, introducing novel methods to handle divergent behavior and balance coverage, precision, and performance.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ChoRus: Library-Level Choreographic Programming in Rust

ChoRus: Un framework de programación coreográfica a nivel de biblioteca para Rust. Implementa proyección de puntos finales mediante inyección dinámica de operadores coreográficos personalizados según el nodo objetivo.

• YouTube
• 21 minutes
• On-Demand
• Free Video

Classical Simulation of Quantum Circuits with Partial Interference Effects

Explora la simulación clásica de circuitos cuánticos con efectos de interferencia parcial, mejorando la eficiencia en algoritmos cuánticos comunes mediante un modelo de concurrencia.

• YouTube
• 22 minutes
• On-Demand
• Free Video