:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	van Kempen, Nicolas, Berger, Emery D.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Software Engineering
Accesso online:	https://arxiv.org/abs/2605.17119
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ChatDBG: Augmenting Debugging with Large Language Models
di: Levin, Kyla H., et al.
Pubblicazione: (2024)

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

Effective LLM-Driven Code Generation with Pythoness
di: Levin, Kyla H., et al.
Pubblicazione: (2025)

CoverUp: Effective High Coverage Test Generation for Python
di: Pizzorno, Juan Altmayer, et al.
Pubblicazione: (2024)

Reconsidering Conversational Norms in LLM Chatbots for Sustainable AI
di: Santos, Ronnie de Souza, et al.
Pubblicazione: (2025)

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

The Stackage Repository: An Exploratory Study of its Evolution
di: Leger, Paul, et al.
Pubblicazione: (2023)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
di: Serebryany, Kostya, et al.
Pubblicazione: (2023)

Customizing Static Analysis using Codesearch
di: Hayoun, Avi, et al.
Pubblicazione: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
di: Gamatié, Abdoulaye, et al.
Pubblicazione: (2024)

Phyelds: A Pythonic Framework for Aggregate Computing
di: Aguzzi, Gianluca, et al.
Pubblicazione: (2026)

Language Models for Code Completion: A Practical Evaluation
di: Izadi, Maliheh, et al.
Pubblicazione: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
di: Chakraborty, Soham, et al.
Pubblicazione: (2025)

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

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
di: Lin, Teyu, et al.
Pubblicazione: (2026)

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

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
di: Yrievich, Petro Baran
Pubblicazione: (2026)

Misleading Microbenchmarks on the Java Virtual Machines
di: Schiavio, Filippo, et al.
Pubblicazione: (2026)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
di: Saravanos, Antonios, et al.
Pubblicazione: (2026)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
di: Mahathevan, Kabilan, et al.
Pubblicazione: (2026)

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

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
di: Bhattar, Poornachandratejasvi Laxman, et al.
Pubblicazione: (2026)

Towards Analyzing N-language Polyglot Programs
di: Prakash, Jyoti, et al.
Pubblicazione: (2026)

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

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

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

Quantitative Symbolic Patch Impact Analysis
di: Sarker, Laboni, et al.
Pubblicazione: (2026)

A Shallow Embedding of Datalog in Lean
di: Shahin, Ramy
Pubblicazione: (2026)

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

ProDebug: An Automated Debugging System for Prolog
di: Brancas, Ricardo, et al.
Pubblicazione: (2026)

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

The Green Side of the Lua
di: Brandão, André, et al.
Pubblicazione: (2026)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
di: Kim, Seongmin, et al.
Pubblicazione: (2026)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
di: Wright, Tanner, et al.
Pubblicazione: (2026)

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