Deciding Memory Safety for Forest Datastructures. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (CoRR, 2019)

Decidable Synthesis of Programs with Uninterpreted Functions. - Paul Krogmeier; Umang Mathur 001; Adithya Murali; P. Madhusudan; Mahesh Viswanathan 001 (CAV (2), 2020)

Deciding memory safety for single-pass heap-manipulating programs. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2020)

Deciding accuracy of differential privacy schemes. - Gilles Barthe; Rohit Chadha; Paul Krogmeier; A. Prasad Sistla; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2021)

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. - Adithya Murali; Atharva Sehgal; Paul Krogmeier; P. Madhusudan (IJCAI, 2022)

Synthesizing axiomatizations using logic learning. - Paul Krogmeier; Zhengyao Lin; Adithya Murali; P. Madhusudan (Proc. ACM Program. Lang., 2022)

Learning formulas in finite variable logics. - Paul Krogmeier; P. Madhusudan (Proc. ACM Program. Lang., 2022)

Languages with Decidable Learning: A Meta-theorem. - Paul Krogmeier; P. Madhusudan (Proc. ACM Program. Lang., 2023)