Copertina

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Hebi, Bao, Forrest Sheng, Xiao, Qi, Tian, Jin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
di: Li, Hebi, et al.
Pubblicazione: (2023)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
di: Li, Mingyi, et al.
Pubblicazione: (2025)

When Are Reactive Notebooks Not Reactive?
di: Zheng, Megan, et al.
Pubblicazione: (2025)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
di: Guerin, Cormac, et al.
Pubblicazione: (2026)

BODHI: Precise OS Kernel Specification Inference
di: Chang, Zhiming, et al.
Pubblicazione: (2026)

An Encoding of Interaction Nets in OCaml
di: Huber, Nikolaus, et al.
Pubblicazione: (2025)

An Interactive Debugger for Rust Trait Errors
di: Gray, Gavin, et al.
Pubblicazione: (2025)

Container Morphisms for Composable Interactive Systems
di: Videla, André
Pubblicazione: (2024)

Correctness Witnesses with Function Contracts
di: Heizmann, Matthias, et al.
Pubblicazione: (2025)

A Roadmap for Tamed Interactions with Large Language Models
di: Scotti, Vincenzo, et al.
Pubblicazione: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
di: Smyth, Steven, et al.
Pubblicazione: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

Suggesting Code Edits in Interactive Machine Learning Notebooks Using Large Language Models
di: Jin, Bihui, et al.
Pubblicazione: (2025)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
di: Zhou, Xintong, et al.
Pubblicazione: (2025)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
di: Li, Zhuohao, et al.
Pubblicazione: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
di: Zhang, Jiahao, et al.
Pubblicazione: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
di: Feng, Qiong, et al.
Pubblicazione: (2026)

WDD: Weighted Delta Debugging
di: Zhou, Xintong, et al.
Pubblicazione: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
di: Li, Jia, et al.
Pubblicazione: (2024)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
di: Xu, Ning, et al.
Pubblicazione: (2026)

LPR: Large Language Models-Aided Program Reduction
di: Zhang, Mengxiao, et al.
Pubblicazione: (2023)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
di: Xie, Xiaoheng, et al.
Pubblicazione: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
di: Qiu, Ruidi, et al.
Pubblicazione: (2024)

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
di: Hind, Michael, et al.
Pubblicazione: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
di: Wang, Peiding, et al.
Pubblicazione: (2025)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
di: Si, Yuan, et al.
Pubblicazione: (2025)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
di: Xu, Zhenyu, et al.
Pubblicazione: (2024)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
di: Liu, Peipei, et al.
Pubblicazione: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
di: Yu, Hao, et al.
Pubblicazione: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
di: Foalem, Patrick Loic, et al.
Pubblicazione: (2026)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
di: Liu, Yuchen, et al.
Pubblicazione: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
di: Wang, Zhiyi, et al.
Pubblicazione: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

Reactive Semantics for User Interface Description Languages
di: Pesin, Basile, et al.
Pubblicazione: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
di: Wu, Xiwei, et al.
Pubblicazione: (2025)