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
352015
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
162012
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
152018
Production-guided concurrency debugging
N Machado, B Lucia, L Rodrigues
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
152016
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
62013
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
42020
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
32019
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
32016
Testing for Race Conditions in Distributed Systems via SMT Solving
JC Pereira, N Machado, JS Pinto
International Conference on Tests and Proofs, 122-140, 2020
12020
Totally Ordered Replication for Massive Scale Key-Value Stores
J Ribeiro, N Machado, F Maia, M Matos
IFIP International Conference on Distributed Applications and Interoperable …, 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
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
2021
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
P Laffranchini, J Miranda, N Machado, L Rodrigues, E Rivière, R Sadre
International Conference on Networked Systems, 279-295, 2020
2020
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
2020
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
2019
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