Imagen de Portada

Evaluate the Stack Management in Effect Handlers using the libseff C Library

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Yu, ZeHao
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Catalpa: GC for a Low-Variance Software Stack
por: Arnold, Anthony, et al.
Publicado: (2025)

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

Enabling Memory Safety of C Programs using LLMs
por: Mohammed, Nausheen, et al.
Publicado: (2024)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
por: Zhang, Shuoming, et al.
Publicado: (2026)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

Solving Package Management via Hypergraph Dependency Resolution
por: Gibb, Ryan, et al.
Publicado: (2025)

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

Towards a Transpiler for C/C++ to Safer Rust
por: Tripuramallu, Dhiren, et al.
Publicado: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
por: Gibb, Ryan, et al.
Publicado: (2026)

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
por: Antal, Gábor, et al.
Publicado: (2024)

Validated Code Translation for Projects with External Libraries
por: Zhang, Hanliang, et al.
Publicado: (2026)

Etna: An Evaluation Platform for Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

Evaluating the Language-Based Security for Plugin Development
por: Liang, Naisheng, et al.
Publicado: (2024)

JEDI: Java Evaluation of Declarative and Imperative Queries
por: Schiavio, Filippo, et al.
Publicado: (2026)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
por: Heinze, Thomas S.
Publicado: (2026)

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

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

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
por: Ates, Berke, et al.
Publicado: (2026)

Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
por: Rho, Sanghoon, et al.
Publicado: (2024)

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

Verified invertible lexer using regular expressions and DFAs
por: Chassot, Samuel, et al.
Publicado: (2024)

RacerF: Lightweight Static Data Race Detection for C Code
por: Dacík, Tomáš, et al.
Publicado: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
por: Dacík, Tomáš, et al.
Publicado: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
por: Damiani, Ferruccio, et al.
Publicado: (2026)

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

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

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
por: Amilon, Jesper, et al.
Publicado: (2026)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
por: Wu, Valentina, et al.
Publicado: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
por: Zhang, Hanliang, et al.
Publicado: (2024)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
por: Sim, HoHyun, et al.
Publicado: (2025)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
por: Zhang, Yifan, et al.
Publicado: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
por: Mang, Qiuyang, et al.
Publicado: (2025)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
por: Zenkner, Janis, et al.
Publicado: (2024)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
por: Song, Yewei, et al.
Publicado: (2024)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
por: Misra, Diganta, et al.
Publicado: (2025)

The Case for Multi-Version Experimental Evaluation (MVEE)
por: Jörz, Simon, et al.
Publicado: (2026)

Semantic Source Code Segmentation using Small and Large Language Models
por: Dahou, Abdelhalim, et al.
Publicado: (2025)