Publications

Filter by type:

F. Neves, N. Machado, R. Vilaça, J. Pereira. Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs. in DSN, 2021.

J. Pereira, N. Machado, J. S. Pinto. Testing for Race Conditions in Distributed Systems via SMT Solving. in TAP, 2020.

S. Issa, M. Viegas, P. Raminhas, N. Machado, M. Matos, P. Romano. Exploiting Symbolic Execution to Accelerate Deterministic Databases. in ICDCS, 2020.

N. Machado, F. Maia, F. Neves, F. Coelho, J. Pereira. Minha: Large-Scale Distributed Systems Testing Made Practical. in OPODIS, 2019.

R. Pontes, F. Maia, N. Machado, R. Vilaça. d'Artagnan: a Trusted NoSQL Database on Untrusted Clouds. in SRDS, 2019.

M. Terra-Neves, N. Machado, I. Lynce, V. Manquinho. Concurrency Debugging with MaxSMT. in AAAI, 2019.

F. Neves, N. Machado, J. Pereira. Falcon: A Practical Log-based Analysis Tool for Distributed Systems. in DSN, 2018.

N. Machado, P. Romano, L. Rodrigues. CoopREP: Cooperative Record and Replay of Concurrency Bugs. in Journal of Software Testing, Verification and Reliability, 2018.

N. Machado, F. Maia, M. Matos, R. Oliveira. BuzzPSS: A Dependable and Efficient Peer Sampling Service. in LADC, 2016.

N. Machado, B. Lucia, L. Rodrigues. Production-guided Concurrency Debugging. in PPoPP, 2016.

N. Machado, D. Quinta, B. Lucia, L. Rodrigues. Concurrency Debugging with Differential Schedule Projections. in ACM TOSEM Vol. 25, No. 2, Article 14, 2016.

N. Machado, B. Lucia, L. Rodrigues. Concurrency Debugging with Differential Schedule Projections. in PLDI, 2015.

N. Machado, P. Romano, L. Rodrigues. Lightweight Cooperative Logging for Fault Replication in Concurrent Programs. in DSN, 2012.