Course Hive
Search

Welcome

Sign in or create your account

Continue with Google
or
Síntese de programas com Gustavo Soares (Microsoft)
Play lesson

Fronteiras da Engenharia de Software - Síntese de programas com Gustavo Soares (Microsoft)

5.0 (0)
18 learners

What you'll learn

This course includes

  • 76.3 hours of video
  • Certificate of completion
  • Access on mobile and TV

Summary

Full Transcript

Conversamos com Gustavo Soares, pesquisador na Microsoft Research. Sites de Gustavo https://gustavoasoares.github.io/ 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.

Course Hive

Continue this lesson in the app

Install CourseHive on Android or iOS to keep learning while you move.

Related Courses

FAQs

Course Hive
Download CourseHive
Keep learning anywhere