I'm an assistant professor at Instituto Superior Técnico (Universidade de Lisboa) and researcher of the Distributed Systems Group at INESC-ID.
Current research interests: System Support for Persistent Memory, Exascale Computing, Transactional Memory, Consistency and Replication (including Blockchain Consensus Protocols).
I'm currently involved in the European joint Effort toward a Highly Productive Programming Environment for Heterogeneous Exascale Computing (EPEEC), an H2020 project.
This year I'm teaching Operating Systems (undergrad.) and Operating Systems, Virtualization and Cloud Computing (PhD level).
These smart students are currently working with me: David Gureya (PhD), Paulo Silva (PhD), Ilia Kuzmin (PhD), Amândio Faustino (PhD), Nicolas Guidotti (MSc), Miguel Marques (MSc), João Martinho (MSc), Sérgio Santos (MSc).
Take a look here to know about some possible thesis topics. Feel free to drop me an email.
NimbleChain: Low-latency consensusless cryptocurrencies in general-purpose permissionless blockchains
Paulo Silva, Miguel Matos, João Barreto
Persistent Memory: A Survey of Programming Support and Implementations
Alexandro Baldassin, João Barreto, Daniel Castro, Paolo Romano
ACM Computing Surveys (ACM CSUR), 2021
SPHT: Scalable Persistent Hardware Transactions
Daniel Castro, Alexandro Baldassin, João Barreto, Paolo Romano
Impact of geo-distribution and mining pools on blockchains: a study of Ethereum.
Paulo Silva, David Vavřička, João Barreto, Miguel Matos
Bandwidth-Aware Page Placement in NUMA
David Gureya, João Neto, Reza Karimi, João Barreto, Pramod Bhatotia, Vivien Quema, Rodrigo Rodrigues, Paolo Romano, and Vladimir Vlassov
Stretching the capacity of Hardware Transactional Memory in IBM POWER architectures.
R. Filipe, S. Issa, P.Romano, J. Barreto
Hardware Transactional Memory meets Persistent Memory.
D. Castro, J. Barreto and P. Romano.
Extended version in Journal of Parallel and Distributed Computing, Volume 130, 2019
RUBIC: Online Parallelism Tuning for Collocated Transactional Memory Applications
Amin Mohtasham and João Barreto
Nested Parallelism in Transactional Memory
Ricardo Filipe and João Barreto
Book chapter in "Transactional Memory. Foundations, Algorithms, Tools, and Applications". Springer, ISBN: 978-3-319-14719-2.
Unifying Thread-Level Speculation and Transactional Memory
João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Ricardo Filipe and Rachid Guerraoui
Middleware, 2012 (Best paper award)
Hash Challenges: stretching the limits of compare-by-hash in distributed data deduplication
João Barreto, Luis Veiga, Paulo Ferreira
Information Processing Letters, Elsevier, Volume 112, Issue 10, 31 May 2012.
Leveraging Parallel Nesting in Transactional Memory
João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka
Efficient Locally Trackable Deduplication in Replicated Systems
João Barreto, Paulo Ferreira
Version Vector Weighted Voting Protocol: efficient and fault-tolerant commitment for weakly connected replicas
João Barreto, Paulo Ferreira
Concurrency and Computation: Practice and Experience, Volume 19, Issue 17, 2007
Where to find me: Room 607 at INESC-ID (Alameda) or Room 2N3.13 (Tagus)
Telephone: +351 21 310 02 92 (Alameda), +351 21 423 32 57 (Taguspark)
Fax: +351 21 314 58 43
Address: Rua Alves Redol 9, sala 607, 1000-029 Lisboa, Portugal
Email: joao.barreto at tecnico.ulisboa.pt