Flávio Cruz

According to our database, Flávio Cruz authored at least 10 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Declarative coordination of graph-based parallel programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015

Linear Logic and Coordination for Parallel Programming

Flávio Cruz

PhD thesis, 2015

A scalable file based data store for forensic analysis.

Flávio Cruz, Andreas Moser, Michael I. Cohen

Digit. Investig., 2015

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities.

Flávio Cruz, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2015

Thread-Aware Logic Programming for Data-Driven Parallel Programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

A Linear Logic Programming Language for Concurrent Programming over Graph Structures.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning

Theory Pract. Log. Program., 2014

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2011

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs.

Flávio Cruz, Ricardo Rocha

Theory Pract. Log. Program., 2011

Single Time-Stamped Tries for Retroactive Call Subsumption

Flávio Cruz, Ricardo Rocha

CoRR, 2011

2010

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.

Flávio Cruz, Ricardo Rocha

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010