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
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
",
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.
E
Thales, P., T. M. Vale, R. J. Dias, and J. M. Lourenço,
Empowering a Relational Database with Lazy State Determination
,
, Submitted.
Parreira, T.,
"
Empowering a Relational Database with LSD: Lazy State Determination
",
FCT-NOVA
, 2022.
tha22_-_lsd-sql.pdf
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
Vale, T.,
"
Executing requests concurrently in state machine replication
",
FCT–NOVA
, 2019.
val19.pdf
I
Carpinteiro, D.,
"
Improving Key-Value Database Scalability with LSD: Lazy State Determination
",
FCT-NOVA
, Lisboa, 2022.
car22_-_lsd-kv.pdf
L
Subtil, E.,
"
Lazy State Determination for SQL Databases
",
FCT-NOVA
, 2021.
sub21_-_lsd-sql.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
O
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
de Luna, F.,
"
OSCAR — A Noise Injection Framework for Testing Concurrent Software
",
FCT-NOVA
, 2022.
lun22_-_oscar.pdf
Luna, F., J. S. Bradbury, and J. M. Lourenço,
OSCAR: A Noise Injection Framework for Concurrent Java Programs
,
, Submitted.
S
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
U
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
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
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