Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
About me
About me
Posts
portfolio
Cortex
Tool to discover latent concurrency bugs in Java multithreaded applications
Falcon
Tool to capture and analyze causally-related events in distributed systems
Nando
Deep Q-Learning agent for playing Tic-Tac-Toe
Symbiosis
Tool to isolate concurrency bugs in Java and C/C++ multithreaded applications
publications
Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
Published in DSN, 2012
Recommended citation: N. Machado, P. Romano, L. Rodrigues. "Lightweight Cooperative Logging for Fault Replication in Concurrent Programs." DSN. 2012.
Download Paper
Concurrency Debugging with Differential Schedule Projections
Published in PLDI, 2015
Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Concurrency Debugging with Differential Schedule Projections." PLDI. 2015.
Download Paper
Concurrency Debugging with Differential Schedule Projections
Published in ACM TOSEM Vol. 25, No. 2, Article 14, 2016
Recommended citation: N. Machado, D. Quinta, B. Lucia, L. Rodrigues. "Concurrency Debugging with Differential Schedule Projections." ACM TOSEM Vol. 25, No. 2, Article 14. 2016.
Download Paper
Production-guided Concurrency Debugging
Published in PPoPP, 2016
Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Production-guided Concurrency Debugging." PPoPP. 2016.
Download Paper
BuzzPSS: A Dependable and Efficient Peer Sampling Service
Published in LADC, 2016
Recommended citation: N. Machado, F. Maia, M. Matos, R. Oliveira. "BuzzPSS: A Dependable and Efficient Peer Sampling Service." LADC. 2016.
Download Paper
CoopREP: Cooperative Record and Replay of Concurrency Bugs
Published in Journal of Software Testing, Verification and Reliability, 2018
Recommended citation: N. Machado, P. Romano, L. Rodrigues. "CoopREP: Cooperative Record and Replay of Concurrency Bugs." Journal of Software Testing, Verification and Reliability. 2018.
Download Paper
Falcon: A Practical Log-based Analysis Tool for Distributed Systems
Published in DSN, 2018
Recommended citation: F. Neves, N. Machado, J. Pereira. "Falcon: A Practical Log-based Analysis Tool for Distributed Systems." DSN. 2018.
Download Paper
Concurrency Debugging with MaxSMT
Published in AAAI, 2019
Recommended citation: M. Terra-Neves, N. Machado, I. Lynce, V. Manquinho. "Concurrency Debugging with MaxSMT." AAAI. 2019.
Download Paper
d’Artagnan: a Trusted NoSQL Database on Untrusted Clouds
Published in SRDS, 2019
Recommended citation: R. Pontes, F. Maia, N. Machado, R. Vilaça. "d'Artagnan: a Trusted NoSQL Database on Untrusted Clouds." SRDS. 2019.
Download Paper
Minha: Large-Scale Distributed Systems Testing Made Practical
Published in OPODIS, 2019
Recommended citation: N. Machado, F. Maia, F. Neves, F. Coelho, J. Pereira. "Minha: Large-Scale Distributed Systems Testing Made Practical." OPODIS. 2019.
Download Paper
Exploiting Symbolic Execution to Accelerate Deterministic Databases
Published in ICDCS, 2020
Recommended citation: S. Issa, M. Viegas, P. Raminhas, N. Machado, M. Matos, P. Romano. "Exploiting Symbolic Execution to Accelerate Deterministic Databases." ICDCS. 2020.
Download Paper
Testing for Race Conditions in Distributed Systems via SMT Solving
Published in TAP, 2020
Recommended citation: J. Pereira, N. Machado, J. S. Pinto. "Testing for Race Conditions in Distributed Systems via SMT Solving." TAP. 2020.
Download Paper
Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
Published in DSN, 2021
Recommended citation: F. Neves, N. Machado, R. Vilaça, J. Pereira. "Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs." DSN. 2021.
Download Paper