Player FM 앱으로 오프라인으로 전환하세요!
21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC
Manage episode 349205771 series 3276616
Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.
Links Gabriela:
- Twitter https://twitter.com/bugarela
- GitHub https://github.com/bugarela/
- Linkedin https://www.linkedin.com/in/bugarela/
Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco
Ela conversou conosco sobre:
- o que é TLA+
- como foram feitos seus trabalhos que juntaram TLA+ e Elixir
- como é trabalhar como Engenheira de Pesquisa
- como foi fazer mestrado
Links:
- Colóquios de Ciência da Computação https://www.youtube.com/@ColoquiosdeCienciadaComputacao
- Palestra “Elixir”, de Paulo Henrique Cuchi (08/11/2017) – 55 visualizações https://www.youtube.com/watch?v=okk-da7DESs
- TLA+ Transmutation - Elixir code and test generation from TLA+ specifications https://github.com/bugarela/tla-transmutation
- Informal Systems https://informal.systems/ https://github.com/informalsystems
- Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 https://www.youtube.com/watch?v=FxDm8VP2-zs
- Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra https://www.youtube.com/watch?v=trm9Lp0yt6Y
- Pesquise com Elixir https://pesquisecomelixir.com.br/
- Fully-Tested code generation from TLA+ specifications https://sol.sbc.org.br/index.php/sast/article/view/22179
Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g.
Nosso site é https://elixiremfoco.com. Estamos no Twitter em @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é [email protected].
66 에피소드
Manage episode 349205771 series 3276616
Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC.
Links Gabriela:
- Twitter https://twitter.com/bugarela
- GitHub https://github.com/bugarela/
- Linkedin https://www.linkedin.com/in/bugarela/
Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco
Ela conversou conosco sobre:
- o que é TLA+
- como foram feitos seus trabalhos que juntaram TLA+ e Elixir
- como é trabalhar como Engenheira de Pesquisa
- como foi fazer mestrado
Links:
- Colóquios de Ciência da Computação https://www.youtube.com/@ColoquiosdeCienciadaComputacao
- Palestra “Elixir”, de Paulo Henrique Cuchi (08/11/2017) – 55 visualizações https://www.youtube.com/watch?v=okk-da7DESs
- TLA+ Transmutation - Elixir code and test generation from TLA+ specifications https://github.com/bugarela/tla-transmutation
- Informal Systems https://informal.systems/ https://github.com/informalsystems
- Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 https://www.youtube.com/watch?v=FxDm8VP2-zs
- Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra https://www.youtube.com/watch?v=trm9Lp0yt6Y
- Pesquise com Elixir https://pesquisecomelixir.com.br/
- Fully-Tested code generation from TLA+ specifications https://sol.sbc.org.br/index.php/sast/article/view/22179
Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g.
Nosso site é https://elixiremfoco.com. Estamos no Twitter em @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é [email protected].
66 에피소드
모든 에피소드
×플레이어 FM에 오신것을 환영합니다!
플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.