Ricardo Rocha

According to our database, Ricardo Rocha authored at least 97 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog.

Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa

Int. J. Parallel Program., June, 2024

2023

Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs.

Pedro Moreno, Ricardo Rocha

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022

Parallel Logic Programming: A Sequel.

Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha

Theory Pract. Log. Program., 2022

On the correctness of a lock-free compression-based elastic mechanism for a hash trie design.

Miguel Areias, Ricardo Rocha

Computing, 2022

2021

Pruning strategies for the efficient traversal of the search space in PILP environments.

Joana Côrte-Real, Inês Dutra, Ricardo Rocha

Knowl. Inf. Syst., 2021

On the implementation of memory reclamation methods in a lock-free hash trie design.

Pedro Moreno, Miguel Areias, Ricardo Rocha

J. Parallel Distributed Comput., 2021

On the correctness and efficiency of a novel lock-free hash trie map design.

Miguel Areias, Ricardo Rocha

J. Parallel Distributed Comput., 2021

Towards an Elastic Lock-Free Hash Trie Design.

Miguel Areias, Ricardo Rocha

Proceedings of the 20th International Symposium on Parallel and Distributed Computing, 2021

2020

A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map.

Pedro Moreno, Miguel Areias, Ricardo Rocha

Proceedings of the Euro-Par 2020: Parallel Processing, 2020

2019

Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog.

Miguel Areias, Ricardo Rocha

Concurr. Comput. Pract. Exp., 2019

Memory Reclamation Methods for Lock-Free Hash Tries.

Pedro Moreno, Miguel Areias, Ricardo Rocha

Proceedings of the 31st International Symposium on Computer Architecture and High Performance Computing, 2019

A lock-free coalescing-capable mechanism for memory management.

Ricardo Leite, Ricardo Rocha

Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management, 2019

2018

Table space designs for implicit and explicit concurrent tabled evaluation.

Miguel Areias, Ricardo Rocha

Theory Pract. Log. Program., 2018

LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator.

Ricardo Leite, Ricardo Rocha

Proceedings of the High Performance Computing for Computational Science - VECPAR 2018, 2018

On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys.

Miguel Areias, Ricardo Rocha

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Improving Candidate Quality of Probabilistic Logic Models.

Joana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

Introduction to the 33rd international conference on logic programming special issue.

Ricardo Rocha, Tran Cao Son

Theory Pract. Log. Program., 2017

On scaling dynamic programming problems with a multithreaded tabling Prolog system.

Miguel Areias, Ricardo Rocha

J. Syst. Softw., 2017

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems.

Ricardo Gonçalves, Miguel Areias, Ricardo Rocha

Inf., 2017

Towards an Automated Test Bench Environment for Prolog Systems.

Ricardo Gonçalves, Miguel Areias, Ricardo Rocha

Proceedings of the 6th Symposium on Languages, Applications and Technologies, 2017

Towards a Lock-Free, Fixed Size and Persistent Hash Map Design.

Miguel João Gonçalves Areias, Ricardo Jorge Gomes Lopes da Rocha

Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Using Iterative Deepening for Probabilistic Logic Inference.

Theofrastos Mantadelis, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2017

On Applying Probabilistic Logic Programming to Breast Cancer Data.

Joana Côrte-Real, Inês Dutra, Ricardo Rocha

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.

João Santos, Ricardo Rocha

Theory Pract. Log. Program., 2016

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs.

Miguel Areias, Ricardo Rocha

Int. J. Parallel Program., 2016

Declarative coordination of graph-based parallel programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Estimation-Based Search Space Traversal in PILP Environments.

Joana Côrte-Real, Inês Dutra, Ricardo Rocha

Proceedings of the Inductive Logic Programming - 26th International Conference, 2016

2015

SkILL - a Stochastic Inductive Logic Learner.

Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha

CoRR, 2015

Batched Evaluation of Full-Sharing Multithreaded Tabling.

Miguel Areias, Ricardo Rocha

Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities.

Flávio Cruz, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2015

SkILL - A Stochastic Inductive Logic Learner.

Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Thread-Aware Logic Programming for Data-Driven Parallel Programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

Tabling, Rational Terms, and Coinduction Finally Together!

Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura

Theory Pract. Log. Program., 2014

A Linear Logic Programming Language for Concurrent Programming over Graph Structures.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning

Theory Pract. Log. Program., 2014

A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling.

Miguel Areias, Ricardo Rocha

CoRR, 2014

A team-based scheduling model for interfacing or-parallel prolog engines.

João Santos, Ricardo Rocha

Comput. Sci. Inf. Syst., 2014

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs.

Miguel Areias, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2014

A hybrid mapreduce model for prolog.

Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

2013

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores

Rui Vieira, Ricardo Rocha, Fernando M. A. Silva

CoRR, 2013

Efficient Support for Mode-Directed Tabling in the YapTab Tabling System

João Santos, Ricardo Rocha

CoRR, 2013

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems.

Ricardo Rocha, Christian Theil Have

CoRR, 2013

Batched evaluation of linear tabled logic programs.

Miguel Areias, Ricardo Rocha

Comput. Sci. Inf. Syst., 2013

Or-Parallel Prolog Execution on Clusters of Multicores.

