Copertina

Dias: Dynamic Rewriting of Pandas Code

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baziotis, Stefanos, Kang, Daniel, Mendis, Charith
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Databases Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees (Technical Report)
di: Zhu, Yuxuan, et al.
Pubblicazione: (2025)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
di: Singh, Avaljot, et al.
Pubblicazione: (2024)

Static Type Checking for Database Access Code
di: Kirz, Thomas James, et al.
Pubblicazione: (2026)

Automated Verification of Soundness of DNN Certifiers
di: Singh, Avaljot, et al.
Pubblicazione: (2025)

TQL: Towards Type-Driven Data Discovery
di: Kang, Andrew, et al.
Pubblicazione: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
di: Kang, Andrew, et al.
Pubblicazione: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
di: Geng, Chujun, et al.
Pubblicazione: (2024)

RuleFlow : Generating Reusable Program Optimizations with LLMs
di: Singh, Avaljot, et al.
Pubblicazione: (2026)

MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator
di: Tong, Jianming, et al.
Pubblicazione: (2026)

Adaptive Recursive Query Optimization
di: Herlihy, Anna, et al.
Pubblicazione: (2023)

Optimizing Datalog for the GPU
di: Sun, Yihao, et al.
Pubblicazione: (2023)

Validation of Modern JSON Schema: Formalization and Complexity
di: Attouche, Lyes, et al.
Pubblicazione: (2023)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
di: Bouajjani, Ahmed, et al.
Pubblicazione: (2025)

Datalog with First-Class Facts
di: Gilray, Thomas, et al.
Pubblicazione: (2024)

Foundations of the GraphAlg Language
di: de Graaf, Daan, et al.
Pubblicazione: (2026)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
di: Shaikhha, Amir, et al.
Pubblicazione: (2025)

Rel: A Programming Language for Relational Data
di: Aref, Molham, et al.
Pubblicazione: (2025)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
di: Durvasula, Naveen
Pubblicazione: (2026)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)

Semantic foundations of equality saturation
di: Suciu, Dan, et al.
Pubblicazione: (2025)

Galley: Modern Query Optimization for Sparse Tensor Programs
di: Deeds, Kyle, et al.
Pubblicazione: (2024)

Querying Graph-Relational Data
di: Sullivan, Michael J., et al.
Pubblicazione: (2025)

Vbox: Efficient Black-Box Serializability Verification
di: Sun, Weihua, et al.
Pubblicazione: (2025)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
di: Liu, Yanhong A., et al.
Pubblicazione: (2025)

Understanding Graph Databases: A Comprehensive Tutorial and Survey
di: Anuyah, Sydney, et al.
Pubblicazione: (2024)

Elimination of annotation dependencies in validation for Modern JSON Schema
di: Attouche, Lyes, et al.
Pubblicazione: (2025)

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
di: Vandevoort, Brecht, et al.
Pubblicazione: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)

Towards Relational Contextual Equality Saturation
di: Hou, Tyler, et al.
Pubblicazione: (2025)

Scaling Worst-Case Optimal Datalog to GPUs
di: Sun, Yihao, et al.
Pubblicazione: (2026)

A Compiler for Operations on Relations with Bag Semantics
di: Dong, James, et al.
Pubblicazione: (2025)

An Extensive Study on Text Serialization Formats and Methods
di: Wei, Wang, et al.
Pubblicazione: (2025)

PyTond: Efficient Python Data Science on the Shoulders of Databases
di: Shahrokhi, Hesam, et al.
Pubblicazione: (2024)

E3-Rewrite: Learning to Rewrite SQL for Executability, Equivalence,and Efficiency
di: Xu, Dongjie, et al.
Pubblicazione: (2025)

Structured Prompt Language: Declarative Context Management for LLMs
di: Gong, Wen G.
Pubblicazione: (2026)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
di: Chen, Sibei, et al.
Pubblicazione: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
di: Arora, Jai, et al.
Pubblicazione: (2025)

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
di: Gupta, Ahan, et al.
Pubblicazione: (2024)

ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions
di: Jain, Devansh, et al.
Pubblicazione: (2025)