E-LIB Suche - Ergebnisse für: Madhusudan, P.

1

Predictable Verification using Intrinsic Definitions:

Murali, Adithya ; Rivera, Cody ; Madhusudan, P.
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1804-1829 , 2024

Link: https://doi.org/10.1145/..

2

A First-order Logic with Frames:

Murali, Adithya ; Peña, Lucas ; Löding, Christof.
ACM Transactions on Programming Languages and Systems. 45 (2023) 2 - p. 1-44 , 2023

Link: https://doi.org/10.1145/..

3

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/..

4

Complete First-Order Reasoning for Properties of Functional..:

Murali, Adithya ; Peña, Lucas ; Jhala, Ranjit.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1063-1092 , 2023

Link: https://doi.org/10.1145/..

5

Perception Contracts for Safety of ML-Enabled Systems:

Astorga, Angello ; Hsieh, Chiao ; Madhusudan, P..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2196-2223 , 2023

Link: https://doi.org/10.1145/..

6

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/..

7

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..

8

Model-guided synthesis of inductive lemmas for FOL with lea..:

Murali, Adithya ; Peña, Lucas ; Blanchard, Eion..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1873-1902 , 2022

Link: https://doi.org/10.1145/..

9

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/..

10

Synthesizing contracts correct modulo a test generator:

Astorga, Angello ; Saha, Shambwaditya ; Dinkins, Ahmad...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-27 , 2021

Link: https://dl.acm.org/doi/1..

11

Synthesizing contracts correct modulo a test generator:

Astorga, Angello ; Saha, Shambwaditya ; Dinkins, Ahmad...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-27 , 2021

Link: https://doi.org/10.1145/..

12

Hierarchical heterostructured nickle foam–supported Co3S4 n..:

Peng, O. ; Shi, R. ; Wang, J....
Materials Today Energy. 18 (2020) - p. 100513 , 2020

Link: https://doi.org/10.1016/..

13

A Learning-Based Approach to Synthesizing Invariants for In..:

Neider, Daniel ; Madhusudan, P. ; Saha, Shambwaditya..
Journal of Automated Reasoning. 64 (2020) 7 - p. 1523-1552 , 2020

Link: https://doi.org/10.1007/..

14

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/..

15

A First-Order Logic with Frames:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Murali, Adithya ; Peña, Lucas ; Löding, Christof. - p. 515-543 , 2020

Link: https://doi.org/10.1007/..