Follow
Nuno Machado
Title
Cited by
Cited by
Year
Concurrency debugging with differential schedule projections
N Machado, B Lucia, L Rodrigues
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2015
422015
Falcon: A Practical Log-Based Analysis Tool for Distributed Systems
F Neves, N Machado, J Pereira
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
272018
Production-guided concurrency debugging
N Machado, B Lucia, L Rodrigues
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
192016
Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
N Machado, P Romano, L Rodrigues
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), 2012
172012
Minha: Large-scale distributed systems testing made practical
N Machado, F Maia, F Neves, F Coelho, J Pereira
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), 2020
72020
Towards effective and efficient search-based deterministic replay
M Bravo, N Machado, P Romano, L Rodrigues
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 1-6, 2013
72013
Testing for race conditions in distributed systems via smt solving
JC Pereira, N Machado, J Sousa Pinto
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of …, 2020
52020
Concurrency debugging with MaxSMT
M Terra-Neves, N Machado, I Lynce, V Manquinho
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1608-1616, 2019
52019
Concurrency debugging with differential schedule projections
N Machado, D Quinta, B Lucia, L Rodrigues
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (2), 1-37, 2016
52016
Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
F Neves, N Machado, R Vilaça, J Pereira
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
32021
Exploiting Symbolic Execution to Accelerate Deterministic Databases
S Issa, N Machado, M Viegas, M Matos, P Raminhas, P Romano
40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020), 2020
22020
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds
R Pontes, F Maia, R Vilaça, N Machado
2019 38th Symposium on Reliable Distributed Systems (SRDS), 61-6109, 2019
12019
Totally Ordered Replication for Massive Scale Key-Value Stores
J Ribeiro, N Machado, F Maia, M Matos
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018
12018
CoopREP: Cooperative record and replay of concurrency bugs
N Machado, P Romano, L Rodrigues
Software Testing, Verification and Reliability 28 (1), e1645, 2018
12018
BUZZPSS: A Dependable and Adaptive Peer Sampling Service
N Machado, F Maia, M Matos, R Oliveira
2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 71-80, 2016
12016
Isolamento de falhas em redes definidas por software
J Miranda, N Machado, L Rodrigues
Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, 2016
12016
Property-Driven Cooperative Logging for Concurrency Bugs Replication
N Machado, P Romano, L Rodrigues
Presented as part of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013
12013
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
P Laffranchini, J Miranda, N Machado, L Rodrigues, E Rivière, R Sadre
Networked Systems: 8th International Conference, NETYS 2020, Marrakech …, 2021
2021
Cooperative Concurrency Debugging
N Machado
INSTITUTO SUPERIOR TECNICO, 2016
2016
Reprodução de Erros de Concorrência em Aplicações Java Através de Execução Simbólica
M Bravo, N Machado, L Rodrigues
2013
The system can't perform the operation now. Try again later.
Articles 1–20