Cover Image

Pydrofoil: accelerating Sail-based instruction set simulators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bolz-Tereick, Carl Friedrich, Panayi, Luke, McKeogh, Ferdia, Spink, Tom, Berger, Martin
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

LTL learning on GPUs
by: Valizadeh, Mojtaba, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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