Copertina

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Singhal, Vidush, Kainen, Mikah, Pelenitsyn, Artem, Borkowski, Michael H., Vollmer, Mike, Kulkarni, Milind
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Performance D.3.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Optimizing Layout of Recursive Datatypes with Marmoset
di: Singhal, Vidush, et al.
Pubblicazione: (2024)

Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing
di: Mandarapu, Durga, et al.
Pubblicazione: (2023)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
di: Benbetka, Marouane, et al.
Pubblicazione: (2025)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
di: Salazar, José Daniel Montoya
Pubblicazione: (2026)

The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead
di: Van Delm, Josse, et al.
Pubblicazione: (2025)

Linear-Time Graph Programs without Preconditions
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2025)

Characterizing Physical Memory Fragmentation
di: Mansi, Mark, et al.
Pubblicazione: (2024)

Staging Blocked Evaluation over Structured Sparse Matrices
di: Das, Pratyush, et al.
Pubblicazione: (2024)

TurboMem: High-Performance Lock-Free Memory Pool with Transparent Huge Page Auto-Merging for DPDK
di: Yang, Junyi
Pubblicazione: (2026)

Decomposing Docker Container Startup Performance: A Three-Tier Measurement Study on Heterogeneous Infrastructure
di: Khan, Shamsher
Pubblicazione: (2026)

CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators
di: Qu, Songyun, et al.
Pubblicazione: (2024)

Predictive Modeling of I/O Performance for Machine Learning Training Pipelines: A Data-Driven Approach to Storage Optimization
di: Prabhakar, Karthik, et al.
Pubblicazione: (2025)

From Separate Compilation to Sound Language Composition
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
di: Hu, Gansen, et al.
Pubblicazione: (2025)

LAMMPS-KOKKOS: Performance Portable Molecular Dynamics Across Exascale Architectures
di: Johansson, Anders, et al.
Pubblicazione: (2025)

Float Self-Tagging
di: Melançon, Olivier, et al.
Pubblicazione: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
di: Titzer, Ben L., et al.
Pubblicazione: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
di: Lopoukhine, Alexandre, et al.
Pubblicazione: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
di: De Santo, Noé, et al.
Pubblicazione: (2025)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
di: Hochgraf, Robert, et al.
Pubblicazione: (2025)

Dr Wenowdis: Specializing dynamic language C extensions using type information
di: Bernstein, Maxwell, et al.
Pubblicazione: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Verifying Device Drivers with Pancake
di: Zhao, Junming, et al.
Pubblicazione: (2025)

Repr Types: One Abstraction to Rule Them All
di: Palmkvist, Viktor, et al.
Pubblicazione: (2024)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
di: Geeson, Luke, et al.
Pubblicazione: (2024)

Semantic Analysis of Macro Usage for Portability
di: Pappas, Brent, et al.
Pubblicazione: (2024)

Sharing Analysis in the Pawns Compiler
di: Naish, Lee
Pubblicazione: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
di: Kiselyov, Oleg, et al.
Pubblicazione: (2024)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
di: Wodiany, Igor, et al.
Pubblicazione: (2024)

Boosting Cross-Architectural Emulation Performance by Foregoing the Intermediate Representation Model
di: Parker, Amy Iris
Pubblicazione: (2025)

A Unified Framework for Quantitative Cache Analysis
di: Kahlen, Sophie, et al.
Pubblicazione: (2025)

Back to Bits: Extending Shannon's communication performance framework to computing
di: Hawkins, Max, et al.
Pubblicazione: (2025)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
di: Ouyang, Ciyan, et al.
Pubblicazione: (2026)

Meta-Monomorphizing Specializations
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Detection of Performance Changes in MooBench Results Using Nyrkiö on GitHub Actions
di: Yang, Shinhyung, et al.
Pubblicazione: (2025)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
di: Ananda, Chaitanya Mamatha, et al.
Pubblicazione: (2026)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
di: Gross, Jason, et al.
Pubblicazione: (2022)

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
di: Mitsunari, Shigeo, et al.
Pubblicazione: (2026)