Declarative demand-driven reverse engineering Y Sun, J Ching, K Micinski arXiv preprint arXiv:2101.04718, 2021 | 1 | 2021 |
Assemblage: Automatic Binary Dataset Construction for Machine Learning C Liu, R Saul, Y Sun, E Raff, M Fuchs, TS Pantano, J Holt, K Micinski arXiv preprint arXiv:2405.03991, 2024 | | 2024 |
GDlog: A GPU-Accelerated Deductive Engine Y Sun, AR Shovon, T Gilray, K Micinski, S Kumar arXiv preprint arXiv:2311.02206, 2023 | | 2023 |
Communication-Avoiding Recursive Aggregation Y Sun, S Kumar, T Gilray, K Micinski 2023 IEEE International Conference on Cluster Computing (CLUSTER), 197-208, 2023 | | 2023 |
So You Want to Analyze Scheme Programs With Datalog? DR Silverman, Y Sun, K Micinski, T Gilray arXiv preprint arXiv:2107.12909, 2021 | | 2021 |