Publications
2025
Conference [ PADL | Core ]
On Bridging Prolog and Python to Enhance an Inductive Logic Programming SystemVítor Santos Costa and Miguel Areias. 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025), Springer, LNCS 15537, pages 1--17. Denver, Colorado, USA, January 2025.
2024
Conference [ Euro-Par | Core ]
On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map DesignPedro Moreno, Miguel Areias and Ricardo Rocha. International European Conference on Parallel and Distributed Computing (Euro-Par 2024), Springer, LNCS, Madrid, Spain, August 2024.
Journal [ IJPP | Scimago ]
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in PrologPedro Moreno, Miguel Areias, Ricardo Rocha and Vítor Santos Costa. International Journal of Parallel Programming (IJPP), Springer, March 2024.
2023
Conference [ HLPP | Core ]
On the Implementation of
a Lock-Free Atom Table in a Prolog System
Pedro
Moreno, Miguel Areias, Ricardo Rocha and Vítor Santos
Costa. 16th International Symposium on High-level Parallel
Programming and Applications (HLPP 2023). Cluj-Napoca,
Romania, June 2023.
Journal [ IJPP | Scimago ]
Special Issue: High-Level Parallel Programming and Applications (HLPP 2022)Inês Dutra, Jorge Barbosa and Miguel Areias. Special Issue: High-Level Parallel Programming and Applications (HLPP2022). International Journal of Parallel Programming (IJPP), Springer, volume 51 (1). February 2023.
2022
Conference [ HLPP | Core ]
HLPP 2022
Miguel Areias, Inês Dutra and Jorge Barbosa. Proceedings of the
15th International Symposium on High-level Parallel Programming
and Applications (HLPP 2022). Porto, Portugal, July 2022.
Journal [ Computing | Scimago ]
On the Correctness of a Lock-Free Compression-based Elastic Mechanism for a Hash Trie DesignMiguel Areias and Ricardo Rocha, Computing, Springer, May, 2022.
Journal [ Sci Rep | Scimago ]
Automating Microsatellite Screening and Primer Design from Multi-individual Libraries using Micro-PrimersFilipe Alves, Filipa Martins, Miguel Areias and Antonio Muñoz-Mérida, Scientific Reports (Sci Rep), Nature, January, 2022.
2021
Journal [ IJPP | Scimago ]
Special Issue: High-Level Parallel Programming and ApplicationsMiguel Areias and Ricardo Rocha. Special Issue: High-Level Parallel Programming and Applications. International Journal of Parallel Programming (IJPP), Springer, volume 49 (6). December 2021.
Conference [ ISPDC | Core ]
Towards an Elastic Lock-Free Hash Trie
Design
Miguel Areias and Ricardo
Rocha. International Symposium on Parallel and
Distributed Computing (ISPDC 2021), IEEE Computer
Society, pages 9-16. Cluj-Napoca, Romania,
July 2021.
Journal [ JPDC | Scimago ]
On the Implementation of Memory Reclamation Methods in a Lock-Free Hash Trie DesignPedro Moreno, Miguel Areias and Ricardo Rocha. Journal of Parallel and Distributed Computing (JPDC), Elsevier (First online: May 2021).
Journal [ JPDC | Scimago ]
On the Correctness and Efficiency of a Novel Lock-Free Hash Trie Map DesignMiguel Areias and Ricardo Rocha. Journal of Parallel and Distributed Computing (JPDC), Elsevier. April 2021.
2020
Conference [ Euro-Par | Core ]
A Compression-Based Design for Higher Throughput in a Lock-Free Hash MapPedro Moreno, Miguel Areias and Ricardo Rocha. International European Conference on Parallel and Distributed Computing (Euro-Par 2020), Springer, LNCS, Warsaw, Poland, August 2020.
Conference [ HLPP | Core ]
HLPP 2020
Miguel Areias, Inês Dutra and Ricardo Rocha. Proceedings of the
13th International Symposium on High-level Parallel Programming
and Applications (HLPP 2020). Porto, Portugal, July 2020.
2019
Conference [ SBAC-PAD | Core ]
Memory Reclamation Methods for Lock-Free Hash TriesPedro Moreno, Miguel Areias and Ricardo Rocha. International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2019), IEEE Computer Society, pages 188-195. Campo Grande, Brazil, October 2019.
2018
Conference [ ISPA | Core ]
On Extending a Fixed Size, Persistent and Lock-Free Hash
Map Design to Store Sorted Keys
Miguel Areias
and Ricardo Rocha. International Symposium on Parallel
and Distributed Processing with Applications (ISPA 2018),
IEEE Computer Society, pages 415-422. Melbourne,
Australia, December 2018.
Journal [ TPLP | Scimago ]
Table Space Designs For Implicit and Explicit Concurrent
Tabled Evaluation
Miguel Areias and Ricardo
Rocha. Journal of Theory and Practice of Logic Programming (TPLP),
Cambridge University Press. July 2018.
Journal [ CCPE | Scimago ]
Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog
Miguel Areias and Ricardo Rocha. Concurrency and Computation: Practice
and Experience (CCPE), Wiley. March 2018.
2017
Journal [ Information | Scimago ]
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog SystemsRicardo Gonçalves, Miguel Areias and Ricardo Rocha. Information, MDPI, volume 8 (4), 129. October 2017.
Conference [ SBAC-PAD | Core ]
Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
Miguel Areias and Ricardo Rocha. International Symposium on Computer
Architecture and High Performance Computing (SBAC-PAD 2017), IEEE Computer Society, pages
145-152. Campinas, Brazil, October 2017.
Conference [ HLPP | Core ]
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.
Conference [ SLATE | Core ]
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.
2016
Journal [ JSS | Scimago ]
On Scaling Dynamic Programming Problems with a Multithreaded Tabling Prolog SystemMiguel Areias and Ricardo Rocha. Journal of Systems and Software (JSS), Elsevier, volume 125, pages 417-426. 2017 (First online: June 2016).
2015
Thesis [ UP | Shangai Ranking ]
Multithreaded Tabling for Logic Programming
Miguel Areias. PhD in Computer Science, University of Porto. Portugal,
May 2015.
Journal [ IJPP | Scimago ]
A Lock-Free Hash Trie Design for Concurrent Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. International Journal of Parallel Programming (IJPP), Springer, volume 44 (3), pages 386-406. June 2016 (First online: January 2015).
Book Series - Conference [ CCIS | Scimago - SLATE | Core ]
Batched Evaluation of Full-Sharing Multithreaded TablingMiguel Areias and Ricardo Rocha. 4th Symposium on Languages, Applications and Technologies (SLATE 2015), Springer, CCIS 563, pages 113-124. Madrid, Spain, June 2015.
Conference [ SLATE | Core ]
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.
2014
Book Series - Conference [ LNCS | Scimago - PADL | Core ]
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014), Springer, LNCS 8324, pages 168-183. San Diego, California, USA, January 2014.
Conference [ SEPS | Core ]
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.
Conference [ ICLP | Core ]
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.
Conference [ HLPP | Core ]
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.
2013
Journal [ COMSIS | Scimago ]
Batched Evaluation of Linear Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. Journal of Computer Science and Information Systems, Special Issue on Advances in Model Driven Engineering, Languages and Agents, volume 10 (4), pages 1775-1797. October 2013.
2012
Journal - Conference [ TPLP | Scimago - ICLP | Core ]
Towards Multi-Threaded Local Tabling Using a Common Table SpaceMiguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming (TPLP), 28th International Conference on Logic Programming (ICLP 2012), Special Issue, Cambridge University Press, volume 12 (4&5), pages 427-443. Budapest, Hungary, September 2012.
Conference [ ICPADS | Core ]
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic ProgramsMiguel Areias and Ricardo Rocha. 18th International Conference on Parallel and Distributed Systems (ICPADS 2012), IEEE Computer Society, pages 636-643. Singapore, December 2012.
Conference [ SLATE | Core ]
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.
2011
Journal - Conference [ TPLP | Scimago - ICLP | Core ]
On Combining Linear-Based Strategies for Tabled Evaluation of Logic ProgramsMiguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming (TPLP), 27th International Conference on Logic Programming (ICLP 2011), Special Issue, Cambridge University Press, volume 11 (4&5), pages 681-696. Lexington, Kentucky, USA, July 2011.
2010
Thesis [ UP | Shangai Ranking ]
On Applying Linear Tabling to Logic Programs
Miguel Areias. MSc in Computer Science, Department of Computer
Science, Faculty of Sciences, University of Porto. Portugal, September
2010.
Book Series - Conference [ LNCS | Scimago - PADL | Core ]
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of AlternativesMiguel Areias and Ricardo Rocha. 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), Springer, LNCS 5937, pages 279-293. Madrid, Spain, January 2010.
Conference [ CoRTA | Core ]
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.
2009
Book Series - Conference [ LNAI | Scimago - EPIA | Core ]
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), Springer, LNAI 5816, pages 113-125. Aveiro, Portugal, October 2009.
2008
Conference [ CICLOPS | Core ]
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.