E-LIB Suche - Ergebnisse für: Murali, Adithya

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

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

3

Applying deep reinforcement learning to the HP model for pr..:

Yang, Kaiyuan ; Huang, Houjing ; Vandans, Olafs...
Physica A: Statistical Mechanics and its Applications. 609 (2023) - p. 128395 , 2023

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

4

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

5

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

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

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

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

9

Lipid Annotator: Towards Accurate Annotation in Non-Targete..:

Koelmel, Jeremy P. ; Li, Xiangdong ; Stow, Sarah M....
Metabolites. 10 (2020) 3 - p. 101 , 2020

Link: https://doi.org/10.3390/..

10

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

11

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

12

IDTAXA: a novel approach for accurate taxonomic classificat..:

Murali, Adithya ; Bhargava, Aniruddha ; Wright, Erik S.
Microbiome. 6 (2018) 1 - p. , 2018

Link: https://doi.org/10.1186/..

13

Chemistry with spatial control using particles and streams:

Kalinin, Yevgeniy V. ; Murali, Adithya ; Gracias, David H.
RSC Advances. 2 (2012) 26 - p. 9707 , 2012

Link: https://doi.org/10.1039/..

14

Applying Deep Reinforcement Learning to the HP Model for Pr..:

Yang, Kaiyuan ; Huang, Houjing ; Vandans, Olafs...
http://arxiv.org/abs/2211.14939. , 2022

Link: http://arxiv.org/abs/221..

15

Conformation Database for Publication: Applying Deep Reinfo..:

Yang, Kaiyuan ; Huang, Houjing ; Vandans, Olafs...
doi:10.5281/zenodo.7482307. , 2022

Link: https://zenodo.org/recor..