The Green Side of the Lua

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brandão, André, Matos, Diogo, Guimarães, Miguel, Cunha, Simão, Saraiva, João
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

StoneDetector: Conventional and versatile code clone detection for Java
di: Heinze, Thomas S., 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)

CUBES: A Parallel Synthesizer for SQL Using Examples
di: Brancas, Ricardo, et al.
Pubblicazione: (2022)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
di: Ji, Yuchen, et al.
Pubblicazione: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
di: Silva, André, 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)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
di: Dau, Anh T. V., 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)

Reconsidering "Reconsidering Custom Memory Allocation"
di: van Kempen, Nicolas, et al.
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)

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)

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)

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

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

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

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
di: Bouras, Dimitrios Stamatios, et al.
Pubblicazione: (2026)

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

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

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
di: Sadr, Amirhosein, et al.
Pubblicazione: (2026)

Generalized Software Product Line Extraction
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

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

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
di: Bhatia, Rishipal Singh
Pubblicazione: (2026)

Superset Decompilation
di: Liu, Chang, et al.
Pubblicazione: (2026)