Talks
2021
Conference [ ISPDC | Core ]
Towards an Elastic
Lock-Free Hash Trie Design
International
Symposium on Parallel and Distributed Computing (ISPDC
2021). Cluj-Napoca, Romania, July 2021 (online event).
2019
Lecture
A Small Ride
Towards Lock-Freedom
DCC-Talks, Porto, Portugal,
March 2019.
2018
Conference [ ISPA | Core ]
On Extending a Fixed
Size, Persistent and Lock-Free Hash Map Design to Store
Sorted Keys
International Symposium on
Parallel and Distributed Processing with Applications
(ISPA 2018). Melbourne, Australia, December 2018.
2017
Conference [ SBAC-PAD | Core ]
Towards a
Lock-Free, Fixed Size and Persistent Hash Map
Design
International Symposium on Computer
Architecture and High Performance Computing (SBAC-PAD
2017). Campinas, Brazil, October 2017.
Conference [ HLPP | Core ]
Simpler is Faster:
Multi-Dimensional Lock-Free Arrays for Multithreaded
Mode-Directed Tabling in Prolog
International
Symposium on High-level Parallel Programming and Applications
(HLPP 2017). Valladolid, Spain, July 2017.
Lecture
The Internals of
a Novel Lock-Free Hash Map Design
Course of
Parallel Computing of the Master in Computer Science, and
Integrated Master in Networks and Informatics Systems
Engineering. University of Porto, Portugal, December 2017.
2015
Thesis [ UP | Shangai Ranking ]
Multithreaded
Tabling for Logic Programming
PhD presentation.
University of Porto. Portugal, May 2015.
Conference [ SLATE | Core ]
On Extending a
Full-Sharing Multithreaded Tabling Design with Batched
Scheduling
Symposium on Languages, Applications
and Technologies (SLATE 2015). Madrid, Spain, June 2015.
2014
Conference [ SEPS | Core ]
On Scaling Dynamic
Programming Problems with a Multithreaded Tabling
System
Workshop on Software Engineering for
Parallel Systems (SEPS 2014). Portland, Oregon, USA, October
2014.
Conference [ HLPP | Core ]
A Lock-Free Hash Trie
Design for Concurrent Tabled Logic Programs
International Symposium on High-level Parallel Programming
and Applications (HLPP 2014). Amsterdam, Netherlands, July
2014.
Conference [ ICLP | Core ]
A Simple and Efficient
Lock-Free Hash Trie Design for Concurrent Tabling
International Conference on Logic Programming (ICLP
2014). Vienna, Austria, July 2014.
Conference [ PADL | Core ]
On the Correctness and
Efficiency of Lock-Free Expandable Tries for Tabled Logic
Programs
International Symposium on Practical
Aspects of Declarative Languages (PADL 2014). San Diego,
California, USA, January 2014.
Lecture
Lock-Free Tries
Designs and Applications
Course of Parallel
Computing of the Master in Computer Science, and Integrated
Master in Networks and Informatics Systems
Engineering. University of Porto, Portugal, December
2014.
2012
Conference [ ICPADS | Core ]
An Efficient and
Scalable Memory Allocator for Multithreaded Tabled Evaluation
of Logic Programs
International Conference on
Parallel and Distributed Systems (ICPADS 2012). Singapore, December 2012.
Conference [ ICLP | Core ]
Towards Multi-Threaded
Local Tabling Using a Common Table Space
International Conference on Logic Programming (ICLP
2012). Budapest, Hungary, September 2012.
Conference [ SLATE | Core ]
On Extending a Linear
Tabling Framework to Support Batched Scheduling
Symposium on Languages, Applications and Technologies
(SLATE 2012) Braga, Portugal, June 2012.
2011
Conference [ ICLP | Core ]
On Combining
Linear-Based Strategies for Tabled Evaluation of Logic
Programs
International Conference on Logic
Programming (ICLP 2011). Lexington, Kentucky, USA, July 2011.
2010
Thesis [ UP | Shangai Ranking ]
On Applying Linear
Tabling to Logic Programs
MSc
presentation. University of Porto. Portugal, September 2010.
Conference [ CoRTA | Core ]
Mixed-Strategies for
Linear Tabling in Prolog
Miguel Areias and
Ricardo Rocha. International Conference on Compilers,
Programming Languages, Related Technologies and Applications
(CoRTA 2010 - Part of INForum 2010). Braga, Portugal,
September 2010.
Conference [ PADL | Core ]
An Efficient Implementation
of Linear Tabling Based on Dynamic Reordering of
Alternatives
International Symposium on Practical
Aspects of Declarative Languages (PADL 2010). Madrid, Spain,
January 2010.
2009
Conference [ CoRTA | Core ]
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic ProgramsPortuguese Conference on Artificial Intelligence (EPIA 2009). Aveiro, Portugal, October 2009.