( en | de | ru )

 

Disambiguation of "Prabhu, Sumanth"

Author of the publication

copydeleteadd this publication to your clipboard
Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

, , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 175-195. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yeshawant Prabhu

Sumanth Kaushik

Robindra Prabhu

Bentval Prabhu

George Mathias Prabhu

 

Other publications of authors with the same name

Multi-class Text Classification using BERT-based Active Learning., , and . DaSH@KDD, (2021)Solving Constrained Horn Clauses Using Syntax and Data., , , and . FMCAD, page 1-9. IEEE, (2018)Maximal Quantified Precondition Synthesis for Linear Array Loops., , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 245-274. Springer, (2024)Unsupervised Contextual Paraphrase Generation using Lexical Control and Reinforcement Learning., , , and . CoRR, (2021)Quantified Invariants via Syntax-Guided Synthesis., , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 259-277. Springer, (2019)Enhanced Text Classification using Proxy Labels and Knowledge Distillation., , and . COMAD/CODS, page 227-230. ACM, (2022)Identification of Food Quality Descriptors in Customer Chat Conversations using Named Entity Recognition., , , , and . COMAD/CODS, page 257-261. ACM, (2021)Weakest Precondition Inference for Non-Deterministic Linear Array Programs., , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 175-195. Springer, (2024)Efficiently Learning Safety Proofs from Appearance as well as Behaviours., , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 326-343. Springer, (2018)VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)., , , , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 457-462. Springer, (2018)