Model checking meets auto-tuning of high-performance programs

DOI10.1007/978-3-031-16767-6_4zbMATH Open1522.68317MaRDI QIDQ6103016FDOQ6103016

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)

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of model checking
• Title not available (Why is that?)
• 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)