arXiv
Citas de arXiv — el repositorio abierto de preimpresiones — sobre lenguajes de programación y compiladores (cs.PL, cs.SE, cs.LO), compresión de video e imagen (cs.MM, cs.CV, eess.IV), gráficos en tiempo real (cs.GR) y audio y matemática numérica (cs.SD, math.NA). Cada artículo de abajo es de lectura completa y gratuita.
Lenguajes de programación / compiladores (cs.PL, cs.SE, cs.LO)
- Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations — J. Qiu, C. Cai, S. Bhatia, N. Hasabnis, S. A. Seshia, A. Cheung (2024). arxiv.org/abs/2404.18249
- Verified Code Transpilation with LLMs (LLMLift) — transpila Java→Spark, C++→TACO con equivalencia por demostrador de teoremas (2024). arxiv.org/abs/2406.03003
- A Fortran General-Purpose Transpiler: Proof of Concept (FGPT) — modernización fuente a fuente basada en AST (2026). arxiv.org/abs/2608.00130
- Towards a Transpiler for C/C++ to Safer Rust (2024). arxiv.org/abs/2401.08264
- Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection (modelo del Google Closure Compiler) (2026). arxiv.org/abs/2603.18049
- Partial Evaluation, Whole-Program Compilation (weval) — derivar código compilado desde intérpretes vía la proyección de Futamura (2024). arxiv.org/abs/2411.10559
- The Trusted Computing Base of the CompCert Verified Compiler — D. Monniaux, S. Boulmé (ESOP 2022). arxiv.org/abs/2201.10280
Compresión de video / imagen (cs.MM, cs.CV, eess.IV)
- Image and Video Compression with Neural Networks: A Review — S. Ma et al. (2019; aceptado en IEEE TCSVT). arxiv.org/abs/1904.03567
- Emerging Advances in Learned Video Compression: Models, Systems and Beyond — C. Jia et al. (panorama 2025). arxiv.org/abs/2504.21445
- Benchmarking Conventional and Learned Video Codecs with a Low-Delay Configuration (VVC/VTM contra DCVC-DC/FM) (2024). arxiv.org/abs/2408.05042
- NVRC: Neural Video Representation Compression (codificación basada en INR) (2024). arxiv.org/abs/2409.07414
- Ultra-Fast Neural Video Compression (DCVC-UF) (CVPR 2026). arxiv.org/abs/2606.04410
- High-Fidelity Video Compression based on Invertible Neural Transform and Implicit Conditioning (2026). arxiv.org/abs/2606.13957
- UI-LIC: A Unified Framework for Evaluating Learned Image Compression Models (2026). arxiv.org/abs/2606.23545
- What Matters in Practical Learned Image Compression (2026). arxiv.org/abs/2605.05148
- JPEG Image Compression using the Discrete Cosine Transform: An Overview, Applications, and Hardware Implementation (2019). arxiv.org/abs/1912.10789
- Low-complexity Pruned 8-point DCT Approximations for Image Encoding (2016). arxiv.org/abs/1612.03461
- On Fast Algorithm for Computing Even-Length DCT (2010). arxiv.org/abs/1001.3713
- On discrete cosine transform (DCT/DW generalizada, pruebas de ortogonalidad) (2011). arxiv.org/abs/1109.0337
- Derivation of fast DCT algorithms using algebraic technique based on Galois theory (2012). arxiv.org/abs/1211.1340
- Fast Trainable Multilinear Bases for Image Compression (2026). arxiv.org/abs/2608.00053
Gráficos en tiempo real y generación procedural (cs.GR)
- RTSDF: Generating Signed Distance Fields in Real Time for Soft Shadow Rendering (Pacific Graphics 2020). arxiv.org/abs/2210.04449
- SDFDiff: Differentiable Rendering of Signed Distance Fields for 3D Shape Optimization (presentación oral CVPR 2020). arxiv.org/abs/1912.07109
- Proceduray — A light-weight engine for procedural primitive ray tracing (DXR) (2020). arxiv.org/abs/2012.10357
- Signed Distance Fields Dynamic Diffuse Global Illumination (2020). arxiv.org/abs/2007.14394
Audio y matemática numérica (cs.SD, math.NA)
- Procedural Music Generation Systems in Games — S. Luo, J. Reiss (AES 2025). arxiv.org/abs/2512.12834
- How well do fast discrete trigonometric transforms work for parametric numerical integration? — G. Plonka, D. Potts, M. Tasche (math.NA, 2026). arxiv.org/abs/2609.15577