Miguel Areias

32 papers B 1C 5Misc 1Journal 17Unranked 7
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
2025 — conf
Large Language Model Framework for Log Sequence Anomaly Detection.
EPIA (1)
João Reis, Miguel Areias, Jorge G. Barbosa
2025 C conf
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System.
PADL
Vítor Manuel de Morais Santos Costa, Miguel Areias
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
2022 J jnl
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design.
Computing
Miguel Areias, 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 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
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
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
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
2016 J jnl
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs.
Int. J. Parallel Program.
Miguel Areias, Ricardo Rocha
2015 — conf
Batched Evaluation of Full-Sharing Multithreaded Tabling.
SLATE
Miguel Areias, Ricardo Rocha
2015 — —
Multithreaded Tabling for Logic Programming
Miguel Areias
2014 J jnl
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling.
CoRR
Miguel Areias, Ricardo Rocha
2014 C conf
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs.
PADL
Miguel Areias, Ricardo Rocha
2013 J jnl
Batched evaluation of linear tabled logic programs.
Comput. Sci. Inf. Syst.
Miguel Areias, 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
On Extending a Linear Tabling Framework to Support Batched Scheduling.
SLATE
Miguel Areias, Ricardo Rocha
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 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
2010 C conf
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.
PADL
Miguel Areias, Ricardo Rocha
2009 Misc conf
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs.
EPIA
Miguel Areias, Ricardo Rocha