Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Miguel Gonçalves Areias

2025

On Bridging Prolog and Python to Enhance an Inductive Logic Programming System

Authors
Santos Costa, VMdM; Areias, M;

Publication
Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Abstract
Prolog is a programming language that provides a high-level approach to software development. Python is a versatile programming language that has a vast range of libraries including support for data analysis and machine learning tasks. We present a Prolog-Python interface that aims at exploiting Prolog deduction capabilities and Python’s extensive libraries. Our novel interface was built using a divide and conquer methodology. In a first step, we implemented a set of C++ classes that can be matched to Python classes; next, we used an interface generator to export the relevant classes. Finally, we use C code to actually convert between the two realms. In order to demonstrate the usefulness of the interface, we enhance an Inductive Logic Programming System with a visualization capabilities and show how to interface with a standard classifier. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

2024

On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design

Authors
Moreno, P; Areias, M; Rocha, R;

Publication
Euro-Par 2024: Parallel Processing Workshops - Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Abstract
Lock-freedom offers significant advantages in terms of algorithm design, performance and scalability. A fundamental building block in software development is the usage of hash map data structures. This work extends a previous lock-free hash map to support a new simplified design that is able to take advantage of most state-of-the-art safe memory reclamation methods, thus outperforming the previous design. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

  • 6
  • 6