Ricardo Rocha

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 30

Top Venues

CoRR

Theory Pract. Log. Program.

PADL

ICLP (Technical Communications)

Publications

Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. Int. J. Parallel Program. 52 (3) (2024)
Pedro Moreno, Ricardo Rocha
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. SPAA (2023)
Pedro Moreno, Ricardo Rocha
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs. CoRR (2023)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Miguel Areias, Ricardo Rocha
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design. Computing 104 (10) (2022)
Joana Côrte-Real, Inês Dutra, Ricardo Rocha
Pruning strategies for the efficient traversal of the search space in PILP environments. Knowl. Inf. Syst. 63 (12) (2021)
Miguel Areias, Ricardo Rocha
Towards an Elastic Lock-Free Hash Trie Design. ISPDC (2021)
Miguel Areias, Ricardo Rocha
On the correctness and efficiency of a novel lock-free hash trie map design. J. Parallel Distributed Comput. 150 (2021)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Pedro Moreno, Miguel Areias, Ricardo Rocha
On the implementation of memory reclamation methods in a lock-free hash trie design. J. Parallel Distributed Comput. 155 (2021)
Pedro Moreno, Miguel Areias, Ricardo Rocha
A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map. Euro-Par (2020)
Pedro Moreno, Miguel Areias, Ricardo Rocha
Memory Reclamation Methods for Lock-Free Hash Tries. SBAC-PAD (2019)
Miguel Areias, Ricardo Rocha
Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Concurr. Comput. Pract. Exp. 31 (5) (2019)
Ricardo Leite, Ricardo Rocha
A lock-free coalescing-capable mechanism for memory management. ISMM (2019)
Joana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha
Improving Candidate Quality of Probabilistic Logic Models. ICLP (Technical Communications) (2018)
Miguel Areias, Ricardo Rocha
Table space designs for implicit and explicit concurrent tabled evaluation. Theory Pract. Log. Program. 18 (5-6) (2018)
Miguel Areias, Ricardo Rocha
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. CoRR (2018)
Ricardo Leite, Ricardo Rocha
LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator. VECPAR (2018)
Miguel Areias, Ricardo Rocha
On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Joana Côrte-Real, Inês Dutra, Ricardo Rocha
On Applying Probabilistic Logic Programming to Breast Cancer Data. ILP (2017)
Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
Towards an Automated Test Bench Environment for Prolog Systems. SLATE (2017)
Miguel Areias, Ricardo Rocha
On scaling dynamic programming problems with a multithreaded tabling Prolog system. J. Syst. Softw. 125 (2017)
Theofrastos Mantadelis, Ricardo Rocha
Using Iterative Deepening for Probabilistic Logic Inference. PADL (2017)
Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Inf. 8 (4) (2017)
Ricardo Rocha, Tran Cao Son
Introduction to the 33rd international conference on logic programming special issue. Theory Pract. Log. Program. 17 (5-6) (2017)
João Santos, Ricardo Rocha
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. Theory Pract. Log. Program. 16 (5-6) (2016)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Declarative coordination of graph-based parallel programs. PPOPP (2016)
Joana Côrte-Real, Inês Dutra, Ricardo Rocha
Estimation-Based Search Space Traversal in PILP Environments. ILP (2016)
João Santos, Ricardo Rocha
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. CoRR (2016)
Miguel Areias, Ricardo Rocha
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. Int. J. Parallel Program. 44 (3) (2016)
Miguel Areias, Ricardo Rocha
Batched Evaluation of Full-Sharing Multithreaded Tabling. SLATE (2015)
Flávio Cruz, Ricardo Rocha
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. PADL (2015)
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha
SkILL - a Stochastic Inductive Logic Learner. CoRR (2015)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Thread-Aware Logic Programming for Data-Driven Parallel Programs. ICLP (Technical Communications) (2015)
Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha, Elizabeth S. Burnside
SkILL - A Stochastic Inductive Logic Learner. ICMLA (2015)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. CoRR (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14 (4-5) (2014)
Miguel Areias, Ricardo Rocha
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. CoRR (2014)
João Santos, Ricardo Rocha
A team-based scheduling model for interfacing or-parallel prolog engines. Comput. Sci. Inf. Syst. 11 (4) (2014)
Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha
A hybrid mapreduce model for prolog. ISIC (2014)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Theory Pract. Log. Program. 14 (4-5) (2014)
Miguel Areias, Ricardo Rocha
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. PADL (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! CoRR (2014)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. PPDP (2014)
Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha
Prolog programming with a map-reduce parallel construct. PPDP (2013)
Miguel Areias, Ricardo Rocha
Batched evaluation of linear tabled logic programs. Comput. Sci. Inf. Syst. 10 (4) (2013)
João Santos, Ricardo Rocha
Or-Parallel Prolog Execution on Clusters of Multicores. SLATE (2013)
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores CoRR (2013)
João Santos, Ricardo Rocha
On the Efficient Implementation of Mode-Directed Tabling. PADL (2013)
João Santos, Ricardo Rocha
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System CoRR (2013)
Ricardo Rocha, Christian Theil Have
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. CoRR (2013)
Miguel Areias, Ricardo Rocha
On Extending a Linear Tabling Framework to Support Batched Scheduling. SLATE (2012)
Miguel Areias, Ricardo Rocha
Towards multi-threaded local tabling using a common table space. Theory Pract. Log. Program. 12 (4-5) (2012)
João Santos, Ricardo Rocha
Mode-Directed Tabling and Applications in the YapTab System. SLATE (2012)
Miguel Areias, Ricardo Rocha
Towards Multi-Threaded Local Tabling Using a Common Table Space CoRR (2012)
Vítor Santos Costa, Ricardo Rocha, Luís Damas
The YAP Prolog system. Theory Pract. Log. Program. 12 (1-2) (2012)
Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. IPDPS Workshops (2012)
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva
Or-parallel prolog execution on multicores based on stack splitting. DAMP (2012)
Miguel Areias, Ricardo Rocha
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. ICPADS (2012)
João Raimundo, Ricardo Rocha
A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. EPIA (2011)
Flávio Cruz, Ricardo Rocha
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs CoRR (2011)
João Raimundo, Ricardo Rocha
Global Trie for Subterms CoRR (2011)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11 (2-3) (2011)
Miguel Areias, Ricardo Rocha
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs CoRR (2011)
Vítor Santos Costa, Luís Damas, Ricardo Rocha
The YAP Prolog System CoRR (2011)
Flávio Cruz, Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Miguel Areias, Ricardo Rocha
On combining linear-based strategies for tabled evaluation of logic programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Flávio Cruz, Ricardo Rocha
Single Time-Stamped Tries for Retroactive Call Subsumption CoRR (2011)
Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
Threads and or-parallelism unified. Theory Pract. Log. Program. 10 (4-6) (2010)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR (2010)
João Raimundo, Ricardo Rocha
Compact Lists for Tabled Evaluation. PADL (2010)
Miguel Areias, Ricardo Rocha
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. PADL (2010)
Flávio Cruz, Ricardo Rocha
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. JELIA (2010)
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA (2010)
Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
Threads and Or-Parallelism Unified CoRR (2010)
Paulo Moura, Ricardo Rocha, Sara C. Madeira
High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL (2009)
Jorge Costa, João Raimundo, Ricardo Rocha
A Term-Based Global Trie for Tabled Logic Programs. ICLP (2009)
Miguel Areias, Ricardo Rocha
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. EPIA (2009)
Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva
Improving the efficiency of inductive logic programming systems. Softw. Pract. Exp. 39 (2) (2009)
Jorge Costa, Ricardo Rocha
One Table Fits All. PADL (2009)
Jorge Costa, Ricardo Rocha
Global Storing Mechanisms for Tabled Evaluation. ICLP (2008)
Paulo Moura, Ricardo Rocha, Sara C. Madeira
Thread-Based Competitive Or-Parallelism. ICLP (2008)
Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
On the Efficient Execution of ProbLog Programs. ICLP (2008)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
An Improved Continuation Call-Based Implementation of Tabling. PADL (2008)
Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa
Compile the Hypothesis Space: Do it Once, Use it Often. Fundam. Informaticae 89 (1) (2008)
Ricardo Rocha
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. PADL (2007)
Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa
ILP : - Just Trie It. ILP (2007)
Pedro Costa, Ricardo Rocha, Michel Ferreira
Relational Models for Tabling Logic Programs in a Database. INAP/WLP (2007)
Ricardo Rocha, Cláudio Silva, Ricardo Lopes
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. ICLP (2007)
Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha, Tiago Soares
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. ILP (2006)
Ricardo Rocha
Handling Incomplete and Complete Tables in Tabled Logic Programs. ICLP (2006)
Cláudio Silva, Ricardo Rocha, Ricardo Lopes
An External Module for Implementing Linear Tabling in Prolog. ICLP (2006)
Tiago Soares, Ricardo Rocha, Michel Ferreira
Generic Cut Actions for External Prolog Predicates. PADL (2006)
Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa
On Applying Tabling to Inductive Logic Programming. ECML (2005)
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP (2005)
Michel Ferreira, Ricardo Rocha
Coupling OPTYAP with a database system. IADIS AC (2005)
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
On Applying Or-Parallelism and Tabling to Logic Programs. Theory Pract. Log. Program. 5 (1-2) (2005)
Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. ICLP (2005)
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP (2004)
Michel Ferreira, Ricardo Rocha
The MyYapDB Deductive Database System. JELIA (2004)

Ricardo Rocha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ricardo Rocha