Copertina

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Qiu, Jie, Cai, Colin, Bhatia, Sahil, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verified Code Transpilation with LLMs
di: Bhatia, Sahil, et al.
Pubblicazione: (2024)

LLM-Aided Compilation for Tensor Accelerators
di: Hong, Charles, et al.
Pubblicazione: (2024)

Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
di: Hong, Charles, et al.
Pubblicazione: (2025)

Verified Lifting of Deep learning Operators
di: Zhan, Qi, et al.
Pubblicazione: (2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
di: Mora, Federico, et al.
Pubblicazione: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
di: Spargo, Naomi, et al.
Pubblicazione: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
di: Ling, Hongyi, et al.
Pubblicazione: (2026)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
di: Griffin, Matt, et al.
Pubblicazione: (2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
di: Tobler, James, et al.
Pubblicazione: (2025)

Actor Capabilities for Message Ordering (Extended Version)
di: Gordon, Colin S.
Pubblicazione: (2025)

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

Pyrosome: Verified Compilation for Modular Metatheory
di: Jamner, Dustin, et al.
Pubblicazione: (2025)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
di: Chen, Pei-Wei, et al.
Pubblicazione: (2025)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

A Verified Compiler for Quantum Simulation
di: Li, Liyi, et al.
Pubblicazione: (2025)

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

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
di: Wu, Jinhua, et al.
Pubblicazione: (2025)

Optimism in Equality Saturation
di: Arbore, Russel, et al.
Pubblicazione: (2025)

Generic Reduction-Based Interpreters (Extended Version)
di: Bach, Casper
Pubblicazione: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
di: Grandury, Marcos, et al.
Pubblicazione: (2025)

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

Scenario-Based Proofs for Concurrent Objects [Extended Version]
di: Enea, Constantin, et al.
Pubblicazione: (2023)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
di: Fabian, Xaver, et al.
Pubblicazione: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

The Algebra of Patterns (Extended Version)
di: Binder, David, et al.
Pubblicazione: (2025)

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

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
di: Tekriwal, Mohit, et al.
Pubblicazione: (2025)

Practical Type-Based Taint Checking and Inference (Extended Version)
di: Karimipour, Nima, et al.
Pubblicazione: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
di: Bhat, Siddharth, et al.
Pubblicazione: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
di: Paraskevopoulou, Zoe
Pubblicazione: (2026)

The Session Abstract Machine (Extended Version)
di: Caires, Luís, et al.
Pubblicazione: (2024)

Handling Scope Checks (Extended Version)
di: Lee, Michael, et al.
Pubblicazione: (2026)

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

A Compiler for Operations on Relations with Bag Semantics
di: Dong, James, et al.
Pubblicazione: (2025)

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

Minimal Session Types for the $π$-calculus (Extended Version)
di: Arslanagic, Alen, et al.
Pubblicazione: (2021)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
di: Monniaux, David
Pubblicazione: (2024)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
di: Schüssele, Frank, et al.
Pubblicazione: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
di: Mahathevan, Kabilan, et al.
Pubblicazione: (2026)