Buchumschlag

Correctness is Demanding, Performance is Frustrating

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sinkarovs, Artjoms, Koopman, Thomas, Scholz, Sven-Bodo
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

Comparing Parallel Functional Array Languages: Programming and Performance
von: van Balen, David, et al.
Veröffentlicht: (2025)

When Agda met Vampire
von: Šinkarovs, Artjoms, et al.
Veröffentlicht: (2026)

Quickhull is Usually Forward Stable
von: Koopman, Thomas, et al.
Veröffentlicht: (2025)

Neural Network Verification is a Programming Language Challenge
von: Cordeiro, Lucas C., et al.
Veröffentlicht: (2025)

Category Theory for Supercomputing: The Tensor Product of Linear BSP Algorithms
von: Koopman, Thomas, et al.
Veröffentlicht: (2025)

VQhull: a Fast Planar Quickhull
von: Koopman, Thomas, et al.
Veröffentlicht: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
von: Smith, Scott, et al.
Veröffentlicht: (2023)

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

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
von: Wong, Lionel, et al.
Veröffentlicht: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
von: Xia, Li-yao, et al.
Veröffentlicht: (2024)

Abstracting Denotational Interpreters
von: Graf, Sebastian, et al.
Veröffentlicht: (2024)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

BeePL: Correct-by-compilation kernel extensions
von: Priya, Swarn, et al.
Veröffentlicht: (2025)

Evaluating Compiler Optimization Impacts on zkVM Performance
von: Gassmann, Thomas, et al.
Veröffentlicht: (2025)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

Transition-Oriented Programming: Developing Provably Correct Systems
von: Ding, Yepeng
Veröffentlicht: (2020)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
von: Vákár, Matthijs
Veröffentlicht: (2020)

Provenance Guided Rollback Suggestions
von: Zhao, David, et al.
Veröffentlicht: (2025)

jMT: Testing Correctness of Java Memory Models (Extended Version)
von: Panneke, Lukas, et al.
Veröffentlicht: (2026)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
von: Sun, Simeng, et al.
Veröffentlicht: (2025)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
von: Amtoft, Torben, et al.
Veröffentlicht: (2024)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
von: Huang, Hanxian, et al.
Veröffentlicht: (2024)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
von: Pedersen, Jan, et al.
Veröffentlicht: (2025)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
von: Schmellenkamp, Marko, et al.
Veröffentlicht: (2024)

Metronome: tracing variation in poetic meters via local sequence alignment
von: Nagy, Ben, et al.
Veröffentlicht: (2024)

Correctness Witnesses with Function Contracts
von: Heizmann, Matthias, et al.
Veröffentlicht: (2025)

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
von: Ding, Peng, et al.
Veröffentlicht: (2026)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
von: Zhang, Yansen, et al.
Veröffentlicht: (2025)

Flexible Correct-by-Construction Programming
von: Runge, Tobias, et al.
Veröffentlicht: (2022)

A Performance Model for Warp Specialization Kernels
von: Liu, Zhengyang, et al.
Veröffentlicht: (2025)

Analyzing Decoders for Quantum Error Correction
von: Molavi, Abtin, et al.
Veröffentlicht: (2026)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
von: Chen, Ethan, et al.
Veröffentlicht: (2024)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
von: Richey, Cynthia, et al.
Veröffentlicht: (2025)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
von: Li, Senxi, et al.
Veröffentlicht: (2026)

GPU Performance Portability needs Autotuning
von: Ringlein, Burkhard, et al.
Veröffentlicht: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

Verifying Fault-Tolerance of Quantum Error Correction Codes
von: Chen, Kean, et al.
Veröffentlicht: (2025)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)