Paul Krogmeier

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 12

Top Topics

Symbolic Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Paul Krogmeier, P. Madhusudan
Languages with Decidable Learning: A Meta-theorem. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Paul Krogmeier, P. Madhusudan
Languages With Decidable Learning: A Meta-Theorem. CoRR (2023)
Paul Krogmeier, P. Madhusudan
Learning formulas in finite variable logics. Proc. ACM Program. Lang. 6 (POPL) (2022)
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. IJCAI (2022)
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
Synthesizing axiomatizations using logic learning. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Paul Krogmeier, P. Madhusudan
Learning Formulas in Finite Variable Logics. CoRR (2021)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding Accuracy of Differential Privacy Schemes. CoRR (2020)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) (2020)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding Memory Safety for Forest Datastructures. CoRR (2019)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR (2019)