Publications | João Lourençohttps://joaomlourenco.github.io/publications/index.htmlPublicationsWowchemy (https://wowchemy.com)en-usThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu_60ce1059faf1d6a9.pngPublicationshttps://joaomlourenco.github.io/publications/index.htmlFLeeC+: A Fully Lock-Free Application Cache with Wait-Free Readshttps://joaomlourenco.github.io/publications/inforum-2026-spires.htmlThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2026-spires.htmlUser Behavior Profiling via Kernel-Level Telemetry and Lightweight Edge-Inferencehttps://joaomlourenco.github.io/publications/inforum-2026-jrealinho.htmlThu, 03 Sep 2026 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2026-jrealinho.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.htmlAutomatic Deadlock Detection in Go Code [Extended Abstract]https://joaomlourenco.github.io/publications/inforum-2025-gfeio.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-gfeio.htmlEnhancing Phishing Detection With LLMs: Content Evaluationhttps://joaomlourenco.github.io/publications/inforum-2025-ddias.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-ddias.htmlExtending FLeeC with a Lock-Free Memory Allocatorhttps://joaomlourenco.github.io/publications/inforum-2025-spires.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-spires.htmlHazard Region Pointers: seamless interpolation between Hazard Pointers and Epoch-Based Reclamation [Extended Abstract]https://joaomlourenco.github.io/publications/inforum-2025-acosta.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-acosta.htmlRedShell: A Generative AI-Based Approach to Ethical Hackinghttps://joaomlourenco.github.io/publications/inforum-2025-rbessa.htmlThu, 04 Sep 2025 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2025-rbessa.htmlMonitoring of spatio-temporal properties with nonlinear SAT solvershttps://joaomlourenco.github.io/publications/sttt-2024-apedro.htmlThu, 22 Feb 2024 00:00:00 +0000https://joaomlourenco.github.io/publications/sttt-2024-apedro.htmlWe Don't Know it All: on Understanding and Correcting Concurrent Computations with Inaccurate Observationshttps://joaomlourenco.github.io/publications/inforum-2024-acosta.htmlMon, 01 Jan 2024 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2024-acosta.htmlFLeeC: A Fast Lock-Free Application Cachehttps://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlFri, 01 Sep 2023 00:00:00 +0000https://joaomlourenco.github.io/publications/2023_costa_unknown_journal_fleec_a_fast.htmlMonitoring of Spatio-Temporal Propertieshttps://joaomlourenco.github.io/publications/inforum-2021-tsilva.htmlFri, 09 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2021-tsilva.htmlA Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systemshttps://joaomlourenco.github.io/publications/inforum-2022-jantao.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-jantao.htmlAutomatic Detection and Resolution of Deadlocks in Go Programshttps://joaomlourenco.github.io/publications/inforum-2022-jcoelho.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-jcoelho.htmlAutomatic Generation of Contracts for Concurrent Java Programshttps://joaomlourenco.github.io/publications/inforum-2022-hpereira.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-hpereira.htmlEmpowering a Relational Database with LSD: Lazy State Determinationhttps://joaomlourenco.github.io/publications/inforum-2022-tparreira.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-tparreira.htmlOSCAR - A Java Noise Injection Frameworkhttps://joaomlourenco.github.io/publications/inforum-2022-fluna.htmlThu, 08 Sep 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2022-fluna.htmlMonitoring of Spatio-Temporal Properties with Nonlinear SAT Solvershttps://joaomlourenco.github.io/publications/2022_13487_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.htmlSat, 01 Jan 2022 00:00:00 +0000https://joaomlourenco.github.io/publications/2022_13487_pedro_formal_methods_for_industrial_critical_systems_27th_international_conference_fmics_2022_warsaw_poland_september_1415_2022_proceedings_monitoring_of_spatio-temporal.htmlIt’s About Thyme: on the Design and Implementation of a Time-aware Reactive Storage System for Pervasive Edge Computing Environmentshttps://joaomlourenco.github.io/publications/fgcs-2020-jsilva.htmlFri, 01 Jan 2021 00:00:00 +0000https://joaomlourenco.github.io/publications/fgcs-2020-jsilva.htmlThe NOVAthesis LaTeX Template User's Manualhttps://joaomlourenco.github.io/publications/2021_lourenco_unknown_journal_the_novathesis_latex.htmlFri, 01 Jan 2021 00:00:00 +0000https://joaomlourenco.github.io/publications/2021_lourenco_unknown_journal_the_novathesis_latex.htmlRedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarioshttps://joaomlourenco.github.io/publications/mobiquitous-2020-ateofilo.htmlSun, 01 Nov 2020 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2020-ateofilo.htmlLazy State Determination: More concurrency for contending linearizable transactionshttps://joaomlourenco.github.io/publications/2020_vale_arxiv_lazy_state_determination.htmlWed, 01 Jan 2020 00:00:00 +0000https://joaomlourenco.github.io/publications/2020_vale_arxiv_lazy_state_determination.htmlINForum 2019 - Atas do 11º Simpósio de Informáticahttps://joaomlourenco.github.io/publications/inforum-2019-proceedings.htmlSun, 01 Sep 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2019-proceedings.htmlA survey of challenges for runtime verification from advanced application domains (beyond software)https://joaomlourenco.github.io/publications/fmsd-2019-csanchez.htmlFri, 09 Aug 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/fmsd-2019-csanchez.htmlCorrection to: A survey of challenges for runtime verification from advanced application domains (beyond software)https://joaomlourenco.github.io/publications/fmsd-2019-correction.htmlThu, 01 Aug 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/fmsd-2019-correction.htmlCOST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1https://joaomlourenco.github.io/publications/arxiv-2019-arvi.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/arxiv-2019-arvi.htmlTime-Aware Reactive Storage in Wireless Edge Environmentshttps://joaomlourenco.github.io/publications/mobiquitous-2019-jsilva.htmlTue, 01 Jan 2019 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2019-jsilva.htmlUma análise comparativa de ferramentas de análise estática para deteção de erros de memóriahttps://joaomlourenco.github.io/publications/inforum-2018-pmonteiro.htmlSat, 01 Sep 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2018-pmonteiro.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.htmlVerifying Real-World Software with Contracts for Concurrencyhttps://joaomlourenco.github.io/publications/isola-2018-lourenco.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/publications/isola-2018-lourenco.htmlTowards a persistent publish/subscribe system for networks of mobile deviceshttps://joaomlourenco.github.io/publications/mecc-2017-fcerqueira.htmlFri, 01 Dec 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/mecc-2017-fcerqueira.htmlGOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networkinghttps://joaomlourenco.github.io/publications/mobiquitous-2017-teofilo.htmlTue, 07 Nov 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2017-teofilo.htmlUm Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveishttps://joaomlourenco.github.io/publications/inforum-2017-fcerqueira.htmlSun, 01 Oct 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2017-fcerqueira.htmlVerifying Concurrent Programs Using Contractshttps://joaomlourenco.github.io/publications/icst-2017-dias.htmlWed, 01 Mar 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/icst-2017-dias.htmlI Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Deviceshttps://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_silva_unknown_journal_i_know_what.htmlResponses’ Prediction Standard Error Analysis in Pareto Solutionshttps://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/2017_108_costa_matec_web_of_conferences_responses_prediction_standard.htmlTime-Aware Publish/Subscribe for Networks of Mobile Deviceshttps://joaomlourenco.github.io/publications/thyme-arxiv-2017-jsilva.htmlSun, 01 Jan 2017 00:00:00 +0000https://joaomlourenco.github.io/publications/thyme-arxiv-2017-jsilva.htmlPot: Deterministic Transactional Executionhttps://joaomlourenco.github.io/publications/pot-2016-vale.htmlThu, 01 Dec 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/pot-2016-vale.htmlTowards the opportunistic combination of mobile ad-hoc networks with infrastructure accesshttps://joaomlourenco.github.io/publications/mecc-2016-jleitao.htmlThu, 01 Dec 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/mecc-2016-jleitao.htmlComunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Directhttps://joaomlourenco.github.io/publications/inforum-2016-ateofilo.htmlThu, 01 Sep 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2016-ateofilo.htmlEphemeral Data Storage for Networks of Hand-Held Deviceshttps://joaomlourenco.github.io/publications/ispa-2016-silva.htmlMon, 01 Aug 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/ispa-2016-silva.htmlA Hardware Approach to Detect, Expose and Tolerate High Level Data Raceshttps://joaomlourenco.github.io/publications/euromicro-2016-orosa.htmlMon, 01 Feb 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/euromicro-2016-orosa.htmlA hardware approach for detecting, exposing and tolerating high level atomicity violationshttps://joaomlourenco.github.io/publications/2016_orosa_proceedings_of_the_24th_euromicro_intl_conference_on_parallel_distributed_and_network-based_processing_pdp16._ieee_computer_society_a_hardware_approach.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/2016_orosa_proceedings_of_the_24th_euromicro_intl_conference_on_parallel_distributed_and_network-based_processing_pdp16._ieee_computer_society_a_hardware_approach.htmlA Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Toolshttps://joaomlourenco.github.io/publications/pcs-2016-dourado.htmlFri, 01 Jan 2016 00:00:00 +0000https://joaomlourenco.github.io/publications/pcs-2016-dourado.htmlExtracting static and dynamic structural information from Java concurrent programs for coverage testinghttps://joaomlourenco.github.io/publications/clei-2015-rprado.htmlTue, 01 Dec 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/clei-2015-rprado.htmlArmazenamento Distribuído para Redes de Dispositivos Móveishttps://joaomlourenco.github.io/publications/inforum-2015-rmonteiro.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-rmonteiro.htmlComo separar o trigo do joio? Ou: Como selecionar a melhor fotografia de um conjunto de fotografias semelhanteshttps://joaomlourenco.github.io/publications/inforum-2015-aalves.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-aalves.htmlExecução Concorrente e Determinista de Transaçõeshttps://joaomlourenco.github.io/publications/inforum-2015-jlourenco.htmlTue, 01 Sep 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2015-jlourenco.htmlSpecial Issue on Testing, Analysis and Debugging of Concurrent Programshttps://joaomlourenco.github.io/publications/stvr-2015-farchi.htmlFri, 01 May 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/stvr-2015-farchi.htmlBoosting locality in multi-version partial data replicationhttps://joaomlourenco.github.io/publications/sac-2015-jsilva.htmlWed, 01 Apr 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/sac-2015-jsilva.htmlDynamic Validation of Contracts in Concurrent Codehttps://joaomlourenco.github.io/publications/eurocast-2015-jfiedor.htmlSun, 01 Feb 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/eurocast-2015-jfiedor.htmlCrowdsourcing Mobile Devices to Provide Storage in Edge-Cloudshttps://joaomlourenco.github.io/publications/icdcnsrf-2015-jsilva.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/icdcnsrf-2015-jsilva.htmlDecentralized storage for networks of hand-held deviceshttps://joaomlourenco.github.io/publications/mobiquitous-2015-rmonteiro.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-rmonteiro.htmlExecução concorrente e determinista de transacçõeshttps://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/2015_vale_simposio_de_informatica_inforum_execucao_concorrente_e.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.htmlGroup-to-group bidirectional Wi-Fi direct communication with two relay nodeshttps://joaomlourenco.github.io/publications/mobiquitous-2015-ateofilo.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-ateofilo.htmlMobile device-to-device distributed computing using data setshttps://joaomlourenco.github.io/publications/mobiquitous-2015-dremedios.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/mobiquitous-2015-dremedios.htmlPreventing Atomicity Violations with Contractshttps://joaomlourenco.github.io/publications/gluon-arxiv-2015-dsousa.htmlThu, 01 Jan 2015 00:00:00 +0000https://joaomlourenco.github.io/publications/gluon-arxiv-2015-dsousa.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.htmlUm Mecanismo de Caching para o Protocolo SCORehttps://joaomlourenco.github.io/publications/inforum-2014-jsilva.htmlMon, 01 Sep 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2014-jsilva.htmlHardware Approach for Detecting, Exposing and Tolerating High Level Atomicity Violationshttps://joaomlourenco.github.io/publications/dmtm-2014-lorosa.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/dmtm-2014-lorosa.htmlSupporting Multiple Data Replication Models in Distributed Transactional Memoryhttps://joaomlourenco.github.io/publications/icdcn-2015-jsilva.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/icdcn-2015-jsilva.htmlSupporting Partial Data Replication in Distributed Transactional Memoryhttps://joaomlourenco.github.io/publications/dmtm-2014-jsilva.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/publications/dmtm-2014-jsilva.htmlEfficient Support for In-place Metadata in Java Software Transactional Memoryhttps://joaomlourenco.github.io/publications/cpe3098-2013-dias.htmlSun, 01 Dec 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/cpe3098-2013-dias.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.htmlPrevenção de Violações de Atomicidade usando Contractoshttps://joaomlourenco.github.io/publications/inforum-2013-sousa.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-sousa.htmlReplicação Multi-nível de Bases de Dados em Memóriahttps://joaomlourenco.github.io/publications/inforum-2013-martins.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-martins.htmlReplicação Parcial com Memória Transacional Distribuídahttps://joaomlourenco.github.io/publications/inforum-2013-silva.htmlSun, 01 Sep 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2013-silva.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.htmlMulticore Software Engineering, Performance, and Toolshttps://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_lourenco_lecture_notes_in_computer_science_multicore_software_engineering.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.htmlPrevenção de Violações de Atomicidade usando Contratoshttps://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_sousa_inforum_prevencao_de_violacoes.htmlReplicaçao parcial com memória transacional distribuıdahttps://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/publications/2013_silva_inforum_replicacao_parcial_com.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.htmlDebugging Highly-Parallel Programshttps://joaomlourenco.github.io/publications/mcc-2012-jlourenco.htmlMon, 01 Oct 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/mcc-2012-jlourenco.htmlAplicação do Fecho de Programas na Deteção de Anomalias de Concorrênciahttps://joaomlourenco.github.io/publications/inforum-2012-sousa.htmlSat, 01 Sep 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2012-sousa.htmlUma Infraestrutura para Suporte de Memória Transacional Distribuídahttps://joaomlourenco.github.io/publications/inforum-2012-vale.htmlSat, 01 Sep 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2012-vale.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.htmlUsing Program Closures to Make an Application Programming Interface (Api) Implementation Thread Safehttps://joaomlourenco.github.io/publications/padtad-2012-farchi.htmlSun, 01 Jul 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2012-farchi.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.htmlSupporting In-Place Metadata in DeuceSTMhttps://joaomlourenco.github.io/publications/wtm-2012-dias.htmlSun, 01 Apr 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/wtm-2012-dias.htmlWrite-Write Conflict Detection for Distributed TM Systemshttps://joaomlourenco.github.io/publications/wdtm-2012-dias.htmlWed, 01 Feb 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/wdtm-2012-dias.htmlHardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papershttps://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.htmlSun, 01 Jan 2012 00:00:00 +0000https://joaomlourenco.github.io/publications/2012_eder_lecture_notes_in_computer_science_hardware_and_software.htmlEfficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysishttps://joaomlourenco.github.io/publications/hotpar-2011-dias.htmlSun, 01 May 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/hotpar-2011-dias.htmlOn Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memoryhttps://joaomlourenco.github.io/publications/wtm-2011-dias.htmlSun, 01 May 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/wtm-2011-dias.htmlAceleração de Computações Científicas com Processadores Heterogéneoshttps://joaomlourenco.github.io/publications/inforum-2011-oliveira.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2011-oliveira.htmlDetecting Concurrency Anomalies in Transactional Memory Programshttps://joaomlourenco.github.io/publications/comsis-2011-lourenco.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/comsis-2011-lourenco.htmlDetection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approachhttps://joaomlourenco.github.io/publications/tr-2011a-dias.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/tr-2011a-dias.htmlForewordhttps://joaomlourenco.github.io/publications/padtad-2011-foreword.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-foreword.htmlPADTAD'11: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugginghttps://joaomlourenco.github.io/publications/padtad-2011-lourenco.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-lourenco.htmlPractical Verification of High-Level Dataraces in Transactional Memory Programshttps://joaomlourenco.github.io/publications/padtad-2011-pessanha.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2011-pessanha.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.htmlStarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programshttps://joaomlourenco.github.io/publications/tr-2011b-dias.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/tr-2011b-dias.htmlSuporte Transaccional para o Sistema de Ficheiros Btrfshttps://joaomlourenco.github.io/publications/inforum-2011-luis.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2011-luis.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.htmlDetecting Snapshot Isolation Anomalies in Transactional Memoryhttps://joaomlourenco.github.io/publications/hvc-2010-dias.htmlMon, 01 Nov 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/hvc-2010-dias.htmlA Static Approach for Detecting Concurrency Anomalies in Transactional Memoryhttps://joaomlourenco.github.io/publications/inforum-2010-teixeira.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2010-teixeira.htmlDetection of Transactional Memory Anomalies Using Static Analysishttps://joaomlourenco.github.io/publications/padtad-2010-teixeira.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2010-teixeira.htmlOpen Virtualization Framework for Testing Ground Systemshttps://joaomlourenco.github.io/publications/padtad-2010-duro.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2010-duro.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.htmlSnapshot Isolation Anomalies Detection in Software Transactional Memoryhttps://joaomlourenco.github.io/publications/inforum-2010-dias.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/publications/inforum-2010-dias.htmlNGenVM: New Generation Execution Environmentshttps://joaomlourenco.github.io/publications/eurosys-2009-lourenco.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/eurosys-2009-lourenco.htmlUnderstanding the Behavior of Transactional Memory Applicationshttps://joaomlourenco.github.io/publications/padtad-2009-lourenco.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2009-lourenco.htmlUnifying Memory and Database Transactionshttps://joaomlourenco.github.io/publications/europar-2009-dias.htmlThu, 01 Jan 2009 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2009-dias.htmlConsistent State Software Transactional Memoryhttps://joaomlourenco.github.io/publications/jetc-2008-cunha.htmlSat, 01 Nov 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/jetc-2008-cunha.htmlByzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolationhttps://joaomlourenco.github.io/publications/hotdep-2008-preguica.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/hotdep-2008-preguica.htmlDeveloping Libraries Using Software Transactional Memoryhttps://joaomlourenco.github.io/publications/comsis-2008-dias.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/comsis-2008-dias.htmlDeveloping Libraries Using Software Transactional Memoryhttps://joaomlourenco.github.io/publications/corta-2008-dias.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/corta-2008-dias.htmlTopic 1: Support Tools and Environmentshttps://joaomlourenco.github.io/publications/europar-2008-dikaiakos.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/publications/europar-2008-dikaiakos.htmlTesting patterns for software transactional memory engineshttps://joaomlourenco.github.io/publications/padtad-2007-lourenco.htmlMon, 01 Jan 2007 00:00:00 +0000https://joaomlourenco.github.io/publications/padtad-2007-lourenco.htmlProceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Educationhttps://joaomlourenco.github.io/publications/iticse-2005-cunha.htmlMon, 27 Jun 2005 00:00:00 +0000https://joaomlourenco.github.io/publications/iticse-2005-cunha.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.htmlA Debugging Engine for Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/phd-2004-lourenco.htmlThu, 01 Jan 2004 00:00:00 +0000https://joaomlourenco.github.io/publications/phd-2004-lourenco.htmlControl and Debugging of Distributed Programs Using Fiddlehttps://joaomlourenco.github.io/publications/aadebug-2003-lourenco.htmlWed, 01 Jan 2003 00:00:00 +0000https://joaomlourenco.github.io/publications/aadebug-2003-lourenco.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.htmlParallel Program development for cluster computing: methodology, tools and integrated environmentshttps://joaomlourenco.github.io/publications/2001_5_cunha_unknown_journal_parallel_program_development.htmlMon, 01 Jan 2001 00:00:00 +0000https://joaomlourenco.github.io/publications/2001_5_cunha_unknown_journal_parallel_program_development.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.htmlFlexible Interface for Distributed Debugging (Library and Engine): Reference Manualhttps://joaomlourenco.github.io/publications/fiddle-2000-lourenco.htmlFri, 01 Dec 2000 00:00:00 +0000https://joaomlourenco.github.io/publications/fiddle-2000-lourenco.htmlAn Experiment in Tool Integration: the DDBG Parallel and Distributed Debuggerhttps://joaomlourenco.github.io/publications/jsa-1999-cunha.htmlSat, 01 May 1999 00:00:00 +0000https://joaomlourenco.github.io/publications/jsa-1999-cunha.htmlAn Experience in Building a Parallel and Distributed Problem-Solving Environmenthttps://joaomlourenco.github.io/publications/pdpta-1999-cunha.htmlFri, 01 Jan 1999 00:00:00 +0000https://joaomlourenco.github.io/publications/pdpta-1999-cunha.htmlA Software Architecture for the Integration of Monitoring, Debugging and Profiling Tools for Parallel Program Developmenthttps://joaomlourenco.github.io/publications/paste-1998-cunha.htmlSun, 01 Nov 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/paste-1998-cunha.htmlA Framework to support Parallel and Distributed Debugginghttps://joaomlourenco.github.io/publications/hpcn-1998a-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/hpcn-1998a-cunha.htmlA Thread-Level Distributed Debuggerhttps://joaomlourenco.github.io/publications/vecpar-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/vecpar-1998-lourenco.htmlAn integrated course on parallel and distributed processinghttps://joaomlourenco.github.io/publications/1998_30_1_cunha_acm_sigcse_bulletin_an_integrated_course.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/1998_30_1_cunha_acm_sigcse_bulletin_an_integrated_course.htmlIntegrated course on parallel and distributed processinghttps://joaomlourenco.github.io/publications/iticse-1998-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/iticse-1998-cunha.htmlReplaying Distributed Applications with RPVMhttps://joaomlourenco.github.io/publications/dapsys-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/dapsys-1998-lourenco.htmlThe DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processinghttps://joaomlourenco.github.io/publications/hpcn-1998b-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/hpcn-1998b-cunha.htmlThe PDBG Process-Level Debugger for Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/spdt-1998-lourenco.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/spdt-1998-lourenco.htmlTool Integration Issues for Parallel and Distributed Debugginghttps://joaomlourenco.github.io/publications/seihpc-1998-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/seihpc-1998-cunha.htmlUsing DDBG to Support Testing and High-level Debugging Interfaceshttps://joaomlourenco.github.io/publications/cai-1998-cunha.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/cai-1998-cunha.htmlAn Integrated Testing and Debugging Environment for Parallel and Distributed Programshttps://joaomlourenco.github.io/publications/euromicro-1997-lourenco.htmlMon, 01 Sep 1997 00:00:00 +0000https://joaomlourenco.github.io/publications/euromicro-1997-lourenco.htmlA Graphical Development and Debugging Environment for Parallel Programshttps://joaomlourenco.github.io/publications/parcomp-1997-kacsuk.htmlSat, 01 Feb 1997 00:00:00 +0000https://joaomlourenco.github.io/publications/parcomp-1997-kacsuk.htmlIntegration of STEPS and DDBGhttps://joaomlourenco.github.io/publications/stepsddbg-1996-neyman.htmlMon, 01 Jul 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/stepsddbg-1996-neyman.htmlA Debugging Engine for a Parallel and Distributed Environmenthttps://joaomlourenco.github.io/publications/dapsys-1996-cunha.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/dapsys-1996-cunha.htmlA Distributed Debugging Tool for a Parallel Software Engineering Environmenthttps://joaomlourenco.github.io/publications/eptm-1996-cunha.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/eptm-1996-cunha.htmlDDBG: A distributed debugger–user’s guidehttps://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlMonitoring and Debugging Supporthttps://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlTeaching parallel processing: development of curriculum and software toolshttps://joaomlourenco.github.io/publications/sigcse-1996-cunha.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/sigcse-1996-cunha.htmlA Layered Architecture for Group-Oriented Parallel and Distributed Logic Programminghttps://joaomlourenco.github.io/publications/jlp-1995-cunha.htmlSun, 01 Jan 1995 00:00:00 +0000https://joaomlourenco.github.io/publications/jlp-1995-cunha.htmlMecanismos de Suporte à Execução Concorrente de Programas em Lógicahttps://joaomlourenco.github.io/publications/msc-1993-lourenco.htmlSat, 01 Jan 1994 00:00:00 +0000https://joaomlourenco.github.io/publications/msc-1993-lourenco.html