arXiv
Citations from arXiv — the open preprint repository — across programming languages & compilers (cs.PL, cs.SE, cs.LO), video and image compression (cs.MM, cs.CV, eess.IV), real-time graphics (cs.GR), and audio & numerical math (cs.SD, math.NA). Every paper below is free to read in full.
Programming languages / compilers (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) — transpile Java→Spark, C++→TACO with theorem-prover equivalence (2024). arxiv.org/abs/2406.03003
- A Fortran General-Purpose Transpiler: Proof of Concept (FGPT) — AST-based source-to-source modernization (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 (Google Closure Compiler model) (2026). arxiv.org/abs/2603.18049
- Partial Evaluation, Whole-Program Compilation (weval) — deriving compiled code from interpreters via the Futamura projection (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
Video / image compression (cs.MM, cs.CV, eess.IV)
- Image and Video Compression with Neural Networks: A Review — S. Ma et al. (2019; accepted IEEE TCSVT). arxiv.org/abs/1904.03567
- Emerging Advances in Learned Video Compression: Models, Systems and Beyond — C. Jia et al. (2025 survey). arxiv.org/abs/2504.21445
- Benchmarking Conventional and Learned Video Codecs with a Low-Delay Configuration (VVC/VTM vs. DCVC-DC/FM) (2024). arxiv.org/abs/2408.05042
- NVRC: Neural Video Representation Compression (INR-based coding) (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 (generalized DCT/DW, orthogonality proofs) (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
Real-time graphics & procedural generation (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 (CVPR 2020 oral). 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 & numerical math (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