POPULARITY
Este episódio do podcast "Fronteiras da Engenharia de Software" com Rui Maranhão Abreu aborda a localização de falhas de software e suas aplicaçõe. Rui, professor catedrático em Engenharia de Software na Universidade do Porto e Research Software Engineer na Meta, compartilha ideias sobre esse campo da Engenharia de Software. No episódio, são discutidos conceitos fundamentais, como a diferença entre falhas e bugs, bem como os desafios enfrentados na detecção de falhas em sistemas complexos e distribuídos, especialmente em ambientes de integração contínua, como na Meta. Rui também explora o papel da inteligência artificial, machine learning e deep learning na localização de falhas e destaca avanços recentes na pesquisa de reparo automatizado de programas. Além disso, são abordados artigos recentes de Rui e seus co-autores, incluindo o "Remoção de Código Morto na Meta", que apresenta o Framework de Remoção Sistemática de Código e Ativos (SCARF), e "Depuração de Erros de Tipo Alimentada por GPT-3", que descreve uma técnica para corrigir automaticamente erros de tipo em programas OCaml, utilizando o GPT-3. A conversa também explora a carreira de Rui na Meta, sua experiência como General Chair do ICSE 2024 em Portugal e suas visões sobre a próxima fronteira da engenharia de software. Site de Rui: https://ruimaranhao.com/ Outros links: https://sigarra.up.pt/feup/pt/func_geral.formview?p_codigo=466651 https://dei.fe.up.pt/pt/blog/2023/04/10/rui-maranhao-toma-posse-como-diretor-do-prodei/ Artigos: "Remoção de Código Morto na Meta: Exclusão Automática de Milhões de Linhas de Código e Petabytes de Dados Obsoletos" "Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data" https://dl.acm.org/doi/10.1145/3611643.3613871 Localização de características baseada em espectro: um estudo de caso usando o ArgoUML. Spectrum-based feature localization: a case study using ArgoUML https://dl.acm.org/doi/abs/10.1145/3461001.3473065 Depuração de Erros de Tipo Alimentada por GPT-3: Investigando o Uso de Modelos de Linguagem Avançados para Reparo de Código GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair https://dl.acm.org/doi/abs/10.1145/3623476.3623522 Mentat (ferramenta) https://figshare.com/articles/software/GPT-3-Powered_Type_Error_Debugging_Investigating_the_Use_of_Large_Language_Models_for_Code_Repair_SLE_2023_/23646903 The bumpy road of taking automated debugging to industry https://arxiv.org/abs/2212.01237 Outros links: ICSE 2024 https://conf.researchr.org/home/icse-2024 FSE 2024 https://conf.researchr.org/home/fse-2024 ICSE 2026 https://twitter.com/rafaelpri/status/1543318975043383296 Mais informações em https://fronteirases.github.io/episodios/paginas/46 Entrevistadores: Adolfo Neto (PPGCA UTFPR) https://adolfont.github.io e Maria Claudia Emer Nosso site é: https://fronteirases.github.io Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr. Link: https://www.youtube.com/watch?v=8ZZbAkKNx7s Data de publicação: 15 de maio de 2024. Como citar este episódio FRONTEIRAS DA ENGENHARIA DE SOFTWARE EP. 46: Localização de Falhas de Software, com Rui Maranhão Abreu (Universidade do Porto e Meta). [Locução de]: Adolfo Neto e Maria Claudia Emer. Entrevistado: Rui Maranhão Abreu. S. l.: Fronteiras da Engenharia de Software, 15 mai. 2024. Podcast. Disponível em: https://fronteirases.github.io/episodios/paginas/46. Acesso em: 15 mai. 2024. --- Send in a voice message: https://podcasters.spotify.com/pod/show/fronteirases/message
UNIVERSIDADE DO PORTO CRIA JOGO PARA AJUDAR CRIANÇAS AUTISTAS by Mafalda Ramos
Objetivo é ampliar investigações sobre os mares e formação a longo prazo para professores dos ensinos básico e secundário na instituição. Uma parceria da Agência Radioweb e da Rádio ONU News.
O congresso "Encontro Investigação Jovem" conta com a apresentação de várias investigações feitas por alunos da Universidade do Porto. Uma delas estuda os efeitos do elixir no vírus da Covid-19. See omnystudio.com/listener for privacy information.
Edição de 10 de Fevereiro 2020
David Leite Viana apresenta uma nova abordagem na análise da morfologia urbana e explica em que medida esta opção metodológica deu a conhecer a influência da configuração urbana na vida social de Maputo.
Edição de 06 Novembro 2019
Com “Um pouco mais de Luz. Explicando o eletrochoque” Jorge Mota espera que este livro cumpra o duplo objetivo da divulgação científica: a formação e a informação.
“Eletrónica, uma Visão de Projeto” reflete a visão de Pedro Guedes de Oliveira e de Dinis Magalhães Santos sobre aquilo que deve ser o ensino da eletrónica. Pedro Guedes de Oliveira, Professor Emérito da Universidade do Porto, explica neste podcast em que consiste esta obra e o que esteve na génese da sua publicação.
"Dom João de Castro. Paráfrase e Concordância de Algumas Profecias de Bandarra, Sapateiro de Trancoso”, da autoria de João Carlos Gonçalves Serafim, promete clarificar e desmistificar algumas das ideias que até hoje foram moldando a figura de Dom João de Castro, de Bandarra e do sebastianismo.
Traumatismos Crânio-Encefálicos Questões Essenciais na prática clínica” contribuirá, nas palavras de Rui Vaz, coordenador desta obra, para um melhor conhecimento deste problema e para uma melhor assistência médica nos serviços de saúde.
José Carlos Santos e João Nuno Tavares são os organizadores de uma obra que junta físicos e matemáticos em redor da genialidade de Einstein. Os dois contam neste podcast em que circunstâncias é que surgiu a publicação deste livro.
Manuel João Monte explica no Prólogo de "O Bairro da Tabela Periódica" que “Embora se fundamente em pressupostos científicos sérios, procurou-se que o enredo da peça tivesse a leveza e o humor suficientes para interessar a um público vasto…”
“The history of computing: what can it offer to those who are inventing the future of computing?” foi a palestra a cargo de Paul Ceruzzi. Paul Ceruzzi é curador de eletrónica aeroespacial e de computação do Departamento de História Espacial do Museu Nacional do Ar e do Espaço, Smithsonian Institution, em Washington, DC. Antes de ingressar no Smithsonian, Paul Ceruzzi lecionou história na Clemson University, na Carolina do Sul. (Esta é a segunda parte da talk do investigador Paul Ceruzzi.)
“The history of computing: what can it offer to those who are inventing the future of computing?” foi a palestra a cargo de Paul Ceruzzi. Paul Ceruzzi é curador de eletrónica aeroespacial e de computação do Departamento de História Espacial do Museu Nacional do Ar e do Espaço, Smithsonian Institution, em Washington, DC. Antes de ingressar no Smithsonian, Paul Ceruzzi lecionou história na Clemson University, na Carolina do Sul. (Esta é a segunda parte da talk do investigador Paul Ceruzzi.)
A primeira sessão do Future of Computing foi da Sadaf R. Alam. Sadaf Alam é Chief Technology Office no Swiss National Supercomputing Centre, na Suíça, onde é a responsável pelo Piz Daint, o supercomputador mais rápido da Europa e o terceiro a nível mundial. Até 2009 era cientista no Oak Ridge National Laboratory, nos Estados Unidos. “Grand challenges and the role of supercomputing” foi o tema da palestra da investigadora.
A TVU. realizou em parceria com Rogério Sousa, investigador do CITCEM- Centro de Investigação Transdisciplinar «Cultura, Espaço e Memória» da U.Porto, uma produção em vídeo e fotografia em que cerca de 50 dos objectos egiptológicos do património do Museu de História Natural e Ciência da U.Porto, divididos em 7 episódios, aparecem no seu contexto histórico e cultural e nos contam pequenas narrativas associados a cada um deles.
Diagnóstico Médico Assistido por Computador. O passado, tendências atuais e novos desafios - Aurélio Campilho