Nuno Machado

Orcid: 0000-0003-1531-1875

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Testing for Race Conditions in Distributed Systems via SMT Solving.
Proceedings of the Tests and Proofs - 14th International Conference, 2020

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.
Proceedings of the Networked Systems - 8th International Conference, 2020

Exploiting Symbolic Execution to Accelerate Deterministic Databases.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Minha: Large-Scale Distributed Systems Testing Made Practical.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Concurrency Debugging with MaxSMT.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

CoopREP: Cooperative record and replay of concurrency bugs.
Softw. Test. Verification Reliab., 2018

Falcon: A Practical Log-Based Analysis Tool for Distributed Systems.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Totally Ordered Replication for Massive Scale Key-Value Stores.
Proceedings of the Distributed Applications and Interoperable Systems, 2018

Automatic technology migration of analog IC designs using generic cell libraries.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Concurrency Debugging with Differential Schedule Projections.
ACM Trans. Softw. Eng. Methodol., 2016

Production-guided concurrency debugging.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

BuzzPSS: A Dependable and Adaptive Peer Sampling Service.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Concurrency debugging with differential schedule projections.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Property-Driven Cooperative Logging for Concurrency Bugs Replication.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Towards effective and efficient search-based deterministic replay.
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Lightweight cooperative logging for fault replication in concurrent programs.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012