2011
A Generic and Distributed Dependable Software Transactional Memory.
N. Carvalho. PhD Thesis. Departamento de Engenharia Informática, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa. December, 2011.
A Generic Framework for Replicated Software Transactional Memories.
N. Carvalho, P. Romano, and L. Rodrigues.
In proceedings of the 10th IEEE International Symposium on Network Computing and Applications (IEEE NCA11), Cambridge (MA), USA, August 2011 (short paper).
SCert: Speculative Certification in Replicated Software Transactional Memories.
Nuno Carvalho, Paolo Romano, and Luís Rodrigues. In Proceedings of the 4th Annual International Systems and Storage Conference (SYSTOR 2011), Haifa, Israel, June 2011.
2010
Generic Replication of Software Transactional Memory.
Nuno Carvalho. (advisor: Prof. Luís Rodrigues) Doctoral Symposium of the 11th International Middleware Conference, Bangalore, India, December 2010.
Asynchronous Lease-based Replication of Software Transactional Memory.
Nuno Carvalho, Paolo Romano, and Luís Rodrigues. Proc. of the 11th International Middleware Conference, Bangalore, India, December 2010.
An Optimal Speculative Transactional Replication Protocol.
Paolo Romano, R. Palmieri, F. Quaglia, N. Carvalho and L. Rodrigues. Proc. 8th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taiwan, Taipei, IEEE Computer Society Press, September 2010.
[available in pdf]
Bridling Concurrency to Boost Performance In Distributed STMs (Fast Abstract).
N. Carvalho, Paolo Romano and L. Rodrigues. Proc. 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Chicago, USA, IEEE Computer Society Press, June 2010.
Brief Announcement: On Speculative Replication of Transactional Systems.
Paolo Romano, R. Palmieri, F. Quaglia, N. Carvalho and L. Rodrigues. Proc. 22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Santorini, Greece, ACM Press, June 2010.
Evaluating Database-oriented Replication Schemes in Software Transactional Memory Systems.
R. Palmieri, F. Quaglia, Paolo Romano and N. Carvalho. Proc. 15th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS), Atlanta, USA, IEEE Computer Society Press, May 2010.
Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories.
Paolo Romano, L. Rodrigues, N. Carvalho and J. Cachopo.
ACM SIGOPS Operating Systems Review, Volume 44 , Issue 2, April 2010.
Practical Database Replication.
A. Correia Jr., J. Pereira, L. Rodrigues, N. Carvalho, and R. Oliveira. In Replication Theory and Practice, B. Charron-Bost, F. Pedone, A. Schiper (Eds.), Chapter 13, Springer 2010. ISBN: 978-3-642-11293-5
2009
D2STM: Dependable Distributed Software Transactional Memory.
Maria Couceiro, Paolo Romano, Nuno Carvalho and Luís Rodrigues. Proceedings of the 15th Pacific Rim International Symposium on Dependable Computing (PRDC 09), Shanghai, China, November 16-18, 2009.
FT-OSGi: Fault Tolerant Extensions to the OSGi Service Platform.
Carlos Torrão, Nuno Carvalho and Luís Rodrigues. Proceedings of the 11th International Symposium on Distributed Objects, Middleware, and Applications (DOA'09), Vilamoura, Algarve-Portugal, Nov 01 - 03, 2009.
Cloud-TM: Harnessing the Cloud with Distributed Transactional Memories.
Paolo Romano, Luís Rodrigues, Nuno Carvalho, and João Cachopo.
Proceedings of the 3rd ACM SIGOPS International Workshop on Large-Sacle Distributed Systems and Middleware (LADIS), Big Sky Resort, Big Sky (MT), USA, October 10-11, 2009.
The Weak Mutual Exclusion Problem.
Paolo Romano, Luís Rodrigues and Nuno Carvalho. Proceedings of the 23rd International Parallel and Distributed Processing Symposium, Rome, Italy, May 2009.
2008
Towards Distributed Software Transactional Memory Systems.
Paolo Romano, Nuno Carvalho and Luís Rodrigues. Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2008), Watson Research Labs, Yorktown Heights (NY), USA, September 2008 (invited paper).
Supporting Linearizable Semantics in Replicated Databases.
Luís Rodrigues, Nuno Carvalho and Emili Miedes. The 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA08), Cambridge, MA, USA, July 2008. (short paper)
Versioned Transactional Shared Memory for the FénixEDU Web Application.
Nuno Carvalho, João Cachopo, Luís Rodrigues, and António Rito Silva. Second Workshop on Dependable Distributed Data Management (in conjunction with Eurosys 2008), Glasgow, Scotland, March 31, 2008.
2007
On the use of a reflective architecture to augment Database Management Systems.
Nuno Carvalho, Alfranio Correia Jr., José Pereira, Luís Rodrigues, Rui Oliveira and Susana Guedes. Journal of Universal Computer Science, Vol 13, No 8, pp 1110-1135.
GORDA: An Open Architecture for Database Replication (Extended Report).
Alfranio Correia Jr., José Pereira, Luís Rodrigues, Nuno Carvalho, Ricardo Vilaça, Rui Oliveira and Susana Guedes. GORDA Technical Report. May, 2007. http://gorda.di.uminho.pt
GORDA: An Open Architecture for Database Replication.
Alfranio Correia Jr., José Pereira, Luís Rodrigues, Nuno Carvalho, Ricardo Vilaça, Rui Oliveira and Susana Guedes. In proceedings of the 6th IEEE Internacional Symposium on Network Computing and Applications (NCA '07), Boston, MA, USA. 2007 (short paper).
2006
Towards a Generic Group Communication Service.
Nuno Carvalho, José Pereira and Luís Rodrigues. Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA). Montpellier, France, October, 2006.
Reducing Latency in Rendezvous-Based Publish-Subscribe Systems for Wireless Ad Hoc Networks.
Nuno Carvalho, Filipe Araújo and Luís Rodrigues. The 5th International Workshop on Distributed Event-Based Systems (DEBS). In conjunction with The 26th International Conference on Distributed Computing Systems, July 4-7, 2006, Lisboa, Portugal.
From Spontaneous Total Order to Uniform Total Order: different degrees of optimistic delivery.
Luís Rodrigues, José Mocito and Nuno Carvalho.
In Proceedings of the 21st ACM Symposium on Applied Computing (SAC'06), Dijon, France, April 2006.
2005
Scalable QoS-Based Event Routing in Publish-Subscribe Systems.
Nuno Carvalho, Filipe Araújo and Luís Rodrigues. In proceedings of the 4th IEEE Internacional Symposium on Network Computing and Applications (NCA '05), Boston, MA, USA. 2005.
2004
IndiQoS: Um Sistema Publicação-Subscrição com Qualidade de Serviço.
Nuno Carvalho. Tese de Mestrado (MSc Thesis). Faculdade de Ciências, Universidade de Lisboa. Novembro de 2004.
2003
IndiQoS: Um Sistema Publicação-Subscrição com Qualidade de Serviço.
Nuno Carvalho, Filipe Araújo and Luís Rodrigues. Actas da Sexta Conferência sobre Redes de Computadores (CRC'03), Setembro de 2003, Bragança, Portugal.
2002
Concretização de Protocolos com Fiabilidade Semântica.
Nuno Carvalho, José Pereira and Luís Rodrigues. Actas da Quinta Conferência sobre Redes de Computadores (CRC'02). Setembro de 2002, Faro, Portugal.