Nuno Machado
Nuno Machado
Teradata
Verified email at teradata.com - Homepage
TitleCited byYear
Concurrency debugging with differential schedule projections
N Machado, B Lucia, L Rodrigues
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2015
252015
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
ACM SIGPLAN Notices 51 (8), 29, 2016
112016
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, 10, 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), 14, 2016
22016
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
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
12018
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
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
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
2016
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
Actas do Terceiro Simpósio de Informática, INForum 11, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–15