Imagen de Portada

Pydrofoil: accelerating Sail-based instruction set simulators

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bolz-Tereick, Carl Friedrich, Panayi, Luke, McKeogh, Ferdia, Spink, Tom, Berger, Martin
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
por: Izawa, Yusuke, et al.
Publicado: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
por: Jung, Christoph, et al.
Publicado: (2025)

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

Improving Memory Dependence Prediction with Static Analysis
por: Panayi, Luke, et al.
Publicado: (2024)

PG-MDP: Profile-Guided Memory Dependence Prediction for Area-Constrained Cores
por: Panayi, Luke, et al.
Publicado: (2026)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
por: Berger, Martin, et al.
Publicado: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
por: Reichelt, Tim, et al.
Publicado: (2023)

The Squirrel Parser: A Linear-Time PEG Packrat Parser Capable of Left Recursion and Optimal Error Recovery
por: Hutchison, Luke A. D.
Publicado: (2026)

Parallel Dual-Numbers Reverse AD
por: Smeding, Tom, et al.
Publicado: (2022)

From High to Low: Simulating Nondeterminism and State with State
por: Tang, Wenhao, et al.
Publicado: (2023)

Integration of a systolic array based hardware accelerator into a DNN operator auto-tuning framework
por: Peccia, F. N., et al.
Publicado: (2022)

AuDaLa is Turing Complete
por: Franken, Tom T. P., et al.
Publicado: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
por: Liell-Cock, Jack, et al.
Publicado: (2024)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
por: Steevens, Maarten, et al.
Publicado: (2026)

Probing the Design Space: Parallel Versions for Exploratory Programming
por: Beckmann, Tom, et al.
Publicado: (2025)

LTL learning on GPUs
por: Valizadeh, Mojtaba, et al.
Publicado: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
por: Maekawa, Seiji, et al.
Publicado: (2025)

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
por: Rein, Patrick, et al.
Publicado: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
por: Beckmann, Tom, et al.
Publicado: (2026)

Dual-Numbers Reverse AD for Functional Array Languages
por: Smeding, Tom, et al.
Publicado: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
por: Wang, Peixin, et al.
Publicado: (2023)

Getting Python Types Right with RightTyper
por: Pizzorno, Juan Altmayer, et al.
Publicado: (2025)

Reconsidering "Reconsidering Custom Memory Allocation"
por: van Kempen, Nicolas, et al.
Publicado: (2026)

A Calculus for Scoped Effects & Handlers
por: Bosman, Roger, et al.
Publicado: (2023)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
por: van Kempen, Nicolas, et al.
Publicado: (2024)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
por: Lauwaerts, Tom, et al.
Publicado: (2025)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
por: Jarmusch, Aaron, et al.
Publicado: (2024)

Visualizing the Evaluation of Functional Programs for Debugging
por: Whitington, John, et al.
Publicado: (2024)

CHAD: Combinatory Homomorphic Automatic Differentiation
por: Vákár, Matthijs, et al.
Publicado: (2021)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
por: Rinard, Martin
Publicado: (2026)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
por: Rinard, Martin
Publicado: (2026)

Denotational reasoning for asynchronous multiparty session types
por: McDermott, Dylan, et al.
Publicado: (2026)

Galois connecting call-by-value and call-by-name
por: McDermott, Dylan, et al.
Publicado: (2022)

Analysis of instruction-based LLMs' capabilities to score and judge text-input problems in an academic setting
por: Ramirez-Garcia, Valeria, et al.
Publicado: (2025)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
por: Franken, Tom T. P., et al.
Publicado: (2024)

Probabilistic energy profiler for statically typed JVM-based programming languages
por: Nyholm, Joel, et al.
Publicado: (2025)

Denotation-based Compositional Compiler Verification
por: Cheng, Zhang, et al.
Publicado: (2024)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
por: Abad, Kyriel, et al.
Publicado: (2024)