Apache storm vs. apache spark K Ballou | 7 | 2014 |
Incremental Transitive Closure for Zonal Abstract Domain K Ballou, E Sherman NASA Formal Methods Symposium, 800-808, 2022 | 3 | 2022 |
Learning Elixir K Ballou Packt Publishing Ltd, 2016 | 2 | 2016 |
Opencuda+ mpi K Ballou, N Mohammad Mousa | 2 | 2013 |
Identifying minimal changes in the zone abstract domain K Ballou, E Sherman International Symposium on Theoretical Aspects of Software Engineering, 221-239, 2023 | 1 | 2023 |
muRelBench: MicroBenchmarks for Zonotope Domains K Ballou, E Sherman arXiv preprint arXiv:2404.16243, 2024 | | 2024 |
Minimally Comparing Relational Abstract Domains K Ballou, E Sherman International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |