Nuno Machado

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 15

Top Topics

Concurrent Programs

Distributed Systems

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Francisco Neves, Nuno Machado, Ricardo Vilaça, José Pereira
Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs. DSN (2021)
Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano
Exploiting Symbolic Execution to Accelerate Deterministic Databases. ICDCS (2020)
Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches. NETYS (2020)
João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto
Testing for Race Conditions in Distributed Systems via SMT Solving. TAP@STAF (2020)
Nuno Machado, Francisco Maia, Francisco Neves, Fábio Coelho, José Pereira
Minha: Large-Scale Distributed Systems Testing Made Practical. OPODIS (2019)
Rogério Pontes, Francisco Maia, Ricardo Vilaça, Nuno Machado
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds. SRDS (2019)
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho
Concurrency Debugging with MaxSMT. AAAI (2019)
José Ribeiro, Nuno Machado, Francisco Maia, Miguel Matos
Totally Ordered Replication for Massive Scale Key-Value Stores. DAIS (2018)
Francisco Neves, Nuno Machado, José Pereira
Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. DSN (2018)
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
CoopREP: Cooperative record and replay of concurrency bugs. Softw. Test. Verification Reliab. 28 (1) (2018)
Jose Cachaco, Nuno Machado, Nuno Lourenço, Jorge Guilherme, Nuno Horta
Automatic technology migration of analog IC designs using generic cell libraries. DATE (2017)
Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues
Production-guided concurrency debugging. PPOPP (2016)
Nuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira
BuzzPSS: A Dependable and Adaptive Peer Sampling Service. LADC (2016)
Nuno Machado, Daniel Quinta, Brandon Lucia, Luís E. T. Rodrigues
Concurrency Debugging with Differential Schedule Projections. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues
Concurrency debugging with differential schedule projections. PLDI (2015)
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
Property-Driven Cooperative Logging for Concurrency Bugs Replication. HotPar (2013)
Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
Towards effective and efficient search-based deterministic replay. HotDep (2013)
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
Lightweight cooperative logging for fault replication in concurrent programs. DSN (2012)