Thomas Gilray
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards Iterative Relational Algebra on the GPU | USENIX ATC '23 | 2023-07-10 |
Implements a CUDA GPU backend that runs iterative relational algebra for Datalog via a custom open-addressing hash table and fused join+projection operators… | ||
| So You Want To Analyze Scheme Programs With Datalog? | Scheme 2021 | 2021-08-27 |
Implements a modified CESK/AAM with mCFA that uses flat closures and a push-down-for-free allocator, compiles a substantial Scheme subset into CSV EDB facts… | ||
| nothing matches | ||