Discussões sobre tecnologia, programação, design, startups e as últimas tendências.
…
continue reading
Treść dostarczona przez Fronteiras da Engenharia de Software. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Fronteiras da Engenharia de Software lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
Player FM - aplikacja do podcastów
Przejdź do trybu offline z Player FM !
Przejdź do trybu offline z Player FM !
15: Síntese de programas com Gustavo Soares (Microsoft)
M4A•Źródło odcinka
Manage episode 300007936 series 2931673
Treść dostarczona przez Fronteiras da Engenharia de Software. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Fronteiras da Engenharia de Software lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.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 odcinków
M4A•Źródło odcinka
Manage episode 300007936 series 2931673
Treść dostarczona przez Fronteiras da Engenharia de Software. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Fronteiras da Engenharia de Software lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.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 odcinków
همه قسمت ها
×Zapraszamy w Player FM
Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.