Paul Krogmeier

14 papers A* 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Synthesizing DSLs for Few-Shot Learning.
CoRR
Paul Krogmeier, P. Madhusudan
2025 J jnl
Synthesizing DSLs for Few-Shot Learning.
Proc. ACM Program. Lang.
Paul Krogmeier, P. Madhusudan
2023 J jnl
Languages With Decidable Learning: A Meta-Theorem.
CoRR
Paul Krogmeier, P. Madhusudan
2023 J jnl
Languages with Decidable Learning: A Meta-theorem.
Proc. ACM Program. Lang.
Paul Krogmeier, P. Madhusudan
2022 A* conf
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination.
IJCAI
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
2022 J jnl
Learning formulas in finite variable logics.
Proc. ACM Program. Lang.
Paul Krogmeier, P. Madhusudan
2022 J jnl
Synthesizing axiomatizations using logic learning.
Proc. ACM Program. Lang.
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
2021 J jnl
Deciding accuracy of differential privacy schemes.
Proc. ACM Program. Lang.
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2021 J jnl
Learning Formulas in Finite Variable Logics.
CoRR
Paul Krogmeier, P. Madhusudan
2020 — conf
Decidable Synthesis of Programs with Uninterpreted Functions.
CAV (2)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2020 J jnl
Deciding Accuracy of Differential Privacy Schemes.
CoRR
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
2020 J jnl
Deciding memory safety for single-pass heap-manipulating programs.
Proc. ACM Program. Lang.
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2019 J jnl
Decidable Synthesis of Programs with Uninterpreted Functions.
CoRR
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2019 J jnl
Deciding Memory Safety for Forest Datastructures.
CoRR
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan