A palestra intitulada “NextGen Accelerators: Flexible, Scalable, Efficient – Together” será apresentada pelo Prof. Pedro Trancoso (Chalmers University of Technology), no dia 19 de fevereiro, às 11:00, na sala B008. A moderação ficará a cargo do Prof. Diniz (DEI).

Sobre a Palestra:

“Durante muito tempo, os sistemas informáticos foram construídos em torno de um processador de uso geral cada vez mais potente. No entanto, a certa altura, esses superchips monolíticos deixaram de ser capazes de oferecer o desempenho adicional esperado devido a limitações como a complexidade do design e a densidade de potência.
O declínio do processador monolítico deu lugar a novas arquiteturas. Com a eficiência como objetivo principal, as arquiteturas específicas de domínio, também conhecidas como aceleradores, começaram a desempenhar um papel importante. A constatação de que um tamanho único não serve para todos resultou numa explosão de diversos aceleradores para diferentes aplicações e finalidades, tanto na investigação como na indústria.
Os designers desses aceleradores deparam-se geralmente com o dilema entre uma arquitetura genérica que resistirá ao teste do tempo e uma arquitetura dedicada à aplicação que é muito eficiente. Queremos as duas coisas! Por isso, focamos no design de blocos de construção para a próxima geração de aceleradores. Esses blocos são eficientes, mas, ao mesmo tempo, podem ser combinados de diferentes maneiras para alcançar a flexibilidade e a escalabilidade necessárias. Nesta palestra, apresentarei alguns dos nossos resultados de pesquisa recentes em direção a esse objetivo.”

Sobre o Orador:

Pedro Trancoso é Professor Catedrático do Department of Computer Science and Engineering (CSE) of the Chalmers University of Technology, na Suécia. É licenciado em engenharia pelo Instituto Superior Técnico (IST) (1993), em Portugal, e possui mestrado e doutoramento (1998) pela University of Illinois at Urbana-Champaign, nos EUA. Os seus interesses de investigação centram-se na arquitetura de computadores (hierarquia de memória, processadores multicore, computação reconfigurável e eficiência energética), com especial enfoque na aceleração de hardware para aplicações emergentes, como a aprendizagem automática. Atualmente, colabora ativamente em vários projetos de investigação da UE (VEDLIoT, eProcessor e EPI SGA2) e projetos de investigação suecos SSF (PRIDE, QuantumStack, AutoPIM), bem como no projeto de mestrado da UE EUMaster4HPC sobre HPC. É também diretor do programa de mestrado em Sistemas Informáticos de Alto Desempenho (MPHPC) na Chalmers desde o seu início em 2019.

A palestra intitulada “Safer Software with Liquid Types”, será apresentada pelo Prof. Alcides Fonseca no dia 4 de fevereiro, às 15:00, na sala B006, com a moderação do Prof. José Campos (DEI).

Sobre a Palestra:

“In a world where LLM-generated code is being produced at a faster pace than human written code, verification is more important than ever. Liquid Types (refining types with logical predicates, e.g. {x:Int | x > 10}) have been around for 17 years now but, despite their many applications, they haven’t taken off. In this talk we will answer why (PLDI’25), based on user interviews we conducted, relating them to other verification tools such as Interactive Theorem Provers and Design-by-Contract approaches like Dafny. Finally, we will see how our research group is addressing those challenges in both LiquidJava and Aeon.”

Sobre o Palestrante:

Alcides Fonseca é Professor Associado na Universidade de Lisboa, onde lidera a linha de investigação em Sistemas de Software Fiáveis. Em paralelo com a sua atividade principal como Professor Associado na Universidade de Lisboa, Alcides tem trabalhado, ao longo dos anos, para e com várias startups, incluindo a fundação de uma empresa júnior. Em qualquer uma dessas funções, Alcides utiliza uma combinação de linguagens de programação (Python, Haskell, Lean, Scala) e outras desenvolvidas pelo seu grupo de investigação, como a linguagem de programação Aeon, que gera automaticamente código com base em Programação Genética e Tipos Líquidos.

A palestra intitulada “Great Opportunities for Brazil: Brazilian Microcontroller with RISC-V Architecture and Microelectronics Residency – IC Brazil Innovation Project”, será apresentada pelo Prof. João Baptista Martins no dia 20 de janeiro, às 14:30, na sala B006, com a moderação do Prof. Rosaldo Rossetti (DEI).

