muRelBench: MicroBenchmarks for Zonotope Domains
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915407011512320 |
|---|---|
| author | Ballou, Kenny Sherman, Elena |
| author_facet | Ballou, Kenny Sherman, Elena |
| contents | We present \texttt{muRelBench}, a framework for synthetic benchmarks for weakly-relational abstract domains and their operations. This extensible microbenchmarking framework enables researchers to experimentally evaluate proposed algorithms for numerical abstract domains, such as closure,least-upper bound, and forget, enabling them to quickly prototype and validate performance improvements before considering more intensive experimentation. Additionally, the framework provides mechanisms for checking correctness properties for each of the benchmarks to ensure correctness within the synthetic benchmarks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_16243 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | muRelBench: MicroBenchmarks for Zonotope Domains Ballou, Kenny Sherman, Elena Logic in Computer Science Software Engineering We present \texttt{muRelBench}, a framework for synthetic benchmarks for weakly-relational abstract domains and their operations. This extensible microbenchmarking framework enables researchers to experimentally evaluate proposed algorithms for numerical abstract domains, such as closure,least-upper bound, and forget, enabling them to quickly prototype and validate performance improvements before considering more intensive experimentation. Additionally, the framework provides mechanisms for checking correctness properties for each of the benchmarks to ensure correctness within the synthetic benchmarks. |
| title | muRelBench: MicroBenchmarks for Zonotope Domains |
| topic | Logic in Computer Science Software Engineering |
| url | https://arxiv.org/abs/2404.16243 |