Image de couverture de livre

MetaFFI -- Multilingual Indirect Interoperability System

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cherny-Shahar, Tsvi, Yehudai, Amiram
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
par: Cherny-Shahar, Tsvi, et autres
Publié: (2024)

Repository Intelligence Graph: Deterministic Architectural Map for LLM Code Assistants
par: Cherny-Shahar, Tsvi, et autres
Publié: (2026)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
par: Li, Hebi, et autres
Publié: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
par: Braunsdorf, Oliver, et autres
Publié: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
par: Zhou, Tianyang, et autres
Publié: (2025)

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
par: Lugović, Lovro, et autres
Publié: (2023)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
par: Paraskevopoulou, Zoe, et autres
Publié: (2024)

Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
par: Won, Jaeyeon, et autres
Publié: (2025)

A Multilingual Python Programming Language
par: Bazaz, Saad Ahmed, et autres
Publié: (2025)

McEval: Massively Multilingual Code Evaluation
par: Chai, Linzheng, et autres
Publié: (2024)

Bridging Worlds: Achieving Language Interoperability between Julia and Python in Scientific Computing
par: Osborne, Ianna, et autres
Publié: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
par: Zong, Yifan, et autres
Publié: (2025)

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

Contextual MetaML: Syntax and Full Abstraction
par: Yin, Haoxuan, et autres
Publié: (2026)

Meta-compilation of Baseline JIT Compilers with Druid
par: Palumbo, Nahuel, et autres
Publié: (2025)

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators
par: Paul, Indraneil, et autres
Publié: (2024)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
par: Shapira, Yuval, et autres
Publié: (2024)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
par: Peng, Qiwei, et autres
Publié: (2024)

MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
par: Zou, Qingyun, et autres
Publié: (2026)

MIPIAD: Multilingual Indirect Prompt Injection Attack Defense with Qwen -- TF-IDF Hybrid and Meta-Ensemble Learning
par: Muhtadi, Al Muhit, et autres
Publié: (2026)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
par: Santra, Monika, et autres
Publié: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
par: Chan, Willy, et autres
Publié: (2025)

Large Language Models for Multilingual Code Intelligence: A Survey
par: Jiang, Chao, et autres
Publié: (2026)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
par: Cummins, Chris, et autres
Publié: (2024)

Qualifying System F-sub
par: Lee, Edward, et autres
Publié: (2023)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
par: Ceravola, Antonello, et autres
Publié: (2024)

Schema Evolution in Interactive Programming Systems
par: Edwards, Jonathan, et autres
Publié: (2024)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

The Design Principles of the Elixir Type System
par: Castagna, Giuseppe, et autres
Publié: (2023)

Synchron -- An API and Runtime for Embedded Systems
par: Sarkar, Abhiroop, et autres
Publié: (2022)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
par: Esmaeili, Amirreza, et autres
Publié: (2025)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)

System $F^ω$ with Coherent Implicit Resolution
par: Flesselle, Eugène
Publié: (2025)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
par: Zhang, Weixing, et autres
Publié: (2024)

Automatic Detection of Complex Quotation Patterns in Aggadic Literature
par: Miller, Hadar, et autres
Publié: (2025)

Information Aware Type Systems and Telescopic Constraint Trees
par: Cowderoy, Philippa
Publié: (2024)

A Sound Type System for Secure Currency Flow
par: Aceto, Luca, et autres
Publié: (2024)