15: Síntese de programas com Gustavo Soares (Microsoft)
Update: 2021-08-16
Description
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.
Comments
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
