cs.PL

Papers

• Parallelization of XPath Queries using Modern XQuery Processors (2018)
  Shigeyuki Sato et al.
  —
• Deductive Optimization of Relational Data Storage (2020)
  John K. Feser et al.
  —
• Low-Latency Graph Streaming Using Compressed Purely-Functional Trees (2019)
  Laxman Dhulipala et al.
  —
• ProTuner: Tuning Programs with Monte Carlo Tree Search (2020)
  Ameer Haj-Ali et al.
  —
• Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python (2022)
  Amir M. Mir et al.
  —
• TreeToaster: Towards an IVM-Optimized Compiler (2021)
  Darshana Balakrishnan et al.
  —
• Relational E-Matching (2022)
  Yihong Zhang et al.
  —
• Scaling Neural Program Synthesis with Distribution-based Search (2021)
  Nathana\"el Fijalkow and Guillaume Lagarde and Th\'eo Matricon and Kevin Ellis and Pierre Ohlmann and Akarsh Potta
  —
• CompilerDream: Learning a Compiler World Model for General Code Optimization (2026)
  Chaoyi Deng et al.
  —
• Synthesizing Document Database Queries using Collection Abstractions (2024)
  Qikang Liu et al.
  —
• Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search (2025)
  Pinhan Zhao et al.
  —
• From Reasoning to Code: GRPO Optimization for Underrepresented Languages (2026)
  Federico Pennino et al.
  —
• Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floating? (2026)
  Imranur Rahman et al.
  —
• Bonsai: Compiling Queries to Pruned Tree Traversals (2026)
  Alexander J Root et al.
  —
• Morphling: Fast, Fused, and Flexible GNN Training at Scale (2026)
  Anubhab et al.
  —
• Implementing Binary Search Trees in GP 2 (Extended Abstract) (2026)
  Ziad Ismaili Alaoui (Department of Computer Science et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• M$^\star$: Every Task Deserves Its Own Memory Harness (2026)
  Wenbo Pan et al.
  —
• Prism: Symbolic Superoptimization of Tensor Programs (2026)
  Mengdi Wu et al.
  —
• CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging (2026)
  Shiyang Li et al.
  —
• Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures (2026)
  Emma Leonhart
  —
• Geo: A Query Rewrite Framework for Graph Pattern Mining (2026)
  Nazanin Yousefian et al.
  —
• PassNet: Scaling Large Language Models for Graph Compiler Pass Generation (2026)
  Yiqun Liu et al.
  —