:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Sepulveda, Mauricio Vargas
Formato:	Preprint
Publicado:	2024
Materias:	Mathematical Software Programming Languages Computation
Acceso en línea:	https://arxiv.org/abs/2409.00568
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

cpp11armadillo: An R Package to Use the Armadillo C++ Library
por: Sepúlveda, Mauricio Vargas, et al.
Publicado: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
por: Hankinn, Robin K. S.
Publicado: (2024)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

Introduction to Analytical Software Engineering Design Paradigm
por: Houichime, Tarik, et al.
Publicado: (2025)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
por: Radtke, Pawel K., et al.
Publicado: (2025)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
por: Fages, François
Publicado: (2024)

Building an Accelerated OpenFOAM Proof-of-Concept Application using Modern C++
por: Malenza, Giulio, et al.
Publicado: (2025)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
por: Absar, Javed, et al.
Publicado: (2025)

Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
por: Radtke, Pawel K., et al.
Publicado: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
por: Allred, Taylor, et al.
Publicado: (2024)

CuTe Layout Representation and Algebra
por: Cecka, Cris
Publicado: (2026)

GPU Implementations for Midsize Integer Addition and Multiplication
por: Oancea, Cosmin E., et al.
Publicado: (2024)

Julia GraphBLAS with Nonblocking Execution
por: Costanza, Pascal, et al.
Publicado: (2025)

Mix-of-Language-Experts Architecture for Multilingual Programming
por: Zong, Yifan, et al.
Publicado: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
por: Kargaran, Amir Hossein, et al.
Publicado: (2025)

Compressing Structured Tensor Algebra
por: Ghorbani, Mahdi, et al.
Publicado: (2024)

The State of Julia for Scientific Machine Learning
por: Berman, Edward, et al.
Publicado: (2024)

Accurate Residues for Floating-Point Debugging
por: He, Yumeng, et al.
Publicado: (2026)

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
por: Ishii, Hiromi
Publicado: (2026)

Growing Mathlib: maintenance of a large scale mathematical library
por: Baanen, Anne, et al.
Publicado: (2025)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
por: Ishii, Hiromi, et al.
Publicado: (2025)

LLMs Lean on Priors, Not Programming Language Semantics
por: Thimmaiah, Aditya, et al.
Publicado: (2025)

Scorch: A Library for Sparse Deep Learning
por: Yan, Bobby, et al.
Publicado: (2024)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
por: Zhang, William, et al.
Publicado: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
por: Shirafuji, Atsushi, et al.
Publicado: (2023)

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
por: Shirafuji, Atsushi, et al.
Publicado: (2023)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
por: Wei, Anjiang, et al.
Publicado: (2025)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
por: Wang, Ming, et al.
Publicado: (2024)

Portability of Fortran's `do concurrent' on GPUs
por: Caplan, Ronald M., et al.
Publicado: (2024)

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

BASIC: Updating a Familiar Language.
por: Eyman, David H.
Publicado: (1988)

LeetDecoding: A PyTorch Library for Exponentially Decaying Causal Linear Attention with CUDA Implementations
por: Wang, Jiaping, et al.
Publicado: (2025)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
por: Peng, Qiwei, et al.
Publicado: (2024)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
por: Dahou, Abdelhalim, et al.
Publicado: (2025)

Ranking LLM-Generated Loop Invariants for Program Verification
por: Chakraborty, Saikat, et al.
Publicado: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
por: Zhou, Shang, et al.
Publicado: (2025)

SWE-QA: Can Language Models Answer Repository-level Code Questions?
por: Peng, Weihan, et al.
Publicado: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
por: Szabo, Violet, et al.
Publicado: (2024)