Shetal Shah, PhD
Centre for Formal Design and Verification of Software, (CFDVS),
IIT Bombay, Powai, Mumbai 400076
Contact: +91 22 2576 8709, Email: shetals [at] cse [dot] iitb [dot] ac [dot] in
Publications
XAI & ODD
Formal Verification
-
Tractable Representations for Boolean Functional Synthesis
(Article @ Springer SharedIt)
S. Akshay, Supratik Chakraborty and Shetal Shah
In Annals of Mathematics and Artificial Intelligence(AMAI), published Dec 2023
-
Boolean Functional Synthesis:Hardness and Practical Algorithms
(Article @ Springer SharedIt)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, and Shetal Shah
In Formal Methods in System Design (FMSD), published Oct 2020
-
Knowledge Compilation for Boolean Functional Synthesis
S. Akshay, Jatin Arora, Supratik Chakraborty, S. Krishna, Divya Raghunathan and Shetal Shah
In Formal Methods in Computer-Aided Design (FMCAD), Oct. 2019
[PDF of extended version on arXiv.org]
-
What's hard about Boolean Functional Synthesis?
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, and Shetal Shah
30th International Conference on Computer Aided Verification, 2018
[PDF of extended version on arXiv.org]
- Towards Parallel Boolean Function Synthesis
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2017
[PDF of extended version on arXiv.org]
-
Skolem Functions for Factored Formulas
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
Proc. of International Conference on Formal Methods for Computer-Aided Design (FMCAD), Sep 2015.
[PDF of extended version on arXiv.org]
Test Data Generation
-
Data Generation for Testing and Grading SQL Queries
Bikash Chandra, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara
Reddy, Shetal Shah, S. Sudarshan
VLDB Journal, published online Aug 2015.
Pre-final version available on CoRR at
http://arxiv.org/abs/1411.6704
- The XDa-TA System for Automated Grading of SQL Query
Assignments (Demo paper),
Amol Bhangadiya, Bikash Chandra, Biplab Kar, Bharath
Radhakrishnan,
K V Maheshwara Reddy, Shetal Shah, S Sudarshan
IEEE Int'l Conf. on Data Engineering (ICDE), April 2015.
-
Extending XData to kill SQL query mutants in the wild
Bikash Chandra, Bhupesh Chawda, Shetal Shah, S. Sudarshan, Ankit Shah
Sixth Int'l Workshop on Testing Database Systems(DBTest) 2013
-
Generating Test Data for Killing SQL Mutants: A Constraint-based
Approach
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep Patidar,
Bhanu Gupta, Devang Vira
IEEE Int'l Conf. on Data Engineering (ICDE), 2011.
Dynamic Data Dissemination
-
Handling Non-linear Polynomial Queries Over Dynamic Data
Shetal Shah, Krithi Ramamritham
24th IEEE International Conference on Data Engineering (ICDE), April 7 - 12, 2008, Mexico.>
-
Client Assignment in Content Dissemination
Networks for Dynamic Data Dissemination,
Shetal Shah, Krithi Ramamritham, Chinya Ravishankar
31st VLDB Conference, August 29 - September 2, 2005, Norway.>
-
Construction of a Temporal Coherency Preserving Dynamic Data Dissemination Network
Shweta Agrawal, Krithi Ramamritham, Shetal Shah
RTSS2004: The 25th IEEE International Real-Time Systems
Symposium, Portugal, December 2004.
-
Resilient and Coherency Preserving Dissemination of Dynamic Data Using Cooperating Peers"
Shetal Shah, Krithi Ramamritham, Prashant Shenoy
IEEE Transactions on Knowledge and Data Engineering Vol 16, No.7, pp 799 - 812, July 2004.
-
An Efficient and Resilient Approach to
Filtering and Disseminating Streaming Data
Shetal Shah, Shyamshankar Dharmarajan, Krithi
Ramamritham
29th VLDB Conference, September 9 - 12, 2003, Berlin, Germany, pp.57 - 68
-
Maintaining Coherency of Dynamic Data in Cooperating Repositories
Shetal Shah, Krithi Ramamritham, Prashant Shenoy
VLDB Conference, Hong Kong, 2002.
Education and Work Experience
Ph.D in Computer Science and Engineering from IIT Bombay, 2008
Member of Technical Staff, TRDDC, Pune, 1998-2003
M.Tech in Computer Science and Engineering from IIT Bombay, 1998
Awards and Honours
Google Women in Engineering Award, 2008
IBM-IRL Fellowship 2006-2007
IBM-IRL Outstanding PhD Student Award 2005