Copertina

From Batch to Stream: Automatic Generation of Online Algorithms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Ziteng, Pailoor, Shankara, Prakash, Aaryan, Wang, Yuepeng, Dillig, Isil
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages D.3.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Homomorphism Calculus for User-Defined Aggregations
di: Wang, Ziteng, et al.
Pubblicazione: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
di: Zhou, Zhe, et al.
Pubblicazione: (2024)

Let's Take Esoteric Programming Languages Seriously
di: Singer, Jeremy, et al.
Pubblicazione: (2025)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
di: Esmaeilsabzali, Shahram, et al.
Pubblicazione: (2025)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
di: Nagy, Shaan, et al.
Pubblicazione: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
di: Mishra, Ashish, et al.
Pubblicazione: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

Multi-Language Benchmark Generation via L-Systems
di: da Silva, Vinícius Francisco, et al.
Pubblicazione: (2025)

Derivative-Guided Symbolic Execution
di: Yuan, Yongwei, et al.
Pubblicazione: (2024)

VeriFx: Correct Replicated Data Types for the Masses
di: De Porre, Kevin, et al.
Pubblicazione: (2022)

Statically Contextualizing Large Language Models with Typed Holes
di: Blinn, Andrew, et al.
Pubblicazione: (2024)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
di: Guo, Xiangyu, et al.
Pubblicazione: (2024)

Improving stableKanren's Backward Compatibility
di: Guo, Xiangyu, et al.
Pubblicazione: (2024)

Program Analysis via Multiple Context Free Language Reachability
di: Conrado, Giovanna Kobus, et al.
Pubblicazione: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2023)

Modular GPU Programming with Typed Perspectives
di: Bansal, Manya, et al.
Pubblicazione: (2025)

Graphiti: Bridging Graph and Relational Database Queries
di: He, Yang, et al.
Pubblicazione: (2025)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
di: Zhong, Zhiyao, et al.
Pubblicazione: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
di: Akbarpour, Nikta, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
di: Ashouri, Amir H., et al.
Pubblicazione: (2026)

ACPO: AI-Enabled Compiler Framework
di: Ashouri, Amir H., et al.
Pubblicazione: (2023)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
di: Kiselyov, Oleg, et al.
Pubblicazione: (2024)

SCTc-TE: A Comprehensive Formulation and Benchmark for Temporal Event Forecasting
di: Ma, Yunshan, et al.
Pubblicazione: (2023)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
di: Agostini, Nicolas Bohm, et al.
Pubblicazione: (2023)

Probabilistic Inference for Datalog with Correlated Inputs
di: Wang, Jingbo, et al.
Pubblicazione: (2025)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
di: McCann, Alan L.
Pubblicazione: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
di: McCann, Alan L.
Pubblicazione: (2026)

Order positive fields II
di: Korovina, Margarita, et al.
Pubblicazione: (2025)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
di: Wei, Jiayi, et al.
Pubblicazione: (2023)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
di: Barnaby, Celeste, et al.
Pubblicazione: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
di: Govind, R., et al.
Pubblicazione: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Towards Automatic Error Recovery in Parsing Expression
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2025)

Critical Design Strategy: a Method for Heuristically Evaluating Visualisation Designs
di: Roberts, Jonathan C., et al.
Pubblicazione: (2025)

Dynamic String Generation and C++-style Output in Fortran
di: Mohr, Marcus
Pubblicazione: (2024)

Optimal Predicate Pushdown Synthesis
di: Zhang, Robert, et al.
Pubblicazione: (2026)