Seguir
Nuno Machado
Nuno Machado
Amazon
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
Concurrency debugging with differential schedule projections
N Machado, B Lucia, L Rodrigues
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2015
482015
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
382018
Production-guided concurrency debugging
N Machado, B Lucia, L Rodrigues
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
312016
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
Testing for race conditions in distributed systems via SMT solving
JC Pereira, N Machado, J Sousa Pinto
International Conference on Tests and Proofs, 122-140, 2020
122020
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
92021
Minha: Large-scale distributed systems testing made practical
N Machado, J Pereira, FA Coelho, F Neves, F Maia
82020
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
82019
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
72016
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
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
52020
CoopREP: Cooperative record and replay of concurrency bugs
N Machado, P Romano, L Rodrigues
Software Testing, Verification and Reliability 28 (1), e1645, 2018
32018
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
22019
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
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
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
Reproduçao de Faltas em Programas Concorrentes Através da Combinaçao de Múltiplos Históricos Parciais
N Machado, P Romano, L Rodrigues
1
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20