I agree that this site is using cookies. You can find further informations here.
X
Krogmeier, Paul
18  results:
Search for persons X
?
1

Languages with Decidable Learning: A Meta-theorem:

Krogmeier, Paul ; Madhusudan, P.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 143-171 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Learning formulas in finite variable logics:

Krogmeier, Paul ; Madhusudan, P.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-28 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Learning formulas in finite variable logics:

Krogmeier, Paul ; Madhusudan, P.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-28 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Synthesizing axiomatizations using logic learning:

Krogmeier, Paul ; Lin, Zhengyao ; Murali, Adithya.
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1697-1725 , 2022
Link: https://doi.org/10.1145/..
 
?
5

Deciding accuracy of differential privacy schemes:

Barthe, Gilles ; Chadha, Rohit ; Krogmeier, Paul..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Deciding accuracy of differential privacy schemes:

Barthe, Gilles ; Chadha, Rohit ; Krogmeier, Paul..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
7

Decidable Synthesis of Programs with Uninterpreted Function:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Krogmeier, Paul ; Mathur, Umang ; Murali, Adithya.. - p. 634-657 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Deciding memory safety for single-pass heap-manipulating pr..:

Mathur, Umang ; Murali, Adithya ; Krogmeier, Paul..
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
?
9

Deciding memory safety for single-pass heap-manipulating pr..:

Mathur, Umang ; Murali, Adithya ; Krogmeier, Paul..
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

Languages with Decidable Learning: A Meta-theorem:

Krogmeier, Paul ; Madhusudan, P
http://arxiv.org/abs/2302.05741.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Synthesizing Axiomatizations using Logic Learning:

Krogmeier, Paul ; Lin, Zhengyao ; Murali, Adithya.
doi:10.1145/3563348.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Learning Formulas in Finite Variable Logics:

Krogmeier, Paul ; Madhusudan, P
http://arxiv.org/abs/2111.03534.  , 2021
Link: http://arxiv.org/abs/211..
 
?
13

Deciding Accuracy of Differential Privacy Schemes:

Barthe, Gilles ; Chadha, Rohit ; Krogmeier, Paul..
http://arxiv.org/abs/2011.06404.  , 2020
Link: http://arxiv.org/abs/201..
 
?
14

Decidable Synthesis of Programs with Uninterpreted Function:

Krogmeier, Paul ; Mathur, Umang ; Murali, Adithya..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363337/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
15

Deciding Memory Safety for Single-Pass Heap-Manipulating Pr..:

Mathur, Umang ; Murali, Adithya ; Krogmeier, Paul..
http://arxiv.org/abs/1907.00298.  , 2019
Link: http://arxiv.org/abs/190..
 
1-15