Shetal Shah

27 papers A* 6A 1B 5Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
ATVA
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025 J jnl
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
CoRR
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2024 J jnl
Tractable representations for Boolean functional synthesis.
Ann. Math. Artif. Intell.
S. Akshay, Supratik Chakraborty, Shetal Shah
2023 B conf
Learning Monitor Ensembles for Operational Design Domains.
RV
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
2021 J jnl
Boolean functional synthesis: hardness and practical algorithms.
Formal Methods Syst. Des.
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2021 B conf
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
FMCAD
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2021 J jnl
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
CoRR
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2019 B conf
Knowledge Compilation for Boolean Functional Synthesis.
FMCAD
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 J jnl
Knowledge Compilation for Boolean Functional Synthesis.
CoRR
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2018 — conf
What's Hard About Boolean Functional Synthesis?
CAV (1)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2018 J jnl
What's hard about Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2017 — conf
Towards Parallel Boolean Functional Synthesis.
TACAS (1)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 J jnl
Towards Parallel Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2015 J jnl
Data generation for testing and grading SQL queries.
VLDB J.
Bikash Chandra, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
2015 B conf
Skolem Functions for Factored Formulas.
FMCAD
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 J jnl
Skolem Functions for Factored Formulas.
CoRR
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 A* conf
The XDa-TA system for automated grading of SQL query assignments.
ICDE
Amol Bhangdiya, Bikash Chandra, Biplab Kar, Bharath Radhakrishnan, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
2014 J jnl
Data Generation for Testing and Grading SQL Queries.
CoRR
Bikash Chandra, Amol Bhangadia, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan
2013 — conf
Extending XData to kill SQL query mutants in the wild.
DBTest
Bikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan, Ankit Shah
2011 A* conf
Generating test data for killing SQL mutants: A constraint-based approach.
ICDE
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar, Bhanu Pratap Gupta, Devang Vira
2008 A* conf
Handling Non-linear Polynomial Queries over Dynamic Data.
ICDE
Shetal Shah, Krithi Ramamritham
2005 A* conf
Client Assignment in Content Dissemination Networks for Dynamic Data.
VLDB
Shetal Shah, Krithi Ramamritham, Chinya V. Ravishankar
2005 — ch.
Streaming Data Dissemination Using Peer-Peer Systems.
Stream Data Management
Shetal Shah, Krithi Ramamritham
2004 A conf
Construction of a Coherency Preserving Dynamic Data Dissemination Network.
RTSS
Shweta Agrawal, Krithi Ramamritham, Shetal Shah
2004 J jnl
Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating Peers.
IEEE Trans. Knowl. Data Eng.
Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy
2003 A* conf
An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data.
VLDB
Shetal Shah, Shyamshankar Dharmarajan, Krithi Ramamritham
2002 A* conf
Maintaining Coherency of Dynamic Data in Cooperating Repositories.
VLDB
Shetal Shah, Krithi Ramamritham, Prashant J. Shenoy