Cortex
Tool to discover latent concurrency bugs in Java multithreaded applications
Posts by Collection
portfolio
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