Leonardo Piñeyro

According to our database, Leonardo Piñeyro authored at least 3 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Structure verification of deep neural networks at compilation time.

Leonardo Piñeyro, Alberto Pardo, Marcos Viera

J. Comput. Lang., 2021

2019

Structure verification of deep neural networks at compilation time using dependent types.

Leonardo Piñeyro, Alberto Pardo, Marcos Viera

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

2017

Parallel Processing of Intra-cranial Electroencephalogram Readings on Distributed Memory Systems.

Leonardo Piñeyro, Sergio Nesmachnow

Proceedings of the High Performance Computing - 4th Latin American Conference, 2017