ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Ouvir "15: Síntese de programas com Gustavo Soares (Microsoft)"
Sinopse do Episódio
Conversamos com Gustavo Soares, pesquisador na Microsoft Research.
Sites de Gustavo
https://www.microsoft.com/en-us/research/people/gsoares/
https://scholar.google.com.br/citations?user=MwfgMR0AAAAJ&hl=pt-BR
https://www.linkedin.com/in/gustavoasoares
Links Citados
Curso de Armando Solar sobre Síntese de Programas: https://people.csail.mit.edu/asolar/SynthesisCourse/index.htm
On the fly synthesis of edit suggestions https://dl.acm.org/doi/10.1145/3360569
Program Synthesis https://www.microsoft.com/en-us/research/publication/program-synthesis/
Nossa equipe é:
Leonardo Fernandes (IFAL)
Gustavo Pinto (UFPA)
Fabio Petrillo (UQAC)
Danilo Monteiro (ZUP / ITAÚ)
Adolfo Gustavo Serra Seca Neto (UTFPR)
Ingrid Nunes (UFRGS)
Nosso site é https://fronteirases.github.io/.
A edição deste episódio foi feita pela Zup Innovation.
Sites de Gustavo
https://www.microsoft.com/en-us/research/people/gsoares/
https://scholar.google.com.br/citations?user=MwfgMR0AAAAJ&hl=pt-BR
https://www.linkedin.com/in/gustavoasoares
Links Citados
Curso de Armando Solar sobre Síntese de Programas: https://people.csail.mit.edu/asolar/SynthesisCourse/index.htm
On the fly synthesis of edit suggestions https://dl.acm.org/doi/10.1145/3360569
Program Synthesis https://www.microsoft.com/en-us/research/publication/program-synthesis/
Nossa equipe é:
Leonardo Fernandes (IFAL)
Gustavo Pinto (UFPA)
Fabio Petrillo (UQAC)
Danilo Monteiro (ZUP / ITAÚ)
Adolfo Gustavo Serra Seca Neto (UTFPR)
Ingrid Nunes (UFRGS)
Nosso site é https://fronteirases.github.io/.
A edição deste episódio foi feita pela Zup Innovation.
In God we trust