João Santos, Ricardo Rocha

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

Prolog programming with a map-reduce parallel construct.

Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

On the Efficient Implementation of Mode-Directed Tabling.

João Santos, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

The YAP Prolog system.

Vítor Santos Costa, Ricardo Rocha, Luís Damas

Theory Pract. Log. Program., 2012

Towards multi-threaded local tabling using a common table space.

Miguel Areias, Ricardo Rocha

Theory Pract. Log. Program., 2012

Mode-Directed Tabling and Applications in the YapTab System.

João Santos, Ricardo Rocha

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

On Extending a Linear Tabling Framework to Support Batched Scheduling.

Miguel Areias, Ricardo Rocha

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Or-parallel prolog execution on multicores based on stack splitting.

Rui Vieira, Ricardo Rocha, Fernando M. A. Silva

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines.

Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs.

Miguel Areias, Ricardo Rocha

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011

On the implementation of the probabilistic logic programming language ProbLog.

Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha

Theory Pract. Log. Program., 2011

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs.

Flávio Cruz, Ricardo Rocha

Theory Pract. Log. Program., 2011

On combining linear-based strategies for tabled evaluation of logic programs.

Miguel Areias, Ricardo Rocha

Theory Pract. Log. Program., 2011

Global Trie for Subterms

João Raimundo, Ricardo Rocha

CoRR, 2011

Single Time-Stamped Tries for Retroactive Call Subsumption

Flávio Cruz, Ricardo Rocha

CoRR, 2011

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs.

João Raimundo, Ricardo Rocha

Proceedings of the Progress in Artificial Intelligence, 2011

2010

Threads and or-parallelism unified.

Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha

Theory Pract. Log. Program., 2010

Compact Lists for Tabled Evaluation.

João Raimundo, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2010

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.

Miguel Areias, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2010

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.

Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.

Flávio Cruz, Ricardo Rocha

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Improving the efficiency of inductive logic programming systems.

Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva

Softw. Pract. Exp., 2009

High Level Thread-Based Competitive Or-Parallelism in Logtalk.

Paulo Moura, Ricardo Rocha, Sara C. Madeira

Proceedings of the Practical Aspects of Declarative Languages, 2009

One Table Fits All.

Jorge Costa, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2009

A Term-Based Global Trie for Tabled Logic Programs.

Jorge Costa, João Raimundo, Ricardo Rocha

Proceedings of the Logic Programming, 25th International Conference, 2009

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs.

Miguel Areias, Ricardo Rocha

Proceedings of the Progress in Artificial Intelligence, 2009

2008

Compile the Hypothesis Space: Do it Once, Use it Often.

Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa

Fundam. Informaticae, 2008

An Improved Continuation Call-Based Implementation of Tabling.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2008

Thread-Based Competitive Or-Parallelism.

Paulo Moura, Ricardo Rocha, Sara C. Madeira

Proceedings of the Logic Programming, 24th International Conference, 2008

On the Efficient Execution of ProbLog Programs.

Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt

Proceedings of the Logic Programming, 24th International Conference, 2008

Global Storing Mechanisms for Tabled Evaluation.

Jorge Costa, Ricardo Rocha

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Relational Models for Tabling Logic Programs in a Database.

Pedro Costa, Ricardo Rocha, Michel Ferreira

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.

Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

ILP : - Just Trie It.

Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.

Ricardo Rocha, Cláudio Silva, Ricardo Lopes

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Generic Cut Actions for External Prolog Predicates.

Tiago Soares, Ricardo Rocha, Michel Ferreira

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Efficient and Scalable Induction of Logic Programs Using a Deductive Database System.

Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

An External Module for Implementing Linear Tabling in Prolog.

Cláudio Silva, Ricardo Rocha, Ricardo Lopes

Proceedings of the Logic Programming, 22nd International Conference, 2006

Handling Incomplete and Complete Tables in Tabled Logic Programs.

Ricardo Rocha

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

On Applying Or-Parallelism and Tabling to Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Theory Pract. Log. Program., 2005

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Logic Programming, 21st International Conference, 2005

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.

Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Logic Programming, 21st International Conference, 2005

Coupling OPTYAP with a database system.

Michel Ferreira, Ricardo Rocha

Proceedings of the AC 2005, 2005

On Applying Tabling to Inductive Logic Programming.

Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa

Proceedings of the Machine Learning: ECML 2005, 2005

2004

The MyYapDB Deductive Database System.

Michel Ferreira, Ricardo Rocha

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Speculative Computations in Or-Parallel Tabled Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Logic Programming, 20th International Conference, 2004

Concurrent Table Accesses in Parallel Tabled Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

Efficient Data Structures for Inductive Logic Programming.

Nuno A. Fonseca, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters.

Ricardo Rocha, Fernando M. A. Silva, Rolando Martins

Proceedings of the Progress in Artificial Intelligence, 2003

2002

Achieving Scalability in Parallel Tabled Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

On a Tabling Engine That Can Exploit Or-Parallelism.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Novel Models for Or-Parallel Logic Programs: A Performance Analysis.

Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Or-Parallelism within Tabling.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Practical Aspects of Declarative Languages, 1999

YapOr: an Or-Parallel Prolog System Based on Environment Copying.

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa

Proceedings of the Progress in Artificial Intelligence, 1999