Buchumschlag

Rebound: Efficient, Expressive, and Well-Scoped Binding

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	De Santo, Noé, Weirich, Stephanie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages D.3.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Float Self-Tagging
von: Melançon, Olivier, et al.
Veröffentlicht: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
von: Titzer, Ben L., et al.
Veröffentlicht: (2024)

Dr Wenowdis: Specializing dynamic language C extensions using type information
von: Bernstein, Maxwell, et al.
Veröffentlicht: (2024)

Sharing Analysis in the Pawns Compiler
von: Naish, Lee
Veröffentlicht: (2024)

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

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

A Unified Framework for Quantitative Cache Analysis
von: Kahlen, Sophie, et al.
Veröffentlicht: (2025)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
von: Singhal, Vidush, et al.
Veröffentlicht: (2026)

Stratified Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2023)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
von: Geeson, Luke, et al.
Veröffentlicht: (2024)

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
von: Mitsunari, Shigeo, et al.
Veröffentlicht: (2026)

Fat API bindings of C++ objects into scripting languages
von: Standish, Russell K.
Veröffentlicht: (2024)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

HTVM: Efficient Neural Network Deployment On Heterogeneous TinyML Platforms
von: Van Delm, Josse, et al.
Veröffentlicht: (2024)

Teaching Introductory Functional Programming Using Haskelite
von: Vasconcelos, Pedro
Veröffentlicht: (2025)

Towards Automatic Error Recovery in Parsing Expression
von: de Medeiros, Sérgio Queiroz, et al.
Veröffentlicht: (2025)

Idempotent Slices with Applications to Code-Size Reduction
von: de Azevedo, Rafael Alvarenga, et al.
Veröffentlicht: (2026)

AI Coding Agents Need Better Compiler Remarks
von: Deo, Akash, et al.
Veröffentlicht: (2026)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

LR Parsing of Permutation Phrases
von: Kostičová, Jana
Veröffentlicht: (2024)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
von: Abounegm, Abdelrahman, et al.
Veröffentlicht: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
von: Benbetka, Marouane, et al.
Veröffentlicht: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
von: Arora, Jai, et al.
Veröffentlicht: (2025)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
von: Guimarães, Maria Fernanda Oliveira, et al.
Veröffentlicht: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
von: Canesche, Michael, et al.
Veröffentlicht: (2024)

LLM Translation of Compiler Intermediate Representation
von: Ramirez, Andrea Valenzuela, et al.
Veröffentlicht: (2026)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Linear-Time Graph Programs without Preconditions
von: Alaoui, Ziad Ismaili, et al.
Veröffentlicht: (2025)

Optimal Software Pipelining using an SMT-Solver
von: Roorda, Jan-Willem
Veröffentlicht: (2026)

SpaDA: A Spatial Dataflow Architecture Programming Language
von: Gianinazzi, Lukas, et al.
Veröffentlicht: (2025)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
von: Siracusa, Marco, et al.
Veröffentlicht: (2025)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
von: Glück, Robert, et al.
Veröffentlicht: (2024)