Publications
Export 17 results:
Tagged
XML
BibTex
Sort by: [
Author
]
Title
Type
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
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
C
Carpinteiro, D.,
"
Improving Key-Value Database Scalability with LSD: Lazy State Determination
",
FCT-NOVA
, Lisboa, 2022.
car22_-_lsd-kv.pdf
L
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.
de Luna, F.,
"
OSCAR — A Noise Injection Framework for Testing Concurrent Software
",
FCT-NOVA
, 2022.
lun22_-_oscar.pdf
M
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
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
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
P
Parreira, T.,
"
Empowering a Relational Database with LSD: Lazy State Determination
",
FCT-NOVA
, 2022.
tha22_-_lsd-sql.pdf
Pereira, H.,
Automatic Generation of Contracts for Concurrent Java Progra
,
, Lisboa, FCT-NOVA, 2022.
per22_-_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.
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
S
Subtil, E.,
"
Lazy State Determination for SQL Databases
",
FCT-NOVA
, 2021.
sub21_-_lsd-sql.pdf
T
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
Thales, P., T. M. Vale, R. J. Dias, and J. M. Lourenço,
Empowering a Relational Database with Lazy State Determination
,
, Submitted.
V
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
Vale, T.,
"
Executing requests concurrently in state machine replication
",
FCT–NOVA
, 2019.
val19.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