S
Saurabh Srivastava
Researcher at Indian Institutes of Technology
Publications - 59
Citations - 1464
Saurabh Srivastava is an academic researcher from Indian Institutes of Technology. The author has contributed to research in topics: Program synthesis & Predicate abstraction. The author has an hindex of 15, co-authored 52 publications receiving 1258 citations. Previous affiliations of Saurabh Srivastava include University of California, Berkeley & Microsoft.
Papers
More filters
Proceedings ArticleDOI
Contextual Reactive Pattern on Chatbot building Platforms
TL;DR: The effects of using a platform to build a chatbot is discussed and the Contextual Reactive pattern used for chatbot definition is discussed, which describes the "reaction" that must take place when the context is observed.
Proceedings ArticleDOI
Intent Sets: Architectural Choices for Building Practical Chatbots
TL;DR: This work presents the concept of Intent Sets - an Architectural choice, that impacts the overall accuracy of the chatbot and shows that the same chatbot can be built choosing one out of many possible Intent Sets.
Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
TL;DR: It is concluded that CMod can effectively support modular programming in C: it soundly enforces type-safe linking and information-hiding while being largely compatible with existing practice.
Patent
Using Constraint Solving to Discovering Disjunctive and Quantified Invariants Over Predicate Abstraction
TL;DR: In this paper, the Satisfiability Modulo Theories (SMT) solver is used to generate complex invariants in a program using a Satisfiability Matrices solver.
Journal ArticleDOI
An ecosystem view of social entrepreneurship through the perspective of systems thinking
TL;DR: In this article , the authors put forward a system theoretic analysis of social entrepreneurship research and afterward presented a SE ecosystem model, by employing systems thinking approach and using the principle of "wholeness".