| Seamless deductive inference via macros A Sahebolamri, T Gilray, K Micinski Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022 | 18 | 2022 |
| Bring your own data structures to Datalog A Sahebolamri, L Barrett, S Moore, K Micinski Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1198-1223, 2023 | 11 | 2023 |
| Formal verification of a modern boot loader SD Constable, R Sutton, A Sahebolamri, S Chapin | 6 | 2018 |
| A formally verified heap allocator A Sahebolamri, S Constable, SJ Chapin Electrical Engineering and Computer Science-Technical Reports 182, 2018 | 4 | 2018 |
| Extending seL4 integrity to the genode OS framework S Constable, A Sahebolamri, S Chapin Technical report, Critical Technologies, 2017 | 4 | 2017 |
| Robocup 2008–Soccer Simulation League 3D Soccer Simulation Team Description M Yasari, Y Kanani, A Sahebolamri, V Garoosy, N Mozaiani, MS Alavijeh | 1 | |
| Improving Logic Programming for Program Analysis A Sahebolamri Syracuse University, 2023 | | 2023 |
| Higher-Order, Data-Parallel Structured Deduction T Gilray, A Sahebolamri, S Kumar, K Micinski arXiv preprint arXiv:2211.11573, 2022 | | 2022 |
| A Formally Verified Heap Allocator A Sahebolamri, SD Constable, SJ Chapin | | 2018 |
