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 条

[21] A Systematic Review of Synthetic Data Generation Techniques Using Generative AI
Goyal, Mandeep
Mahmoud, Qusay H.
[J]. ELECTRONICS, 2024, 13 (17)
[22] Automatic Generation of Algorithms for the Binary Knapsack Problem
Parada, Lucas
Sepulveda, Mauricio
Herrera, Carlos
Parada, Victor
[J]. 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2013, : 3148 - 3152
[23] Formal derivation and automatic generation of sorting algorithms
Shi Haihe
Shi Haipeng
Xue Jinyun
[J]. Advanced Computer Technology, New Education, Proceedings, 2007, : 311 - 316
[24] Recent Algorithms on Automatic Hexahedral Mesh Generation
Yu, Wuyi
Zhang, Kang
Li, Xin
[J]. 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), 2015, : 697 - 702
[25] Automatic test generation algorithms for analogue circuits
Soma, M
[J]. IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS, 1996, 143 (06): : 366 - 373
[26] Automatic Generation of Facial Expression Using Generative Adversarial Nets
Kawai, Yoshiharu
Seo, Masataka
Chen, Yen-Wei
[J]. 2018 IEEE 7TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE 2018), 2018, : 278 - 280
[27] Automatic generation of detection algorithms for design defects
Moha, Naouel
Gueheneuc, Yann-Gael
Leduc, Pierre
[J]. ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 297 - 300
[28] Automatic generation control using GA considering distributed generation
Matsushita, S
Yukita, K
Goto, Y
Ichiyanagi, K
Aoki, H
Mizutani, Y
[J]. IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, 2002, : 1579 - 1583
[29] Analysis of the impact of distributed generation on automatic reclosing
Kumpulainen, LK
Kauhaniemi, KT
[J]. 2004 IEEE PES POWER SYSTEMS CONFERENCE & EXPOSITION, VOLS 1 - 3, 2004, : 603 - 608
[30] DISTRIBUTED AUTOMATIC FRAME GENERATION FOR CARTOON ANIMATION
Soon, Seah Hock
Feng, Tian
Lu Yixiang
Jie, Qiu
Quan, Chen
[J]. GCA 2007: PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON GRID COMPUTING AND APPLICATIONS, 2007, : 141 - 153

← 1 2 3 4 5 →