Flvio Cruz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2016
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PPoPP | Declarative coordination of graph-based parallel programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2015 | ICLP | Thread-Aware Logic Programming for Data-Driven Parallel Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2015 | PADL | On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. | Flvio Cruz, Ricardo Rocha |
| 2014 | PPDP | Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2010 | JELIA | Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. | Flvio Cruz, Ricardo Rocha |