According to our database1, Shetal Shah authored at least 14 papers between 2002 and 2018.
Legend:Book In proceedings Article PhD thesis Other
What's Hard About Boolean Functional Synthesis?
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Towards Parallel Boolean Functional Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Data generation for testing and grading SQL queries.
VLDB J., 2015
The XDa-TA system for automated grading of SQL query assignments.
Proceedings of the 31st IEEE International Conference on Data Engineering, 2015
Skolem Functions for Factored Formulas.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Extending XData to kill SQL query mutants in the wild.
Proceedings of the Sixth International Workshop on Testing Database Systems, 2013
Generating test data for killing SQL mutants: A constraint-based approach.
Proceedings of the 27th International Conference on Data Engineering, 2011
Handling Non-linear Polynomial Queries over Dynamic Data.
Proceedings of the 24th International Conference on Data Engineering, 2008
Streaming Data Dissemination Using Peer-Peer Systems.
Proceedings of the Stream Data Management, 2005
Client Assignment in Content Dissemination Networks for Dynamic Data.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005
Resilient and Coherence Preserving Dissemination of Dynamic Data Using Cooperating Peers.
IEEE Trans. Knowl. Data Eng., 2004
Construction of a Coherency Preserving Dynamic Data Dissemination Network.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data.
Proceedings of the VLDB 2003, 2003
Maintaining Coherency of Dynamic Data in Cooperating Repositories.
Proceedings of the VLDB 2002, 2002