Image de couverture de livre

The Stackage Repository: An Exploratory Study of its Evolution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Leger, Paul, Ruiz, Felipe, Sepúlveda, Nicolás, Figueroa, Ismael, Cardozo, Nicolás
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Translating Large-Scale C Repositories to Idiomatic Rust
par: Dehghan, Saman, et autres
Publié: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

Compilation of Commit Changes within Java Source Code Repositories
par: Schott, Stefan, et autres
Publié: (2024)

Reconsidering "Reconsidering Custom Memory Allocation"
par: van Kempen, Nicolas, et autres
Publié: (2026)

SWE-QA: Can Language Models Answer Repository-level Code Questions?
par: Peng, Weihan, et autres
Publié: (2025)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
par: Foalem, Patrick Loic, et autres
Publié: (2026)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

AInsteinBench: Benchmarking Coding Agents on Scientific Repositories
par: Duston, Titouan, et autres
Publié: (2025)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, et autres
Publié: (2025)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
par: Xin, Yutong, et autres
Publié: (2026)

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

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
par: Arfi, Farid, et autres
Publié: (2024)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
par: Chen, Xiaohan, et autres
Publié: (2025)

Who Wins the Race? (R Vs Python) - An Exploratory Study on Energy Consumption of Machine Learning Algorithms
par: Chattaraj, Rajrupa, et autres
Publié: (2025)

Phyelds: A Pythonic Framework for Aggregate Computing
par: Aguzzi, Gianluca, et autres
Publié: (2026)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
par: Zhou, Zixu
Publié: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
par: Carreira, Carolina, et autres
Publié: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
par: Gilot, Andrea, et autres
Publié: (2025)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
par: Khakpour, Narges, et autres
Publié: (2025)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
par: Stoico, Vincenzo, et autres
Publié: (2025)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
par: Huang, Tinglin, et autres
Publié: (2026)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

Conceptual Mutation Testing for Student Programming Misconceptions
par: Prasad, Siddhartha, et autres
Publié: (2023)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
par: Li, Hebi, et autres
Publié: (2023)

Fast Deterministic Black-box Context-free Grammar Inference
par: Arefin, Mohammad Rifat, et autres
Publié: (2023)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
par: Galasso-Carbonnel, Jessie, et autres
Publié: (2023)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

Package Managers à la Carte: A Formal Model of Dependency Resolution
par: Gibb, Ryan, et autres
Publié: (2026)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

An Encoding of Interaction Nets in OCaml
par: Huber, Nikolaus, et autres
Publié: (2025)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

Literate Tracing
par: Sotoudeh, Matthew
Publié: (2025)