Search results for:
Filter your results
0 Search results
Ricardo Rocha
Senior Researcher
I'm an Associate Professor at the Department of Computer Science, Faculty of Sciences, University of Porto and a researcher at the CRACS & INESC TEC research unit.
I received my PhD degree in Computer Science from the University of Porto in 2001 and my main research topics are the Design and Implementation of Logic Programming Systems, Tabling in Logic Programming and Parallel and Distributed Computing. Another areas of interest include Lock-Free Data Structures, Inductive Logic Programming, Probabilistic Logic Programming and Deductive Databases. I'm also one of the main developers of the Yap Prolog system with particular focus on the execution models that support tabling and parallel evaluation.
I've published more than 100 refereed papers in international journals and conferences, served more than 50 events as PC chair or PC member, served the ALP Board as executive committee member and the ALP Newsletter as area co-editor for the Implementations and Systems track, served the INForum Board as president, supervised several PhD/MSc students and had leading role in two national projects. Currently, I'm the coordinator of the CRACS center at INESC TEC.
Projects
Publications
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Moreno, P;Areias, M;Rocha, R;Costa, VS;
2024
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
On Extending a Linear Tabling Framework to Support Batched Scheduling
Areias, M;Rocha, R;
2012
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012
Preface
Rocha, R;Launchbury, J;
2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Global Trie for Subterms
Raimundo, Joao;Rocha, Ricardo;
2011
CoRR
Supervised Theses
Generic Lock-Free Memory Reclamation
Pedro Carvalho Moreno
D - 2019
UP-FCUP
Lock-Free Memory Reclamation for Concurrent Hash Tries
Paulo Jorge Teixeira Rosa
M - 2020
UP-FCUP
Generic Lock-Free Memory Reclamation
Pedro Carvalho Moreno
D - 2020
UP-FCUP
Elasticidade em Lock-Free Hash-Tries
João Miguel Chamiça Pereira
M - 2021
UP-FCUP
