Flávio Cruz

12 papers B 2C 2Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2016 B conf
Declarative coordination of graph-based parallel programs.
PPoPP
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
2015 J jnl
A scalable file based data store for forensic analysis.
Digit. Investig.
Flávio Cruz, Andreas Moser, Michael I. Cohen
2015 — —
Linear Logic and Coordination for Parallel Programming
Flávio Cruz
2015 C conf
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities.
PADL
Flávio Cruz, Ricardo Rocha
2015 — conf
Thread-Aware Logic Programming for Data-Driven Parallel Programs.
ICLP (Technical Communications)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
2014 J jnl
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
CoRR
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
2014 J jnl
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
Theory Pract. Log. Program.
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
2014 C conf
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.
PPDP
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
2011 J jnl
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
CoRR
Flávio Cruz, Ricardo Rocha
2011 J jnl
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs.
Theory Pract. Log. Program.
Flávio Cruz, Ricardo Rocha
2011 J jnl
Single Time-Stamped Tries for Retroactive Call Subsumption
CoRR
Flávio Cruz, Ricardo Rocha
2010 B conf
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.
JELIA
Flávio Cruz, Ricardo Rocha