Concurrency in Boolean networks T Chatain, S Haar, J Kolčák, L Paulevé, A Thakkar Natural Computing 19, 91-109, 2020 | 27 | 2020 |
Example-guided synthesis of relational queries A Thakkar, A Naik, N Sands, R Alur, M Naik, M Raghothaman Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 16 | 2021 |
Reopening businesses and risk of COVID-19 transmission A O’Donoghue, T Dechen, W Pavlova, M Boals, G Moussa, M Madan, ... NPJ digital medicine 4 (1), 51, 2021 | 13* | 2021 |
Heartbleed: A formal methods perspective A Thakkar GitHub. Accessed: Feb 24, 2023 | 3 | 2023 |
Additive collatz trajectories A Thakkar, M Jagadale arXiv preprint arXiv:1611.03919, 2016 | 2 | 2016 |
Infinitude of Primes Using Formal Languages A Thakkar The American Mathematical Monthly 125 (8), 745-749, 2018 | 1 | 2018 |
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates A Thakkar, N Sands, G Petrou, R Alur, M Naik, M Raghothaman Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1394-1417, 2023 | | 2023 |
Relational Query Synthesis⋈ Decision Tree Learning A Naik, A Thakkar, A Stein, R Alur, M Naik Proceedings of the VLDB Endowment 17 (2), 250-263, 2023 | | 2023 |
Super-Spreader Businesses and Risk of COVID-19 Transmission (preprint) AL O'Donoghue, T Dechen, W Pavlova, M Boals, G Moussa, M Madan, ... | | 2020 |
Modular Synthesis of Reactive Programs A Thakkar, K Namjoshi, R Trefler 9th Workshop on Synthesis, 2020 | | 2020 |
Modular Synthesis of Reactive Programs KS Namjoshi, A Thakkar, RJ Trefler | | |
Verification of Rewriting-based Query Optimizers K Balaji, P Gupta, A Thakkar 16th International Workshop on Termination, 50, 0 | | |