6 | João Lourençohttps://joaomlourenco.github.io/publication-type/6.html6Wowchemy (https://wowchemy.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.png6https://joaomlourenco.github.io/publication-type/6.htmlRedShell: A Generative AI-Based Approach to Ethical Hackinghttps://joaomlourenco.github.io/publications/2026_bessa_lecture_notes_in_computer_science_redshell_a_generative.htmlThu, 01 Jan 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/2026_bessa_lecture_notes_in_computer_science_redshell_a_generative.htmlDiscovering Concurrency Errorshttps://joaomlourenco.github.io/publications/arvi-book-2018-lourenco.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/arvi-book-2018-lourenco.htmlFramework Support for the Efficient Implementation of Multi-version Algorithmshttps://joaomlourenco.github.io/publications/eurotm-2015-dias.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/eurotm-2015-dias.htmlOn Monitoring C/C++ Transactional Memory Programshttps://joaomlourenco.github.io/publications/memics-2014-jfiedor.htmlWed, 01 Oct 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/memics-2014-jfiedor.htmlPrecise Detection of Atomicity Violationshttps://joaomlourenco.github.io/publications/hvc-2013-dias.htmlFri, 01 Nov 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/hvc-2013-dias.htmlMacroDB: Scaling Database Engines on Multicoreshttps://joaomlourenco.github.io/publications/europar-2013-soares.htmlThu, 01 Aug 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2013-soares.htmlOn the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memorieshttps://joaomlourenco.github.io/publications/musepat-2013-vale.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/musepat-2013-vale.htmlSoftware Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?https://joaomlourenco.github.io/publications/ewdc-soares-2013.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/ewdc-soares-2013.htmlEfficient Support for In-Place Metadata in Transactional Memoryhttps://joaomlourenco.github.io/publications/europar-2012-dias.htmlWed, 01 Aug 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2012-dias.htmlVerification of Snapshot Isolation in Transactional Memory Java Programshttps://joaomlourenco.github.io/publications/ecoop-2012-dias.htmlFri, 01 Jun 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/ecoop-2012-dias.htmlForewordhttps://joaomlourenco.github.io/publications/padtad-2011-foreword.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-foreword.htmlSpecial Session on Debugginghttps://joaomlourenco.github.io/publications/hvc-2010-hollander.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/hvc-2010-hollander.htmlUnderstanding Transactional Memory (Extended Abstract)https://joaomlourenco.github.io/publications/hvc-2010-lourenco.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/hvc-2010-lourenco.htmlPADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Forewordhttps://joaomlourenco.github.io/publications/padtad-2010-foreword.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2010-foreword.htmlSmART: An Application Reconfiguration Frameworkhttps://joaomlourenco.github.io/publications/cdsm-2010-paulino.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/cdsm-2010-paulino.htmlWelcome to ITiCSE 2005https://joaomlourenco.github.io/publications/iticse-2005-welcome.htmlMon, 27 Jun 2005 00:00:00 +0000https://joaomlourenco.github.io/publications/iticse-2005-welcome.htmlSupporting On-Line Distributed Monitoring and Debugginghttps://joaomlourenco.github.io/publications/book-2004-duarte.htmlWed, 01 Jan 2003 00:00:00 +0000https://joaomlourenco.github.io/publications/book-2004-duarte.htmlDebugging of Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/book-2001b-cunha.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/book-2001b-cunha.htmlFiddle: A flexible distributed debugger architecturehttps://joaomlourenco.github.io/publications/2001_lourenco_unknown_journal_fiddle_a_flexible.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_lourenco_unknown_journal_fiddle_a_flexible.htmlFiddle: A Flexible Distributed Debugging Architecturehttps://joaomlourenco.github.io/publications/iccs-2001-lourenco.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/iccs-2001-lourenco.htmlSupporting On-Line Distributed Monitoring and Debugginghttps://joaomlourenco.github.io/publications/pdcp-2001-duarte.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/pdcp-2001-duarte.htmlThe DDBG Distributed Debuggerhttps://joaomlourenco.github.io/publications/book-2001a-cunha.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/book-2001a-cunha.html