Shetal Shah

According to our database1, Shetal Shah
  • authored at least 16 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Towards Parallel Boolean Functional Synthesis.
CoRR, 2017

Towards Parallel Boolean Functional Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015
Data generation for testing and grading SQL queries.
VLDB J., 2015

Skolem Functions for Factored Formulas.
CoRR, 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

2014
Data Generation for Testing and Grading SQL Queries.
CoRR, 2014

2013
Extending XData to kill SQL query mutants in the wild.
Proceedings of the Sixth International Workshop on Testing Database Systems, 2013

2011
Generating test data for killing SQL mutants: A constraint-based approach.
Proceedings of the 27th International Conference on Data Engineering, 2011

2008
Handling Non-linear Polynomial Queries over Dynamic Data.
Proceedings of the 24th International Conference on Data Engineering, 2008

2005
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

2004
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

2003
An Efficient and Resilient Approach to Filtering and Disseminating Streaming Data.
Proceedings of the VLDB 2003, 2003

2002
Maintaining Coherency of Dynamic Data in Cooperating Repositories.
Proceedings of the VLDB 2002, 2002


  Loading...