Shetal Shah - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2023

Learning Monitor Ensembles for Operational Design DomainsHazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay 0001, Supratik Chakraborty, Sanjit A. Seshia. RV 2023: 271-290 [doi]

2021

Boolean functional synthesis: hardness and practical algorithmsS. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah. fmsd, 57(1):53-86, 2021. [doi]

Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsHazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay 0001, Sanjit A. Seshia. FMCAD 2021: 153-162 [doi]

2019

Knowledge Compilation for Boolean Functional SynthesisS. Akshay, Jatin Arora 0002, Supratik Chakraborty, S. Krishna, Divya Raghunathan, Shetal Shah. FMCAD 2019: 161-169 [doi]

2018

What's Hard About Boolean Functional Synthesis?S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah. cav 2018: 251-269 [doi]

2017

Towards Parallel Boolean Functional SynthesisS. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah. TACAS 2017: 337-353 [doi]

2015

2013

Extending XData to kill SQL query mutants in the wildBikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan 0001, Ankit Shah. SIGMOD 2013: 2 [doi]

2011

Generating test data for killing SQL mutants: A constraint-based approachShetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar, Bhanu Pratap Gupta, Devang Vira. icde 2011: 1175-1186 [doi]

2008

Handling Non-linear Polynomial Queries over Dynamic DataShetal Shah, Krithi Ramamritham. icde 2008: 1043-1052 [doi]

2005

Client Assignment in Content Dissemination Networks for Dynamic DataShetal Shah, Krithi Ramamritham, Chinya V. Ravishankar. VLDB 2005: 673-684 [doi]

Streaming Data Dissemination Using Peer-Peer SystemsShetal Shah, Krithi Ramamritham. In Nauman A. Chaudhry, Kevin Shaw, Mahdi Abdelguerfi, editors, Stream Data Management. Volume 30 of Advances in Database Systems, pages 153-168, Springer, 2005. [doi]

2004

Construction of a Coherency Preserving Dynamic Data Dissemination NetworkShweta Agrawal, Krithi Ramamritham, Shetal Shah. rtss 2004: 286-295 [doi]

Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating PeersShetal Shah, Krithi Ramamritham, Prashant J. Shenoy. tkde, 16(7):799-812, 2004. [doi]

2003

An Efficient and Resilient Approach to Filtering and Disseminating Streaming DataShetal Shah, Shyamshankar Dharmarajan, Krithi Ramamritham. VLDB 2003: 57-68 [doi]

2002

Maintaining Coherency of Dynamic Data in Cooperating RepositoriesShetal Shah, Krithi Ramamritham, Prashant J. Shenoy. VLDB 2002: 526-537 [doi]

Sign in or sign up to see more results.

runs on WebDSL