Sobre a Palestra:

O objetivo desta palestra é apresentar os principais projetos que estão a ser desenvolvidos no Brasil na área da Microeletrónica. O primeiro trata da formação e desenvolvimento de recursos humanos, denominado Residência em Microeletrónica – IC Brasil Inovação, e o segundo trata do projeto, desenvolvimento e implementação de hardware e software de um microcontrolador de 32 bits com arquitetura RISC-V e comunicação BLE (BlueMacaw).

Sobre o Palestrante:

João Baptista dos Santos Martins é licenciado (1984) e mestre (1993) em Engenharia Elétrica pela Universidade Federal de Santa Maria/Brasil. É doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul/Brasil, com especialização em Microeletrónica (2001). Concluiu um pós-doutorado no Instituto de Engenharia e Sistemas Informáticos, Investigação em Lisboa (INESCID)/Portugal (2015). É líder do Grupo de Microeletrónica da UFSM e professor titular no Departamento de Eletrónica e Computação da UFSM. É Investigador de Desenvolvimento Tecnológico (DT) no CNPq. É coordenador geral da SMDH (Santa Maria Design House) e coordenador do Curso de Especialização em Microeletrónica da UFSM. Tem experiência e publicações nas áreas de Engenharia Elétrica e Computação, com ênfase em hardware, trabalhando principalmente nos seguintes tópicos: microeletrónica, FPGA, VHDL, Baixo Consumo de Energia, Microcontroladores e Projeto de Circuitos Integrados Tolerantes à Radiação.

A palestra “A Journey Through Cybersecurity: Research on IDPS for NC enabled systems and Real-World Automotive Security Challenges” será apresentada pelo Dr. Reza ParsaMehr, no dia 17 de dezembro, às 17:00, na sala B021.

Resumo:

“My journey in cybersecurity began in the classroom. For more than five years, I served as a university lecturer and faculty member in Iran, teaching and supervising students in computer networks, network security, and secure system design. My path then moved into advanced research, where I contributed to the EU Horizon 2020 SECRET project funded under Horizon Europe’s Marie Skłodowska-Curie Actions programme. I developed some intrusion detection and prevention mechanisms for network coding–enabled 5G mobile small cells.
Transitioning to industry introduced a new reality, where cybersecurity directly affects safety, regulation, and large-scale engineering. Today, as Security and Privacy Team Leader at Aumovio Engineering Solution, I work as a security and privacy specialist and oversee blue-team, penetration testing, and cybersecurity maintenance across automotive platforms while ensuring compliance with ISO/SAE 21434, UNECE R155/R156.
In this keynote, I’ll introduce my research on intrusion detection and prevention mechanisms for network-coding–enabled systems, followed by an overview of real automotive cybersecurity challenges and potential solutions.”

Sobre o Palestrante:

Dr. Reza ParsaMehr é especialista em cibersegurança com experiência como docente universitário, investigador e líder em segurança industrial. É doutorado em Segurança em Telecomunicações e atualmente lidera o Departamento de Segurança e Privacidade da Aumovio Engineering Solutions, com foco em cibersegurança automóvel, design de arquitetura segura e conformidade regulamentar.

A palestra “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” será apresentada pelo Prof. Jay Bolter, no dia 20 de novembro, às 16:30, na sala D101 (anteriormente anunciada na I-105), e será moderada pelo Prof. António Coelho (DEI).

A palestra terá também transmissão online:

DEI Talks | “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” by Prof. Jay Bolter | Meeting-Join | Microsoft Teams

Resumo:

“For more than 25 years, I have been working with students and colleagues at the Georgia Institute of Technology on the history, theory, and practice of digital media. Highlights of that work include projects in our Augmented Environments Lab exploring virtual, augmented, and mixed reality—particularly in the contexts of cultural heritage, entertainment, and personal expression. My interest in the role of digital media within the broader history of media has led to papers and books such as Remediation: Understanding New Media (1999), co-authored with Richard Grusin, and Reality Media: Augmented and Virtual Reality (2021), co-authored by Blair MacIntyre and Maria Engberg. In my presentation, I will review this body of work and suggest how it connects to current research with students, with a particular focus on generative AI. In harvesting billions of words and images from the internet, generative AI performs an algorithmic remix—or remediation—of all the digitized and digital media of the past.”

Sobre o Palestrante:

