15: Síntese De Programas Com Gustavo Soares (Microsoft) Fronteiras Da Engenharia De Software podcast

Artwork

Tecnologia Fronteiras Da Engenharia De Software

内容由Fronteiras da Engenharia de Software提供。所有播客内容（包括剧集、图形和播客描述）均由 Fronteiras da Engenharia de Software 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Fronteiras da Engenharia de Software « »
15: Síntese de programas com Gustavo Soares (Microsoft)

3+ y ago 1:07:44

分享

M4A•单集首页

内容由Fronteiras da Engenharia de Software提供。所有播客内容（包括剧集、图形和播客描述）均由 Fronteiras da Engenharia de Software 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.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

60集单集

#Tecnologia #Fronteiras Da Engenharia De Software

Artwork

15: Síntese de programas com Gustavo Soares (Microsoft)

Fronteiras da Engenharia de Software

published 3+ y ago

分享

M4A•单集首页

内容由Fronteiras da Engenharia de Software提供。所有播客内容（包括剧集、图形和播客描述）均由 Fronteiras da Engenharia de Software 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.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

60集单集

#Tecnologia #Fronteiras Da Engenharia De Software

所有剧集

×

欢迎使用Player FM

Player FM正在网上搜索高质量的播客，以便您现在享受。它是最好的播客应用程序，适用于安卓、iPhone和网络。注册以跨设备同步订阅。

收听超过500个主题