( en | de | ru )

 

Disambiguation of "Saha, Shambwaditya"

Author of the publication

copydeleteadd this publication to your clipboard
A Decidable Fragment of Second Order Logic With Applications to Synthesis.

, , , and . CoRR, (2017)

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.

Susanne Saha

Janapriya Saha

Sankalita Saha

Joyanta Saha

Barna Saha

 

Other publications of authors with the same name

NetGen: synthesizing data-plane configurations for network policies., , and . SOSR, page 17:1-17:6. ACM, (2015)Alchemist: Learning Guarded Affine Functions., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 440-446. Springer, (2015)Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants., , , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 323-346. Springer, (2019)Learning frameworks for program synthesis. University of Illinois Urbana-Champaign, USA, (2019)A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines., , , , and . J. Autom. Reason., 64 (7): 1523-1552 (2020)Learning stateful preconditions modulo a test generator., , , , and . PLDI, page 775-787. ACM, (2019)Synthesizing contracts correct modulo a test generator., , , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-27 (2021)A Decidable Fragment of Second Order Logic With Applications to Synthesis., , , and . CoRR, (2017)A Decidable Fragment of Second Order Logic With Applications to Synthesis., , , and . CSL, volume 119 of LIPIcs, page 31:1-31:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)