Publications

Export 17 results:
Sort by: Author Title Type [ Year (Desc)]
Submitted
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.
Luna, F., J. S. Bradbury, and J. M. Lourenço, OSCAR: A Noise Injection Framework for Concurrent Java Programs, , Submitted.
2022
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
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
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
Pereira, H., Automatic Generation of Contracts for Concurrent Java Progra, , Lisboa, FCT-NOVA, 2022. per22_-_contracts.pdf
Parreira, T., "Empowering a Relational Database with LSD: Lazy State Determination", FCT-NOVA, 2022. tha22_-_lsd-sql.pdf
Carpinteiro, D., "Improving Key-Value Database Scalability with LSD: Lazy State Determination", FCT-NOVA, Lisboa, 2022. car22_-_lsd-kv.pdf
de Luna, F., "OSCAR — A Noise Injection Framework for Testing Concurrent Software", FCT-NOVA, 2022. lun22_-_oscar.pdf
2021
Subtil, E., "Lazy State Determination for SQL Databases", FCT-NOVA, 2021. sub21_-_lsd-sql.pdf
2020
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
2019
Vale, T., "Executing requests concurrently in state machine replication", FCT–NOVA, 2019. val19.pdf
2018
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