Automatic Generation of Distributed Algorithms with Generative AI

被引：2

作者：

Vaz, Diogo ^{[1
]}

Matos, David R. ^{[1
]}

Pardal, Miguel L. ^{[1
]}

Correia, Miguel ^{[1
]}

机构：

[1] Univ Lisbon, Inst Super Tecn, INESC ID, Lisbon, Portugal

来源：

2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S | 2023年

关键词：

Fault-Tolerant Distributed Algorithms; Reliable Broadcast; Automatic Algorithm Generation; Generative AI; Reinforcement Learning; Automatic Algorithm Validation;

D O I：

10.1109/DSN-S58398.2023.00037

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Fault-tolerant distributed algorithms such as Reliable Broadcast, Causal Broadcast, Total Order Broadcast, and Consensus, are at the core of many modern distributed systems. However, the development of distributed algorithms by humans is a laborious and complex process. This work presents a novel approach to generating distributed algorithms using Generative Artificial Intelligence that allows for automating the process of generating such algorithms. The paper also summarizes our initial results on using the approach to generate Reliable Broadcast algorithms.

引用

页码：127 / 131

页数：5

共 50 条

[1] Automatic Generation of Multimedia Teaching Materials Based on Generative AI: Taking Tang Poetry as an Example
Chen, Xu
Wu, Di
[J]. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2024, 17 : 1353 - 1366
[2] Automatic Generation of Metaheuristic Algorithms
Iturra, Sergio
Contreras-Bolton, Carlos
Parada, Victor
[J]. METAHEURISTICS AND NATURE INSPIRED COMPUTING, META 2021, 2022, 1541 : 48 - 58
[3] AI and Automatic Music Generation for Mindfulness
Williams, Duncan
Hodge, Victoria J.
Gega, Lina
Murphy, Damian
Cowling, Peter, I
Drachen, Anders
[J]. 2019 AES INTERNATIONAL CONFERENCE ON IMMERSIVE AND INTERACTIVE AUDIO, 2019,
[4] Automatic Generation and Optimization of Product Shapes Based on Generative Artificial Intelligence (AIGC) and Computational Geometry Algorithms
Liu L.
Gao Y.
[J]. Computer-Aided Design and Applications, 2024, 21 (S25): : 32 - 45
[5] Generative AI for Code Generation: Software Reuse Implications
Kapitsaki, Georgia M.
[J]. REUSE AND SOFTWARE QUALITY, ICSR 2024, 2024, 14614 : 37 - 47
[6] ALGORITHMS FOR AUTOMATIC TEST PATTERN GENERATION
KIRKLAND, T
MERCER, MR
[J]. IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (03): : 43 - 55
[7] Revolutionizing Visuals: The Role of Generative AI in Modern Image Generation
National University of Singapore, Singapore, Singapore
不详
不详
不详
[J]. ACM Trans. Multimedia Comput. Commun. Appl., 11
[8] Trials of using Generative AI for APB UVM testbench generation
Dranga, Diana
[J]. ROMANIAN JOURNAL OF INFORMATION TECHNOLOGY AND AUTOMATIC CONTROL-REVISTA ROMANA DE INFORMATICA SI AUTOMATICA, 2024, 34 (02):
[9] Generative AI and generative education
Gilbert, Thomas Krendl
[J]. ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 2024, 1534 (01) : 11 - 14
[10] Feasibility of distributed parallel implementation of AI search algorithms
Churchill, J
Cant, R
Al-Dabass, D
[J]. MODELLING AND SIMULATION 2002, 2002, : 168 - 171

← 1 2 3 4 5 →