Towards an Expressive Language for PDE Solvers
Abstract elided by the publisher.
Related papers
- Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid OOPSLA 2023
- Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers OOPSLA 2025
- A Practical Functional Program for the CRAY X-MP JFP 1992
- Partial Dead Code Elimination using Slicing Transformations PLDI 1997
- ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM OOPSLA 2014
- Monitoring CTMCs by Multi-clock Timed Automata CAV 2018
- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions CAV 2014
- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants TACAS 2006