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

from Fronteiras da Engenharia de Software · host Rede Emílias de Podcasts

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.

What this episode covers

NOW PLAYING

0:00 1:07:44

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Pourquoi la haute couture s'est-elle développée en France ?

Sep 17, 2025 ·24m

Elle réalise son rêve grâce au français : l’histoire très inspirante de Nikki.

Jul 2, 2025 ·16m

Sacré Charlemagne

Jun 12, 2025 ·20m

La Nouvelle Renaissance du Louvre.

May 19, 2025 ·25m

Alexandre Dumas, le père des séries

Jan 10, 2025 ·28m

Les Mérovingiens : grandeur et décadence d'une dynastie

Jan 10, 2025 ·23m

Similar Podcasts

Capsules d'analyse financière de Dominique Jacquet Capsules d'analyse financière de Dominique Jacquet La Corrobra Canal Extremadura El espacio de la radio pública que pone en valor las lenguas autóctonas de Extremadura: el estremeñu, la fala y el portugués rayano.Con Juan Pedro Sánchez. Ils nous gavent ces écolos Raje Chronique réalisée par Jenny Bernard.« Ils nous gavent ces écolos » est l’émission pour celles et ceux qui écrasent les araignées car elles sont moches ou qu’elles font peur, qui pensent que les moustiques ne sont sur terre que pour piquer ou qui aiment les animaux, surtout bien cuits ! Ces épisodes de quelques minutes ont pour objectif de faire changer leur regard sur la biodiversité avec humour et légèreté ! On va refaire le monde X "En mode coach" Lola Bon. J’ai décidé d’aborder des sujets dont on ne parle pas, par peur du jugement de l’autre, par pudeur, par insignifiance, ou par manque d’envie.Le sexe est pourtant partout. Il fait partie intégrante des relations humaines, qu’elles soient amoureuses, amicales, professionnelles, cordiales ou même fortuites. Et pourtant, on n’en parle pas, ou pas assez, ou juste pas de la bonne manière.Moi, je veux parler du sexe, du vrai, celui qui est là, devant nous, et qu’on ignore…Bienvenue sur : On va refaire le monde X En mode coach.

Frequently Asked Questions

How long is this episode of Fronteiras da Engenharia de Software?

This episode is 1 hour and 7 minutes long.

When was this Fronteiras da Engenharia de Software episode published?

This episode was published on August 16, 2021.

What is this episode about?

Can I download this Fronteiras da Engenharia de Software episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!