6

RedShell: A Generative AI-Based Approach to Ethical Hacking
Large Language Models (LLMs) are redefining offensive cybersecurity by allowing the generation of harmful machine code with minimal …
Ricardo Bessa, Rui Claro, João Trindade, João M. Lourenço
Posted Jan 1, 2026
Cite Link
Discovering Concurrency Errors
Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is difficult …
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar
Posted Jan 1, 2018
Cite Link
Framework Support for the Efficient Implementation of Multi-version Algorithms
N/A
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Posted Jan 1, 2015
Cite Link
On Monitoring C/C++ Transactional Memory Programs
N/A
Jan Fiedor, Zdeněk Letko, João M. Lourenço, Tomáš Vojnar
Posted Oct 1, 2014
Cite Link
Precise Detection of Atomicity Violations
Concurrent programs that are free of unsynchronized accesses to shared data may still exhibit unpredictable concurrency errors, called …
Ricardo J. Dias, Vasco Pessanha, João M. Lourenço
Posted Nov 1, 2013
Cite Link
MacroDB: Scaling Database Engines on Multicores
Multicore processors are available for over a decade, but general purpose database management systems (DBMS) still cannot fully explore …
João Soares, João M. Lourenço, Nuno Preguiça
Posted Aug 1, 2013
Cite Link
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories
Transactional Memory (TM), an attractive solution to support concurrent accesses to main-memory storage, is already being deployed by …
Tiago M. Vale, Ricardo J. Dias, João M. Lourenço
Posted Jan 1, 2013
Cite Link
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?
Programs increasingly rely on the use of complex component libraries, such as in-memory databases. As any other software, these …
João Soares, João M. Lourenço, Nuno Preguiça
Posted Jan 1, 2013
Cite Link
Efficient Support for In-Place Metadata in Transactional Memory
Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a …
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Posted Aug 1, 2012
Cite Link
Verification of Snapshot Isolation in Transactional Memory Java Programs
This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation …
Ricardo J. Dias, Dino Distefano, João Costa Seco, João M. Lourenço
Posted Jun 1, 2012
Cite Link