Discussões sobre tecnologia, programação, design, startups e as últimas tendências.
…
continue reading
Conteúdo fornecido por Fronteiras da Engenharia de Software. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Fronteiras da Engenharia de Software ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
Player FM - Aplicativo de podcast
Fique off-line com o app Player FM !
Fique off-line com o app Player FM !
15: Síntese de programas com Gustavo Soares (Microsoft)
M4A•Home de episódios
Manage episode 300007936 series 2931673
Conteúdo fornecido por Fronteiras da Engenharia de Software. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Fronteiras da Engenharia de Software ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
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.
…
continue reading
59 episódios
M4A•Home de episódios
Manage episode 300007936 series 2931673
Conteúdo fornecido por Fronteiras da Engenharia de Software. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Fronteiras da Engenharia de Software ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
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.
…
continue reading
59 episódios
Todos os episódios
×Bem vindo ao Player FM!
O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.