Copertina

Probing the Design Space: Parallel Versions for Exploratory Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beckmann, Tom, Bergsiek, Joana, Krebs, Eva, Mattis, Toni, Ramson, Stefan, Rinard, Martin C., Hirschfeld, Robert
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
di: Rein, Patrick, et al.
Pubblicazione: (2024)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
di: Rein, Patrick, et al.
Pubblicazione: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
di: Beckmann, Tom, et al.
Pubblicazione: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
di: Jin, Charles, et al.
Pubblicazione: (2023)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
di: Rinard, Martin
Pubblicazione: (2026)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
di: Rinard, Martin
Pubblicazione: (2026)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
di: Brahmakshatriya, Ajay, et al.
Pubblicazione: (2026)

Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data
di: Jin, Charles, et al.
Pubblicazione: (2024)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
di: Huot, Mathieu, et al.
Pubblicazione: (2024)

Probabilistic Programming with Programmable Variational Inference
di: Becker, McCoy R., et al.
Pubblicazione: (2024)

Parallel Dual-Numbers Reverse AD
di: Smeding, Tom, et al.
Pubblicazione: (2022)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)

Compilation Semantics for a Programming Language with Versions
di: Tanabe, Yudai, et al.
Pubblicazione: (2023)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
di: Steevens, Maarten, et al.
Pubblicazione: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
di: Fowler, Simon, et al.
Pubblicazione: (2023)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
di: Rasch, Ari
Pubblicazione: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

A Direct-Style Effect Notation for Sequential and Parallel Programs
di: Richter, David, et al.
Pubblicazione: (2023)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
di: Balasubramanian, A. R., et al.
Pubblicazione: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
di: Zheng, Size, et al.
Pubblicazione: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
di: Fowler, Simon, et al.
Pubblicazione: (2026)

Validating Quantum State Preparation Programs (Extended Version)
di: Li, Liyi, et al.
Pubblicazione: (2025)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
di: Schröer, Philipp, et al.
Pubblicazione: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
di: Lauwaerts, Tom, et al.
Pubblicazione: (2025)

A Promising Future: Omission Failures in Choreographic Programming
di: Graversen, Eva, et al.
Pubblicazione: (2017)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

Language-Integrated Recursive Queries (Full Version)
di: Herlihy, Anna, et al.
Pubblicazione: (2025)

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
di: Silva, André, et al.
Pubblicazione: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

Comparing Parallel Functional Array Languages: Programming and Performance
di: van Balen, David, et al.
Pubblicazione: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
di: Cheng, Ruotong, et al.
Pubblicazione: (2025)

Contrasting Deadlock-Free Session Processes (Extended Version)
di: Jaramillo, Juan C., et al.
Pubblicazione: (2025)

Visualizing the Evaluation of Functional Programs for Debugging
di: Whitington, John, et al.
Pubblicazione: (2024)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
di: Kocal, Ali Rasim, et al.
Pubblicazione: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

Extending Contract Verification for Parallel Programming Models to Fortran
di: Oraji, Yussur Mustafa, et al.
Pubblicazione: (2026)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
di: Yan, Pengbo, et al.
Pubblicazione: (2024)