Publications in ProceedingsPublications in Proceedings
Property-Based Testing of a Concurrent Lock-Free Data Structure
Paulo Sousa, Ricardo Rocha and Pedro Vasconcelos. 16th INForum -
Simpósio de Informática (INForum 2025). Évora, Portugal, September
2025.
Reclaiming Memory from Lock-Free Hash Tries
Pedro Moreno and Ricardo Rocha. 10th INForum - Simpósio de
Informática (INForum 2018). Coimbra, Portugal, September 2018.
Improving Candidate Quality of Probabilistic Logic Models
Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha. 34th
International Conference on Logic Programming (ICLP 2018) - Technical
Communications. Oxford, UK, July 2018.
Simpler is Faster: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog
Miguel Areias and Ricardo Rocha. 10th International Symposium on
High-level Parallel Programming and Applications (HLPP 2017), pages
25-42. Valladolid, Spain, July 2017.
Towards an Automated Test Bench Environment for Prolog Systems
Ricardo Gonçalves, Miguel Areias and Ricardo Rocha. 6th Symposium on
Languages, Applications and Technologies (SLATE 2017), pages
2:1-2:13. Vila do Conde, Portugal, June 2017.
Using Probabilistic Logic Programming to Find Patterns
Theofrastos Mantadelis, Ricardo Rocha, Jorge Oliveira and Miguel
Tavares Coimbra. 21st Portuguese Conference on Pattern Recognition
(RecPad 2015). Faro, Portugal, October 2015.
Thread-Aware Logic Programming For Data-Driven Parallel Programs
Flávio Cruz, Ricardo Rocha and Seth Copen Goldstein. 31st
International Conference on Logic Programming (ICLP 2015) - Technical
Communications. Cork, Ireland, August/September 2015.
On Extending a Full-Sharing Multithreaded Tabling Design with Batched Scheduling
Miguel Areias and Ricardo Rocha. 4th Symposium on Languages,
Applications and Technologies (SLATE 2015), pages 163-172. Madrid,
Spain, June 2015.
On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
Miguel Areias and Ricardo Rocha. 1st Workshop on Software Engineering
for Parallel Systems (SEPS 2014), pages 103-114. Portland, Oregon,
USA, October 2014.
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias and Ricardo Rocha. 30th International Conference on
Logic Programming (ICLP 2014) - Technical Communications. Vienna,
Austria, July 2014.
A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs
Flávio Cruz, Ricardo Rocha and Seth Copen Goldstein. International
Joint Workshop on Implementation of Constraint and Logic Programming
Systems and Logic-based Methods in Programming Environments
(CICLOPS-WLPE 2014), pages 125-139. Vienna, Austria, July 2014.
A Portable Prolog Predicate for Printing Rational Terms
Theofrastos Mantadelis and Ricardo Rocha. International Joint Workshop
on Implementation of Constraint and Logic Programming Systems and
Logic-based Methods in Programming Environments (CICLOPS-WLPE
2014), pages 141-153. Vienna, Austria, July 2014.
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
Miguel Areias and Ricardo Rocha. 7th International Symposium on
High-level Parallel Programming and Applications (HLPP 2014), pages
259-278. Amsterdam, Netherlands, July 2014.
Or-Parallel Prolog Execution on Clusters of Multicores
João Santos and Ricardo Rocha. 2nd Symposium on Languages,
Applications and Technologies (SLATE 2013), pages 9-20. Porto,
Portugal, June 2013.
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
João Santos and Ricardo Rocha. 12th Colloquium on Implementation of
Constraint and LOgic Programming Systems (CICLOPS 2012), pages
41-55. Budapest, Hungary, September 2012.
On Extending a Linear Tabling Framework to Support Batched Scheduling
Miguel Areias and Ricardo Rocha. Symposium on Languages, Applications
and Technologies (SLATE 2012), pages 9-24. Braga, Portugal, June 2012.
Mode-Directed Tabling and Applications in the YapTab System
João Santos and Ricardo Rocha. Symposium on Languages, Applications
and Technologies (SLATE 2012), pages 25-40. Braga, Portugal, June 2012.
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
Inês Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando Silva and João
Santos. Workshop on Multithreaded Architectures and Applications
(MTAAP 2012 - Part of IPDPSW 2012), pages 1575-1584. Shanghai, China,
May 2012.
Bottom-Up Logic Programming for Multicores
Flávio Cruz, Michael P. Ashley-Rollman, Seth Copen Goldstein, Ricardo
Rocha and Frank Pfenning. 7th International Workshop on Declarative
Aspects and Applications of Multicore Programming (DAMP 2012) - Short
Papers. Philadelphia, Pennsylvania, USA, January 2012.
Single Time-Stamped Tries for Retroactive Call Subsumption
Flávio Cruz and Ricardo Rocha. 11th Colloquium on Implementation of
Constraint and LOgic Programming Systems (CICLOPS 2011), pages
19-33. Lexington, Kentucky, USA, July 2011.
Global Trie for Subterms
João Raimundo and Ricardo Rocha. 11th Colloquium on Implementation of
Constraint and LOgic Programming Systems (CICLOPS 2011), pages
34-48. Lexington, Kentucky, USA, July 2011.
Mixed-Strategies for Linear Tabling in Prolog
Miguel Areias and Ricardo Rocha. 4th International Conference on
Compilers, Programming Languages, Related Technologies and
Applications (CoRTA 2010 - Part of INForum 2010), pages
205-208. Braga, Portugal, September 2010.
Tabling Logic Programs in a Common Global Trie
Jorge Costa and Ricardo Rocha. 8th Colloquium on Implementation of
Constraint and LOgic Programming Systems (CICLOPS 2008), pages
48-59. Udine, Italy, December 2008.
Efficient Evaluation of Deterministic Tabled Calls
Miguel Areias and Ricardo Rocha. 8th Colloquium on Implementation of
Constraint and LOgic Programming Systems (CICLOPS 2008), pages
60-74. Udine, Italy, December 2008.
Tabling Logic Programs in a Database
Pedro Costa, Ricardo Rocha and Michel Ferreira. 21st Workshop on
(Constraint) Logic Programming (WLP 2007) - Local Proceedings, pages
125-135. Würzburg, Germany, October 2007.
ILP: Compute Once, Reuse Often
Nuno A. Fonseca, Ricardo Rocha, Rui Camacho and Vítor Santos
Costa. 6th Workshop on Multi-Relational Data Mining (MRDM
2007), pages 34-45. Warsaw, Poland, September 2007.
Some Improvements over the Continuation Call Tabling Implementation Technique
Pablo Chico, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva and
Ricardo Rocha. 7th Colloquium on Implementation of Constraint and
LOgic Programming Systems (CICLOPS 2007), pages 132-146. Porto,
Portugal, September 2007.
Relational Storage Mechanisms for Tabled Logic Programs
Pedro Costa, Ricardo Rocha and Michel Ferreira. 1st International
Conference on Compiler, Related Technologies and Applications (CoRTA
2007), pages 3-14. Covilhã, Portugal, July 2007.
ILP :- Just Trie It
Rui Camacho, Nuno A. Fonseca, Ricardo Rocha and Vítor Santos Costa. 17th
International Conference on Inductive Logic Programming (ILP 2007) -
Work-in-Progress Proceedings. Corvallis, Oregon, USA, June 2007.
Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System
Ricardo Rocha. 6th Colloquium on Implementation of Constraint and
LOgic Programming Systems (CICLOPS 2006), pages 2-17. Seattle,
Washington, USA, August 2006.
On Applying Deductive Databases to Inductive Logic Programming: a Performance Study
Tiago Soares, Michel Ferreira, Ricardo Rocha and Nuno A. Fonseca. 6th
Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2006), pages 80-94. Seattle, Washington, USA, August
2006.
DBTAB: a Relational Storage Model for the YapTab Tabling System
Pedro Costa, Ricardo Rocha and Michel Ferreira. 6th Colloquium on
Implementation of Constraint and LOgic Programming Systems (CICLOPS
2006), pages 95-109. Seattle, Washington, USA, August 2006.
Coupling OPTYap with a Database System
Michel Ferreira and Ricardo Rocha. IADIS International Conference
Applied Computing (IADIS-AC 2005), IADIS Press, volume II, pages
107-114. Algarve, Portugal, February 2005.
YapTab: A Tabling Engine Designed to Support Parallelism
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. 2nd Conference
on Tabulation in Parsing and Deduction (TAPD 2000), pages 77-87. Vigo,
Spain, September 2000.