Imagen de Portada

CobbleDB: Modelling Levelled Storage by Composition

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ma, Emilie, Pandey, Ayush, Bieniusa, Annette, Shapiro, Marc
Formato:	Preprint
Publicado:	2026
Materias:	Databases 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

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

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

Constant Optimization Driven Database System Testing
por: Zhang, Chi, et al.
Publicado: (2025)

Synthesizing Document Database Queries using Collection Abstractions
por: Liu, Qikang, et al.
Publicado: (2024)

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

Object Graph Programming
por: Thimmaiah, Aditya, et al.
Publicado: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
por: Deng, Wenjing, et al.
Publicado: (2024)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
por: Zhao, Pinhan, et al.
Publicado: (2025)

Search-Based Fuzzing For RESTful APIs That Use MongoDB
por: Ghianni, Hernan, et al.
Publicado: (2025)

Flow with FlorDB: Incremental Context Maintenance for the Machine Learning Lifecycle
por: Garcia, Rolando, et al.
Publicado: (2024)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
por: Zhang, Lingzhe, et al.
Publicado: (2025)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
por: Borodii, Ivan, et al.
Publicado: (2025)

A Tutorial in Creating Web-Enabled Databases with Inmagic DB/TextWorks through ODBC.
por: Breeding, Marshall
Publicado: (2000)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
por: Huang, Junjie, et al.
Publicado: (2024)

Task-Aware Reduction for Scalable LLM-Database Systems
por: Barnes, Marcus Emmanuel, et al.
Publicado: (2025)

MulChain: Enabling Advanced Cross-Modal Queries in Hybrid-Storage Blockchains
por: Peng, Zhiyuan, et al.
Publicado: (2025)

LLM-Guided Compositional Program Synthesis
por: Khan, Ruhma, et al.
Publicado: (2025)

Equality Saturation for Optimizing High-Level Julia IR
por: Merckx, Jules, et al.
Publicado: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
por: Ke, Kaiyao, et al.
Publicado: (2025)

Models for Storage in Database Backends
por: Schiebelbein, Edgard, et al.
Publicado: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
por: Yanakieva, Elena, et al.
Publicado: (2026)

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

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

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
por: Jing, Huihao, et al.
Publicado: (2026)

Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025)

Process Modeling With Large Language Models
por: Kourani, Humam, et al.
Publicado: (2024)

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

Typing Requirement Model as Coroutines
por: Gu, Qiqi, et al.
Publicado: (2024)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
por: Xie, Xudong, et al.
Publicado: (2026)

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
por: Ullah, Muhammad Aziz, et al.
Publicado: (2026)

Towards Automated Data Sciences with Natural Language and SageCopilot: Practices and Lessons Learned
por: Liao, Yuan, et al.
Publicado: (2024)

Dialect2SQL: A Novel Text-to-SQL Dataset for Arabic Dialects with a Focus on Moroccan Darija
por: Chafik, Salmane, et al.
Publicado: (2025)

Translating between SQL Dialects for Cloud Migration
por: Zmigrod, Ran, et al.
Publicado: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
por: Misu, Md Rakib Hossain, et al.
Publicado: (2024)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
por: Feng, Qiong, et al.
Publicado: (2025)

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

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

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

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