Ricardo Rocha -

Registered user since Thu 23 Jul 2015

Name:Ricardo Rocha

Country:Portugal

Affiliation:University of Porto, Portugal

Personal website: http://www.dcc.fc.up.pt/~ricroc

Contributions

2022

FLOPS

Committee Member in Program Committee within the FLOPS 2022-track

2019

ISMM

Author of A Lock-Free Coalescing-Capable Mechanism for Memory Management within the ISMM 2019-track

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2019-track

2017

Symposium on Practical Aspects of Declarative Languages

Author of Using Iterative Deepening for Probabilistic Logic Inference within the PADL-track

2016

Principles and Practice of Parallel Programming

Author of Declarative Coordination of Graph-Based Parallel Programs within the Main conference-track

2015

AI-SEPS

Committee Member in Program Committee within the SEPS-track

2014

AI-SEPS

Author of On Scaling Dynamic Programming Problems with a Multithreaded Tabling System within the SEPS-track