Jay David Bolter é agora Professor Emérito na Georgia Tech. Em 2025, reformou-se como Wesley Chair of New Media e codiretor do Augmented Environments Lab. Tem dado inúmeras palestras na América do Norte e na Europa e foi Professor Convidado na Universidade de Malmö, na Suécia. Os seus livros incluem Remediation (com Richard Grusin), Windows and Mirrors (com Diane Gromala), The Digital Plenitude e Reality Media (com Blair MacIntyre e Maria Engberg). CV (PDF).

A palestra “smtgcc: Using an SMT solver to find bugs in GCC” será apresentada por Krister Walfridsson no dia 4 de dezembro, às 16:00, online:

Join the meeting 
Meeting ID: 373 912 942 228 7
Passcode: XS9M8dT3

Resumo:

“SMT solvers are increasingly effective for finding compiler bugs and validating optimizations. This talk presents smtgcc, a translation-validation tool for GCC. It is similar to Alive2 for LLVM, but smtgcc’s approach diverges from Alive2 because GCC and LLVM follow different design choices. I will explain how smtgcc works and discuss issues in formalizing the semantics of GIMPLE, GCC’s IR.”

Sobre o Palestrante:

Krister Walfridsson envolveu-se no projeto GCC enquanto estudante universitário, em meados da década de 1990. Desde que concluiu os estudos, trabalhou com compiladores e sistemas operacionais em vários ambientes incorporados. Mais recentemente, passou 10 anos na Arm como Principal Engineer na equipa Mali GPU. Atualmente, está a tirar alguns anos de pausa para se dedicar a projetos pessoais e à dança.

A palestra intitulada “Knowledge Graphs + AI: The Evolution of Automated GitHub Issue Resolution” será apresentada pela Prof.ª He Ye no dia 17 de novembro, às 14:30, na sala B008, e será moderada pela Prof.ª Alexandra Mendes (DEI).

Resumo:

“AI coding agents are becoming increasingly capable, achieving strong results on benchmarks such as SWE-bench. However, most still struggle with real-world challenges such as issue reproduction, precise context retrieval from large codebases, and the high cost of LLMs. In this talk, I will introduce our recent code agent, Prometheus — a knowledge graph-powered, multi-agent system designed to tackle GitHub issues in practice. Prometheus transforms entire repositories into a unified knowledge graph stored in Neo4j for scalable and structured reasoning. This enables precise, cross-language context retrieval, allowing large language models to generate accurate and efficient fixes. Prometheus delivers robust performance, resolving diverse issues across seven programming languages. I will show how combining LLMs with knowledge graphs can advance automated issue resolution beyond today’s benchmark-driven limits. We have recently transitioned this research into an off-the-shelf product that helps industry resolve software issues automatically.”

Sobre a Palestrante:

He Ye é Professora Auxiliar na University College London. Anteriormente, trabalhou como investigadora de pós-doutorado na Carnegie Mellon University e obteve o seu doutoramento no KTH Royal Institute of Technology. A sua investigação centra-se no desenvolvimento da próxima geração de agentes de código para automatizar tarefas de engenharia de software, com foco na recuperação do contexto da base de código, resolução automatizada de problemas e construção da memória do agente de código. Além da academia, ela é cofundadora da EuniAI, uma startup comprometida em transformar pesquisas em soluções reais que ajudam os programadores a enfrentar desafios práticos de software.

A palestra intitulada “Energy-awareness in compute acceleration: The role of FPGAs“, será apresentada pelo Prof. Shreejith Shanker no dia 30 de outubro, às 11:30, na sala B012, e será moderada pelo Prof. Tiago Carvalho (DEI).

Resumo:

“The talk will cover a set of projects that my team at TCD is working on, spanning embedded and distributed systems to high-performance media workflows, and how FPGAs are enabling an energy-performance trade-off in these applications.”

Sobre o Palestrante:

Shreejith Shanker é Professor Auxiliar de Computação Reconfigurável no Trinity College de Dublin, Irlanda, e lidera o grupo de investigação sobre arquitecturas reconfiguráveis, aceleradores e fluxos de trabalho. Os seus interesses de investigação incluem arquitecturas de computação reconfiguráveis e adaptáveis, computação em rede, fluxos de trabalho de pós-produção de media, ferramentas de automatização da conceção e sistemas incorporados distribuídos, com destaque para as abordagens de compromisso desempenho-energia e de conceção de códigos hardware-software.

