Nuno Machado

According to our database, Nuno Machado authored at least 18 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs.

Francisco Neves, Nuno Machado, Ricardo Vilaça, José Pereira

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Testing for Race Conditions in Distributed Systems via SMT Solving.

João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto

Proceedings of the Tests and Proofs - 14th International Conference, 2020

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.

Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre

Proceedings of the Networked Systems - 8th International Conference, 2020

Exploiting Symbolic Execution to Accelerate Deterministic Databases.

Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2019

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds.

Rogério Pontes, Francisco Maia, Ricardo Vilaça, Nuno Machado

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Minha: Large-Scale Distributed Systems Testing Made Practical.

Nuno Machado, Francisco Maia, Francisco Neves, Fábio Coelho, José Pereira

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Concurrency Debugging with MaxSMT.

Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

CoopREP: Cooperative record and replay of concurrency bugs.

Nuno Machado, Paolo Romano, Luís E. T. Rodrigues

Softw. Test. Verification Reliab., 2018

Falcon: A Practical Log-Based Analysis Tool for Distributed Systems.

Francisco Neves, Nuno Machado, José Pereira

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Totally Ordered Replication for Massive Scale Key-Value Stores.

José Ribeiro, Nuno Machado, Francisco Maia, Miguel Matos

Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017

Automatic technology migration of analog IC designs using generic cell libraries.

Jose Cachaco, Nuno Machado, Nuno Lourenço, Jorge Guilherme, Nuno Horta

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Concurrency Debugging with Differential Schedule Projections.

Nuno Machado, Daniel Quinta, Brandon Lucia, Luís E. T. Rodrigues

ACM Trans. Softw. Eng. Methodol., 2016

Production-guided concurrency debugging.

Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

BuzzPSS: A Dependable and Adaptive Peer Sampling Service.

Nuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015

Concurrency debugging with differential schedule projections.

Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2013

Property-Driven Cooperative Logging for Concurrency Bugs Replication.

Nuno Machado, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Towards effective and efficient search-based deterministic replay.

Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

2012

Lightweight cooperative logging for fault replication in concurrent programs.

Nuno Machado, Paolo Romano, Luís E. T. Rodrigues

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012