Publications

2022

Journal [ Computing | Scimago ]

On the Correctness of a Lock-Free Compression-based Elastic Mechanism for a Hash Trie Design
Miguel Areias and Ricardo Rocha, Computing, Springer, May, 2022.

Journal [ Sci Rep | Scimago ]

Automating Microsatellite Screening and Primer Design from Multi-individual Libraries using Micro-Primers
Filipe 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 Applications
Miguel 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 Design
Pedro 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 Design
Miguel 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 Map
Pedro 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 Tries
Pedro 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 Systems
Ricardo 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 System
Miguel 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 Programs
Miguel 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 Tabling
Miguel 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 Programs
Miguel 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 Programs
Miguel 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 Space
Miguel 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 Programs
Miguel 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 Programs
Miguel 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 Alternatives
Miguel 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 Programs
Miguel 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.