Ricardo Dias
Researcher
Computer Systems
Country: Portugal
Affiliation: Faculdade de Ciências e Tecnologia, UNL
Email: ricardo.dias@fct.unl.pt
Phone: +351 212 948 536 (ext: 10781)
- Resume
- Projects
- Publications
- Graduations
- Prototypes
- Seminars
Project Highlights
- No records found.
Publications Highlights
- Efficient Correction of Anomalies in Snapshot Isolation Transactions
- Jan 2015
- Heiner Litz, Ricardo Dias, David R. Cheriton
- Efficient support for in-place metadata in Java software transactional memory
- Dec 2013
- Ricardo Dias, Tiago Vale, João Lourenço
- Precise Detection of Atomicity Violations
- Nov 2013
- Ricardo Dias, Vasco Pessanha, João Lourenço
- Verification of Snapshot Isolation in Transactional Memory Java Programs
- Jun 2012
- Ricardo Dias, Dino Distefano, João Costa Seco, João Lourenço
1 Jan 2015
1 Dec 2013
1 Nov 2013
1 Jun 2012