Nuno Machado
Nuno Machado
Teradata
Verified email at teradata.com - Homepage
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
262015
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
152012
Production-guided concurrency debugging
N Machado, B Lucia, L Rodrigues
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
112016
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
62018
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
52013
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
Concurrency debugging with maxSMT
M Terra-Neves, N Machado, I Lynce, V Manquinho
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1608-1616, 2019
12019
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
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
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
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
2018
CoopREP: Cooperative record and replay of concurrency bugs
N Machado, P Romano, L Rodrigues
Software Testing, Verification and Reliability 28 (1), e1645, 2018
2018
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
Reproduçao de Faltas em Programas Concorrentes Através da Combinaçao de Múltiplos Históricos Parciais
N Machado, P Romano, L Rodrigues
The system can't perform the operation now. Try again later.
Articles 1–17