Standard

Extensions to the Predicate Programming Language for Efficient Graph Processing. / Shelekhov, Vladimir.

Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 65-71 (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Harvard

Shelekhov, V 2022, Extensions to the Predicate Programming Language for Efficient Graph Processing. in Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022, Institute of Electrical and Electronics Engineers Inc., pp. 65-71, 2022 Ivannikov Memorial Workshop, IVMEM 2022, Казань, Russian Federation, 23.09.2022. https://doi.org/10.1109/IVMEM57067.2022.9983960

APA

Shelekhov, V. (2022). Extensions to the Predicate Programming Language for Efficient Graph Processing. In Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022 (pp. 65-71). (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IVMEM57067.2022.9983960

Vancouver

Shelekhov V. Extensions to the Predicate Programming Language for Efficient Graph Processing. In Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc. 2022. p. 65-71. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022). doi: 10.1109/IVMEM57067.2022.9983960

Author

Shelekhov, Vladimir. / Extensions to the Predicate Programming Language for Efficient Graph Processing. Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., 2022. pp. 65-71 (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

BibTeX

@inproceedings{f01b7592a78447fdb0f935f8a16dba2d,
title = "Extensions to the Predicate Programming Language for Efficient Graph Processing",
abstract = "High-performance and correct implementation of graph algorithms for parallel hardware is a challenge. A set-based approach to develop efficient and correct graph processing algorithms in the framework of predicate software engineering is proposed. The efficiency of predicate programs is achieved by applying optimizing transformations.",
keywords = "GraphBLAS, Why3 verification system, deductive verification, graph algorithm, predicate programming",
author = "Vladimir Shelekhov",
year = "2022",
doi = "10.1109/IVMEM57067.2022.9983960",
language = "English",
isbn = "9781665492973",
series = "Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "65--71",
booktitle = "Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022",
address = "United States",
note = "2022 Ivannikov Memorial Workshop, IVMEM 2022, IVMEM 2022 ; Conference date: 23-09-2022 Through 24-09-2022",
url = "https://www.ivannikov-ws.org/",

}

RIS

TY - GEN

T1 - Extensions to the Predicate Programming Language for Efficient Graph Processing

AU - Shelekhov, Vladimir

PY - 2022

Y1 - 2022

N2 - High-performance and correct implementation of graph algorithms for parallel hardware is a challenge. A set-based approach to develop efficient and correct graph processing algorithms in the framework of predicate software engineering is proposed. The efficiency of predicate programs is achieved by applying optimizing transformations.

AB - High-performance and correct implementation of graph algorithms for parallel hardware is a challenge. A set-based approach to develop efficient and correct graph processing algorithms in the framework of predicate software engineering is proposed. The efficiency of predicate programs is achieved by applying optimizing transformations.

KW - GraphBLAS

KW - Why3 verification system

KW - deductive verification

KW - graph algorithm

KW - predicate programming

UR - https://www.scopus.com/inward/record.url?eid=2-s2.0-85146280413&partnerID=40&md5=e1bbdb6d051b7740dbc5e4d06216add4

UR - https://www.mendeley.com/catalogue/0e46df0f-80fc-3ee3-ab23-2c16bfd42133/

U2 - 10.1109/IVMEM57067.2022.9983960

DO - 10.1109/IVMEM57067.2022.9983960

M3 - Conference contribution

SN - 9781665492973

T3 - Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022

SP - 65

EP - 71

BT - Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2022 Ivannikov Memorial Workshop, IVMEM 2022

Y2 - 23 September 2022 through 24 September 2022

ER -

ID: 45708929