Publications
Export 17 results:
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Conference Paper
Pereira, H. G., D. G. Sousa, J. S. Bradbury, and J. M. Lourenço,
"
Automatic Generation of Contracts for Concurrent Java Programs
",
Atas do INForum 2022
, 8-9 Sep., 2022.
ps22_-_contracts.pdf
Pereira, H. G., D. G. Sousa, J. S. Bradbury, and J. M. Lourenço,
Automatic Generation of Contracts for Concurrent Java Programs
,
, Submitted.
Thales, P., T. M. Vale, R. J. Dias, and J. M. Lourenço,
Empowering a Relational Database with Lazy State Determination
,
, Submitted.
Thales, P., T. M. Vale, R. J. Dias, and J. M. Lourenço,
"
Empowering a Relational Database with LSD: Lazy State Determination
",
Atas do INForum 2022
, Atas INForum 2022. Instituto Politécnico da Guarda, 8-9 Sep., 2022.
tv22_-_lsd-sql.pdf
Luna, F., J. S. Bradbury, and J. M. Lourenço,
"
OSCAR - A Java Noise Injection Framework
",
Atas do INForum 2022
, Instituto Politécnico da Guarda, 8-9 Sep., 2022.
Best paper of the CPDLA track and runner-up for the Best Paper Award.
lbl22_-_oscar.pdf
Luna, F., J. S. Bradbury, and J. M. Lourenço,
OSCAR: A Noise Injection Framework for Concurrent Java Programs
,
, Submitted.
Antão, J., J. Barreto, and J. M. Lourenço,
"
A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems
",
Atas do INForum 2022
, Instituto Politécnico da Guarda, 8-9 Sep., 2022.
abl22_-_pmem.pdf
Monteiro, P., J. Lourenço, and A. Ravara,
"
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
",
INForum 2018 - Simpósio de Informática
, Guimarães, Portugal, 6-7 Sep., 2018.
mlr18a.pdf
Report
Pereira, H.,
Automatic Generation of Contracts for Concurrent Java Progra
,
, Lisboa, FCT-NOVA, 2022.
per22_-_contracts.pdf
Vale, T. M., J. Leitão, N. Preguiça, R. Rodrigues, R. J. Dias, and J. M. Lourenço,
Lazy State Determination: More Concurrency for Contending Linearizable Transactions
,
, Lisboa, FCT-NOVA, 2020.
vl20_-_lsd.pdf
Monteiro, P., J. Lourenço, and A. Ravara,
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
,
, Lisboa, FCT–NOVA, 2018.
mlr18b.pdf
Thesis
Parreira, T.,
"
Empowering a Relational Database with LSD: Lazy State Determination
",
FCT-NOVA
, 2022.
tha22_-_lsd-sql.pdf
Vale, T.,
"
Executing requests concurrently in state machine replication
",
FCT–NOVA
, 2019.
val19.pdf
Carpinteiro, D.,
"
Improving Key-Value Database Scalability with LSD: Lazy State Determination
",
FCT-NOVA
, Lisboa, 2022.
car22_-_lsd-kv.pdf
Subtil, E.,
"
Lazy State Determination for SQL Databases
",
FCT-NOVA
, 2021.
sub21_-_lsd-sql.pdf
de Luna, F.,
"
OSCAR — A Noise Injection Framework for Testing Concurrent Software
",
FCT-NOVA
, 2022.
lun22_-_oscar.pdf
Monteiro, P.,
"
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
",
FCT–NOVA
, Lisboa, 2018.
mon18.pdf
About
Publications
Prototypes
search-site
Enter your keywords:
Recent Publications
A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems
Automatic Generation of Contracts for Concurrent Java Programs
Automatic Generation of Contracts for Concurrent Java Progra
Automatic Generation of Contracts for Concurrent Java Programs
OSCAR: A Noise Injection Framework for Concurrent Java Programs
OSCAR - A Java Noise Injection Framework
more