A palestra “Declarative Programming” será proferida por Steven Pemberton, investigador de renome na área da Ciência da Computação e das Tecnologias de Informação e ACM Distinguished Speaker, no dia 23 de outubro, às 10h00, na sala B033, e será moderada pelo Prof. João Ferreira. A entrada é livre.

Resumo:

“In the 50s, when the first programming languages were designed, computers cost millions, and relatively, programmers were almost free. Those programming languages therefore reflected that relationship: it didn’t matter if it took a long time to program, as long as the resulting program ran as fast as possible.
Now, that relationship has been reversed, which I call Moore’s Switch: compare to the cost of programmers, computers are almost free.
And yet we are still programming in descendants of the programming languages from the 50s: we are still telling the computers step by step how to solve the program.
Declarative programming is a new approach to applications: rather than describing exactly how to reach the solution, it describe what the solution should look like, and leaves more of the administrative parts of the program to the computer.
One of the few declarative languages available is XForms, an XML-based language that despite what its name might suggest is not only about form. Large projects, at large companies such as the National Health Service, the BBC and Xerox, have shown that by using XFoms, programming time and cost of application can be reduced to a tenth and sometimes even much more.”

Sobre o Palestrante:

“Steven Pemberton is a distinguished researcher in the field of computer science and information technology, with a long and rich history of contributions to the development of the internet and the web. He is affiliated with the Dutch national research centre Centrum Wiskunde & Informatica (CWI) in Amsterdam, The Netherlands, where he conducts research on interaction, declarative programming, and web technologies.
At university he was tutored by Dick Grimsdale who built the world’s first transistorised computer, and who was himself a tutee of Alan Turing. After university, Pemberton — coincidentally — worked in Turing’s old department in Manchester, writing software for the 5th computer in the line of computers Turing had worked on.
Pemberton was the first user of the open internet in Europe when the CWI created the first connection in 1988, and has been involved with the web from its inception, co-designing several web standards, including HTML, CSS, XHTML, XForms, and RDFa. He chairs two groups at W3C.
In addition to his work on the web, Pemberton has also made significant contributions to other areas of computer science, such as the design of programming languages, having co-designed the language that Python is based on, and the study of human-computer interaction. His involvement with ACM includes being editor in chief of The SIGCHI Bulletin, and then ACM interactions for a decade; he has chaired the CHI Conference and he co-founded the Netherlands local SIGCHI group, and chaired several local CHI conferences there.
He has received numerous awards and recognitions for his work, including the ACM SIGCHI Lifetime Service Award and the ACM SIGCHI Lifetime Practice Award.
As a speaker, Pemberton is known for his engaging and informative presentations, which draw on his deep knowledge of computer science and his passion for technology, and cover both social and technological aspects of computing. His talks are always thought-provoking and entertaining, and he has been invited to speak at numerous conferences and events around the world. In 2023 he became an ACM Distinguished Speaker. He is bi-lingual in English and Dutch.
A fuller bio, videos, and a full list of talks is available on his website: https://www.cwi.nl/~steven”

A palestra intitulada “Software process modeling and test automation: Introducing the Reliable Software Architectures Research Group” será apresentada no dia 9 de outubro, às 15:30, na sala B031, e será moderada pela Prof. Ana Paiva (DEI).

Resumo:

“In this talk, I will give an overview of research done by the Reliable Software Architectures Research Group at the University of West Bohemia in Pilsen, Czechia. The focus will be on analysing software process data to detect project management (anti-)patterns, where we’ll discuss the challenges in modeling software process elements in a way that is conducive to mapping onto the information gathered in project management tools. We’ll also touch the topic of analyzing software implementations to perform advanced verification and testing.”

Sobre o Palestrante:

Přemek Brada é Professor Associado na área de Engenharia de Software no Departamento de Engenharia e de Ciência da Computação da University of West Bohemia, em Pilsen, Czechia. A sua investigação abrange as áreas de consistência da arquitetura de software, métodos interativos de visualização de arquitetura e metodologias de desenvolvimento de software, incluindo a análise de dados de processos relacionados. Leciona, ao nivel de licenciatura e mestrado, unidade curriculares de design e modelagem orientados a objetos, práticas avançadas de engenharia de software e também gestão do conhecimento. Atualmente, é Diretor de departamento e membro do Conselho da Informatics Europe, a associação de faculdades e departamentos de informática europeus.