Gabriel Leite

According to our database, Gabriel Leite authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2022

Stimulating Research Skills in Undergraduate Computing Students: An Experience Report.

Simone C. dos Santos, Anderson César Carvalho, Gabriel Leite, Luan Brito, Aline Gouveia

Proceedings of the IEEE Frontiers in Education Conference, 2022