Model checking meets auto-tuning of high-performance programs

DOI10.1007/978-3-031-16767-6_4MaRDI QIDQ6103016zbMATH OpenFDO

Authors Natalia Garanina, Sergey Staroletov, S. Gorlatch

Publication date 2 June 2023

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

zbMATH Keywords

model checkinghigh-performance computingtemporal logicscounterexamplesSPINauto-tuningPromela

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Hyperparameter autotuning of programs with HybridTuner
• Benchmarking a model checker for algorithmic improvements and tuning for performance
• Large-Scale Scientific Computing
• scientific article; zbMATH DE number 1844545
• scientific article; zbMATH DE number 2086366

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1304364 (Why is no real title available?)
• scientific article; zbMATH DE number 1982194 (Why is no real title available?)
• Handbook of model checking
• New Challenges in Model Checking

Cited in

(2)

• Benchmarking a model checker for algorithmic improvements and tuning for performance
• Hyperparameter autotuning of programs with HybridTuner

This page was built for publication: Model checking meets auto-tuning of high-performance programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103016)