Ricardo Rocha

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