| Specializing parallel data structures for Datalog | 0 | 0.34 | 2022 |
| Towards Elastic Incrementalization for Datalog. | 0 | 0.34 | 2021 |
| MadMax: analyzing the out-of-gas world of smart contracts | 2 | 0.38 | 2020 |
| A specialized B-tree for concurrent datalog evaluation. | 3 | 0.37 | 2019 |
| Brie - A Specialized Trie for Concurrent Datalog. | 2 | 0.36 | 2019 |
| Vandal: A Scalable Security Analysis Framework for Smart Contracts. | 9 | 0.47 | 2018 |
| Automatic index selection for large-scale datalog computation | 3 | 0.37 | 2018 |
| Two concurrent data structures for efficient datalog query processing. | 0 | 0.34 | 2018 |
| Cauliflower: a Solver Generator for Context-Free Language Reachability. | 0 | 0.34 | 2017 |
| SPARK: Static Program Analysis Reasoning and Retrieving Knowledge. | 0 | 0.34 | 2017 |
| Optimal On The Fly Index Selection in Polynomial Time. | 1 | 0.35 | 2017 |
| A Note on the Soundness of Difference Propagation. | 1 | 0.34 | 2016 |
| Souffle: On Synthesis Of Program Analyzers | 13 | 0.71 | 2016 |
| On fast large-scale program analysis in Datalog. | 12 | 0.84 | 2016 |
| LaminarIR: compile-time queues for structured streams | 1 | 0.40 | 2015 |
| Giga-scale exhaustive points-to analysis for Java in under a minute | 13 | 0.63 | 2015 |
| Computing end-to-end delays in stream query processing | 0 | 0.34 | 2015 |
| Curracurrong cloud: Stream processing in the cloud | 1 | 0.37 | 2014 |
| Curracurrong: a stream programming environment for wireless sensor networks. | 3 | 0.40 | 2014 |
| Orchestration by approximation: mapping stream programs onto multicore architectures | 20 | 0.80 | 2011 |
| Treegraph-based Instruction Scheduling for Stack-based Virtual Machines | 1 | 0.36 | 2011 |
| Minimal placement of bank selection instructions for partitioned memory architectures | 9 | 0.55 | 2008 |
| Symbolic analysis of imperative programming languages | 5 | 0.44 | 2006 |
| An embedded systems programming environment for c | 5 | 0.42 | 2006 |
