Buchumschlag

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xia, Li-yao, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Li, Yao
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LazyDiT: Lazy Learning for the Acceleration of Diffusion Transformers
von: Shen, Xuan, et al.
Veröffentlicht: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

LazyReview A Dataset for Uncovering Lazy Thinking in NLP Peer Reviews
von: Purkayastha, Sukannya, et al.
Veröffentlicht: (2025)

Lazy Reimplication in Chronological Backtracking
von: Coutelier, Robin, et al.
Veröffentlicht: (2025)

The Virtues of Laziness: Multi-Query Kinodynamic Motion Planning with Lazy Methods
von: Pasricha, Anuj, et al.
Veröffentlicht: (2024)

Lazy Kronecker Product
von: Song, Zhao
Veröffentlicht: (2026)

Be Lazy - the Math Says
von: Wilkinson, Clynn
Veröffentlicht: (2025)

Lazy Query Expansion
von: Alexander Gelbukh
Veröffentlicht: (2002)

Lazy Linearity for a Core Functional Language
von: Mesquita, Rodrigo, et al.
Veröffentlicht: (2025)

The Omniscient, yet Lazy, Investor
von: Halkiewicz, Stanisław M. S.
Veröffentlicht: (2025)

Pathfinding with Lazy Successor Generation
von: Okumura, Keisuke
Veröffentlicht: (2024)

Towards Lazy B-Trees
von: Rysgaard, Casper Moldrup, et al.
Veröffentlicht: (2025)

Light Clients for Lazy Blockchains
von: Tas, Ertem Nusret, et al.
Veröffentlicht: (2022)

Lazy-DaSH: Lazy Approach for Hypergraph-based Multi-robot Task and Motion Planning
von: Lee, Seongwon, et al.
Veröffentlicht: (2025)

In Defense of Lazy Visual Grounding for Open-Vocabulary Semantic Segmentation
von: Kang, Dahyun, et al.
Veröffentlicht: (2024)

Shorten After You're Right: Lazy Length Penalties for Reasoning RL
von: Yuan, Danlong, et al.
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

Lazy FSCA for Unsupervised Variable Selection
von: Zocco, Federico, et al.
Veröffentlicht: (2021)

John Ellipsoids via Lazy Updates
von: Woodruff, David P., et al.
Veröffentlicht: (2025)

LMask: Learn to Solve Constrained Routing Problems with Lazy Masking
von: Li, Tianyou, et al.
Veröffentlicht: (2025)

Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
von: Ling, Chen, et al.
Veröffentlicht: (2026)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
von: Takisaka, Toru, et al.
Veröffentlicht: (2023)

Private Online Learning via Lazy Algorithms
von: Asi, Hilal, et al.
Veröffentlicht: (2024)

Lazy Diffusion Transformer for Interactive Image Editing
von: Nitzan, Yotam, et al.
Veröffentlicht: (2024)

Laziness, Barren Plateau, and Noise in Machine Learning
von: Liu, Junyu, et al.
Veröffentlicht: (2022)

Lazy Data Practices Harm Fairness Research
von: Simson, Jan, et al.
Veröffentlicht: (2024)

Hacking, The Lazy Way: LLM Augmented Pentesting
von: Goyal, Dhruva, et al.
Veröffentlicht: (2024)

Sharpened Lazy Incremental Quasi-Newton Method
von: Lahoti, Aakash, et al.
Veröffentlicht: (2023)

Lazy Quantum Walks with Native Multiqubit Gates
von: Foulds, Steph, et al.
Veröffentlicht: (2025)

Continuum Limits of Lazy Open Quantum Walks
von: Janiurek, Lara, et al.
Veröffentlicht: (2025)

Demystifying Lazy Training of Neural Networks from a Macroscopic Viewpoint
von: Li, Yuqing, et al.
Veröffentlicht: (2024)

LazyMAR: Accelerating Masked Autoregressive Models via Feature Caching
von: Yan, Feihong, et al.
Veröffentlicht: (2025)

Lazy Layers to Make Fine-Tuned Diffusion Models More Traceable
von: Liu, Haozhe, et al.
Veröffentlicht: (2024)

The Importance of Being Lazy: Scaling Limits of Continual Learning
von: Graldi, Jacopo, et al.
Veröffentlicht: (2025)

Second-Order Min-Max Optimization with Lazy Hessians
von: Chen, Lesi, et al.
Veröffentlicht: (2024)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
von: Jagadeesan, Radha
Veröffentlicht: (2024)

Grokking as the Transition from Lazy to Rich Training Dynamics
von: Kumar, Tanishq, et al.
Veröffentlicht: (2023)

LazyVLM: Neuro-Symbolic Approach to Video Analytics
von: Jian, Xiangru, et al.
Veröffentlicht: (2025)

Partially Lazy Gradient Descent for Smoothed Online Learning
von: Mhaisen, Naram, et al.
Veröffentlicht: (2026)

On Group Relative Policy Optimization Collapse in Agent Search: The Lazy Likelihood-Displacement
von: Deng, Wenlong, et al.
Veröffentlicht: (2025)