Paul Krogmeier

According to our database, Paul Krogmeier authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Languages with Decidable Learning: A Meta-theorem.

Paul Krogmeier, P. Madhusudan

Proc. ACM Program. Lang., April, 2023

2022

Learning formulas in finite variable logics.

Paul Krogmeier, P. Madhusudan

Proc. ACM Program. Lang., 2022

Synthesizing axiomatizations using logic learning.

Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan

Proc. ACM Program. Lang., 2022

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination.

Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Deciding accuracy of differential privacy schemes.

Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan

Proc. ACM Program. Lang., 2021

2020

Deciding memory safety for single-pass heap-manipulating programs.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

Proc. ACM Program. Lang., 2020

Decidable Synthesis of Programs with Uninterpreted Functions.

Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Deciding Memory Safety for Forest Datastructures.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

CoRR, 2019