Departamento de Ciência da Computação do KAIST desenvolve tecnologia de tradução automática de C para Rust

O KAIST informou no dia 13 que a equipe de pesquisa do Departamento de Ciência da Computação, liderada por Ryu Seok-young (Laboratório de Linguagens de Programação), desenvolveu uma "tecnologia de tradução de código de C para Rust" que evita problemas de memória nas funcionalidades centrais da linguagem C. O resultado desta pesquisa foi aceito na conferência acadêmica internacional "ASE (Automated Software Engineering)".

O artigo foi publicado em 21 de junho, no horário da Coreia, no periódico PACMPL (Proceedings of the ACM on Programming Languages), e foi apresentado na conferência PLDI 2024, realizada entre 25 e 27 de junho.

[azabell]

Parece interessante mesmo.

[skrevolve]

Se vão substituir a modernização por uma conversão, isso ainda dá algum sentido ao Rust?

[purely4959]

Não haveria mérito suficiente do ponto de vista da segurança de memória?
Além disso, ao tentar fazer com que o código C existente seja gerenciado com base em ownership, parece que também seria possível encontrar problemas de segurança nas partes que não podem ser convertidas automaticamente.

[koreaisbest]

De C para Rust... você bebeu?

[regentag]

Não dá para traduzir de C para Rust..?

[andrewchaa]

Se a conversão é só de union, não entendo muito bem qual é o sentido disso.

[botplaysdice]

Talvez o motivo de focarem na conversão de union seja que traduzir os outros componentes é simples, não é?

[jongyeol]

Só pelo título da matéria, é fácil entender erroneamente que a tradução C->Rust já funciona por completo, mas, tanto nesta matéria quanto em outras, parece que só a conversão de union é mencionada.

---

(nesta matéria)
"A equipe de pesquisa desenvolveu uma tecnologia para traduzir unions da linguagem C existente em código Rust."
"A equipe de pesquisa planeja realizar estudos posteriores para chegar à etapa de 'tradução totalmente automática'."

---

(outra matéria)
"A KAIST (presidente Lee Kwang-hyung) anunciou no dia 13 que a equipe de pesquisa do professor Ryu Seok-young, da Escola de Ciência da Computação (Laboratório de Linguagens de Programação), desenvolveu pela primeira vez no mundo uma tecnologia para converter union da linguagem C em tagged union do Rust."
https://www.lecturernews.com/news/articleView.html?idxno=158865

[secret3056]

Há pouco tempo também teve a notícia sobre TRACTOR..