Imagen de Portada

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems

Fuente: arXiv

Guardado en:

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

Ejemplares similares

Scalability, Availability, Reproducibility and Extensibility in Islamic Database Systems
por: Siddiqui, Umar, et al.
Publicado: (2025)

An Empirical Study on the Characteristics of Database Access Bugs in Java Applications
por: Liu, Wei, et al.
Publicado: (2024)

KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction
por: Ma, Lei, et al.
Publicado: (2026)

An Empirical Study on Challenges of Event Management in Microservice Architectures
por: Laigner, Rodrigo, et al.
Publicado: (2024)

Seamless Data Migration between Database Schemas with DAMI-Framework: An Empirical Study on Developer Experience
por: Ramos-Vidal, Delfina, et al.
Publicado: (2025)

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

Rethinking State Management in Actor Systems for Cloud-Native Applications
por: Liu, Yijian, et al.
Publicado: (2024)

Scaling Automated Database System Testing
por: Zhong, Suyang, et al.
Publicado: (2025)

Benchmarking Data Management Systems for Microservices
por: Laigner, Rodrigo, et al.
Publicado: (2024)

Testing Database Systems with Large Language Model Synthesized Fragments
por: Zhong, Suyang, et al.
Publicado: (2025)

Vextra: A Unified Middleware Abstraction for Heterogeneous Vector Database Systems
por: Suri, Chandan, et al.
Publicado: (2026)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
por: Ba, Jinsheng, et al.
Publicado: (2026)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
por: Ba, Jinsheng, et al.
Publicado: (2023)

Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
por: Ko, Ronny, et al.
Publicado: (2022)

A Practical Framework for Flaky Failure Triage in Distributed Database Continuous Integration
por: Zhu, Jun-Peng, et al.
Publicado: (2026)

Online Marketplace: A Benchmark for Data Management in Microservices
por: Laigner, Rodrigo, et al.
Publicado: (2024)

Detect, Localize, and Explain: Interactive Hierarchical Log Anomaly Analytics with LLM Augmentation
por: Ma, Lei, et al.
Publicado: (2026)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
por: Wei, Hengfeng, et al.
Publicado: (2025)

Primary Breadth-First Development (PBFD): An Approach to Full Stack Software Development
por: Liu, Dong
Publicado: (2025)

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

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
por: Laigner, Rodrigo, et al.
Publicado: (2025)

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

A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT
por: Merkel, Manuel, et al.
Publicado: (2025)

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

Design and Development of a Web Platform for Blood Donation Management
por: Ali, Fatima Zulfiqar, et al.
Publicado: (2025)

Conceptual Entity-Relationship Model: Underneath the Simplicity and Staticity
por: Al-Fedaghi, Sabah
Publicado: (2025)

Proving Cypher Query Equivalence
por: Tang, Lei, et al.
Publicado: (2025)

Microservices and Real-Time Processing in Retail IT: A Review of Open-Source Toolchains and Deployment Strategies
por: Vashisht, Aaditaa, et al.
Publicado: (2025)

Towards a fundamental theory of modeling discrete systems
por: Fettke, Peter, et al.
Publicado: (2025)

Blaze: Compiling JSON Schema for 10x Faster Validation
por: Viotti, Juan Cruz, et al.
Publicado: (2025)

Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation
por: Qureshi, Abdur Rehman Anwar, et al.
Publicado: (2025)

A Systematic Review of FAIR-compliant Big Data Software Reference Architectures
por: Castro, João Pedro de Carvalho, et al.
Publicado: (2025)

PandasBench: A Benchmark for the Pandas API
por: Broihier, Alex, et al.
Publicado: (2025)

vMODB: Unifying Event and Data Management for Distributed Asynchronous Applications
por: Laigner, Rodrigo, et al.
Publicado: (2025)

Similarity-Based Assessment of Computational Reproducibility in Jupyter Notebooks
por: Hossain, A S M Shahadat, et al.
Publicado: (2025)

Using ChatGPT to refine draft conceptual schemata in supply-driven design of multidimensional cubes
por: Rizzi, Stefano
Publicado: (2025)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
por: Rebmann, Adrian, et al.
Publicado: (2024)

Dinkel: State-Aware and Granular Framework for Validating Graph Databases
por: Wüst, Celine, et al.
Publicado: (2024)

DIRT: Database-Integrated Random Testing
por: Keles, Alperen, et al.
Publicado: (2026)

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
por: Corlay, Vincent, et al.
Publicado: (2026)