Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Confirmed Publications: 14



11
TITLE: Concurrency Debugging with Differential Schedule Projections
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP
12
TITLE: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
14
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTHORS: Nuno Machado ; Paolo Romano ; Luis Rodrigues ;
PUBLISHED: 2012, SOURCE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
Page 2 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service