João Neto

According to our database, João Neto authored at least 6 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generalized Concurrency Testing Tool for Distributed Systems.

Ege Berkay Gulcan, João Neto, Burcu Kulahcioglu Ozkan

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2020

Bandwidth-Aware Page Placement in NUMA.

David Gureya, João Neto, Reza Karimi, João Barreto, Pramod Bhatotia, Vivien Quéma, Rodrigo Rodrigues, Paolo Romano, Vladimir Vlassov

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2017

Client-side routing-agnostic gateway selection for heterogeneous Wireless Mesh Networks.

Emmanouil Dimogerontakis, João Neto, Roc Meseguer, Leandro Navarro, Luís Veiga

Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

2016

Managing Object Versioning in Geo-Distributed Object Storage Systems.

João Neto, Vianney Rancurel, Vinh Tao

Proceedings of the ACM 7th Workshop on Scientific Cloud Computing, 2016

2015

Multi-focused Proofs with Different Polarity Assignments.

Elaine Pimentel, Vivek Nigam, João Neto

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

A Name Is Not A Name: The Implementation Of A Cloud Storage System.

Vinh Tao, Vianney Rancurel, João Neto

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015