{"id":4019,"date":"2024-06-30T22:06:26","date_gmt":"2024-07-01T01:06:26","guid":{"rendered":"https:\/\/ladc.sbc.org.br\/2025\/?page_id=4019"},"modified":"2025-09-08T17:29:15","modified_gmt":"2025-09-08T20:29:15","slug":"keynote-speakers-full","status":"publish","type":"page","link":"https:\/\/ladc.sbc.org.br\/2025\/keynote-speakers-full\/","title":{"rendered":"Keynote Speakers"},"content":{"rendered":"\n

Keynote Speakers<\/h2>\n\n\n\n
\n\n\n\n
\n
\n
\"\"<\/figure>\n<\/div>\n\n\n

Henrique Madeira<\/strong><\/h2>\n\n\n\n
\n\n\n\n

University of Coimbra, Portugal<\/p>\n<\/div>\n\n\n\n

\n

Short Bio<\/h2>\n\n\n\n

Henrique Madeira is a Full Professor at the University of Coimbra, Portugal, where he has been conducting research in dependable computing since 1989. His research interests include software quality and reliability, experimental evaluation and benchmarking of dependability and security, and fault injection techniques. His recent projects focus on two main directions: (a) assured AI, addressing safety and security guarantees in critical applications that use AI, and (b) human factors in software engineering, particularly the use of biometrics and AI to improve software quality. He has coordinated or participated in more than 30 large scale research projects funded by the European Commission and the Portuguese Science Foundation. He is currently Director of CISUC (Centre for Informatics and Systems of the University of Coimbra), which includes 80 PhD researchers and around 200 PhD students. Henrique Madeira was also co-founder of the company Critical Software, S.A. (www.criticalsoftware.com).<\/p>\n<\/div>\n<\/div>\n\n\n\n

Tales of Dependability and Software Reliability in the Age of AI Vibes<\/strong><\/h2>\n\n\n\n

Let us face the facts. Research on dependable computing and software reliability ought to be flourishing. But it is not. Dependability, as a broad conceptual umbrella, spans virtually every dimension of computer science and the software industry. Yet, after a glorious past several decades ago, marked by highly influential contributions, Dependable Computing and Software Reliability have gradually receded into almost niche research areas.<\/p>\n\n\n\n

This is a paradox. In reality, the demand for dependable (and secure) computer systems and reliable applications is greater than ever. And the current main driving force creating new research challenges in dependability and software reliability is called Artificial Intelligence.
But perhaps these new dependability research challenges created by the use of AI are no longer being tackled within the dependability and software reliability community, but instead are finding answers elsewhere.<\/p>\n\n\n\n

This talk examines the apparent crisis in dependability and software reliability research, focusing on the challenges and opportunities arising from two strong market drivers: (1) the intense pressure to adopt AI in safety-critical systems, such as autonomous vehicles and critical software-as-a-medical-device (SaMD) applications, where (despite the claims) no definitive solution is expected in the near future; and (2) the well-established trend of using generative AI in the software development process, which yields significant gains in efficiency and productivity but also carries unpredictable consequences for software reliability. The goal is not only to debate possible solutions, but also to discuss new intradisciplinary research avenues in light of the role and opportunities for our dependability and software reliability community.<\/p>\n\n\n\n

<\/div>\n\n\n\n
\n\n\n\n
\n
\n
\"\"<\/figure>\n<\/div>\n\n\n

Cristina Meinhardt<\/h2>\n\n\n\n
\n\n\n\n

Federal University of Santa Catarina, Brazil<\/p>\n<\/div>\n\n\n\n

\n

Short Bio<\/h2>\n\n\n\n

Cristina is an Adjunct Professor at Federal University of Santa Catarina – UFSC. She holds a degree in Computer Engineering from the Federal University of Rio Grande (FURG), a Master’s and a PhD in Computer Science from the Federal University of Rio Grande do Sul (UFRGS). She develops research in the areas of computational systems architectures, microelectronics, nanotechnology, embedded systems and development of EDA tools, with the main focus in the area of mitigation of the effects of variability and radiation faults. She is a senior Member of IEEE and member of IEEE CASS, SBC and SBMicro.<\/p>\n<\/div>\n<\/div>\n\n\n\n

The Nanoscale Reliability Challenge: Designing Robust Systems from Unreliable Components<\/h2>\n\n\n\n

Nanotechnology offers relevant opportunities for innovation, but its unique properties introduce significant challenges to traditional reliability in hardware and systems. At the nanoscale, materials and devices are susceptible to new failure mechanisms, increased process variability, which are not accounted for in conventional design models. The nanoscale also increases their vulnerability to defects and environmental degradation. This talk will explore how these nanoscale phenomena demand a fundamental shift in our approach to designing for reliability. We will discuss the need for new modeling techniques and the importance of system-level fault tolerance. By embracing these advanced strategies, we can successfully build reliable, durable, and high-performance systems from the ground up, harnessing the full potential of nanotechnology while mitigating its inherent risks.<\/p>\n\n\n\n

<\/div>\n\n\n\n
\n\n\n\n
\n
\n
\"\"<\/figure>\n<\/div>\n\n\n

Pierre Sutra<\/strong><\/h2>\n\n\n\n
\n\n\n\n

T\u00e9l\u00e9com SudParis, France<\/p>\n<\/div>\n\n\n\n

\n

Short Bio<\/h2>\n\n\n\n

Pierre has been a Professor in the Computer Science Department of T\u00e9l\u00e9com SudParis since October 2015. Previously, he was junior researcher at the University of Neuch\u00e2tel, post-doc in the Regal team-project at INRIA, and research assistant at UPEM. In 2023, Pierre was a visiting researcher at IMDEA Software Institute, and also spent some time working for Informal Systems. Pierre holds a PhD from UPMC (2010). He works on the theory and practice of distributed systems, in particular cloud, storage, and data processing systems.<\/p>\n<\/div>\n<\/div>\n\n\n\n

Modern Techniques for Data Availability and Durability<\/h2>\n\n\n\n

This talk will be held online.<\/strong><\/p>\n\n\n\n

The scale and intensity of today’s economic exchanges require modern online services to be always-on and responsive. One of the key concerns when building these services is the durability and availability of their data. Data must remain accessible despite network, machine, or large-scale outages, either temporary or permanent. This talk explores some of the most recent techniques to achieve this. First, we focus on geo-replicated state machines. Geo-replication places several copies of a logical data item across different data centers to improve access locality and fault-tolerance. State-machine replication (SMR) ensures that these copies stay in sync. Recent advances in SMR focus on leaderless protocols that sidestep the availability and performance limitations of traditional Paxos-based solutions. We will explain several recent leaderless solutions and compare their pros and cons under different application workloads. The second part of the talk focuses on non-volatile main memory (NVMM). NVMM is a new tier in the memory hierarchy that offers the durability of spinning disks, near-DRAM speed, and byte addressability. We will present J-NVM, a fully-fledged NVMM interface for Java, and its usage in the context of a modern distributed data store.<\/p>\n\n\n\n

<\/div>\n\n\n\n
\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

Keynote Speakers Henrique Madeira University of Coimbra, Portugal Short Bio Henrique Madeira is a Full Professor at the University of Coimbra, Portugal, where he has been conducting research in dependable computing since 1989. His research interests include software quality and reliability, experimental evaluation and benchmarking of dependability and security, and fault injection techniques. His recent […]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4019","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/pages\/4019","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/comments?post=4019"}],"version-history":[{"count":69,"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/pages\/4019\/revisions"}],"predecessor-version":[{"id":4754,"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/pages\/4019\/revisions\/4754"}],"wp:attachment":[{"href":"https:\/\/ladc.sbc.org.br\/2025\/wp-json\/wp\/v2\/media?parent=4019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}