This is a selection of publications. For the full list, visit my Google Scholar profile.
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
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
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
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
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
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
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
Published in AAAI, 2019
Recommended citation: M. Terra-Neves, N. Machado, I. Lynce, V. Manquinho. "Concurrency Debugging with MaxSMT." AAAI. 2019.
Download Paper
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
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
Published in PPoPP, 2016
Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Production-guided Concurrency Debugging." PPoPP. 2016.
Download Paper
Published in PLDI, 2015
Recommended citation: N. Machado, B. Lucia, L. Rodrigues. "Concurrency Debugging with Differential Schedule Projections." PLDI. 2015.
Download Paper
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