Recent Publications

. WAPS: Weighted and Projected Sampling . In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019.

PDF Code

. Verity: Blockchains to Detect Insider Attacks in DBMS. 2019.


. Knowledge Compilation meets Uniform Sampling. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2018.

PDF Code

. Detecting Insider Attacks on Databases using Blockchains. In proceedings of Workshop on Blockchain Technologies and its Applications, ISRDC, IIT Bombay, 2017.


Recent Posts

This blogpost talks about our tool WAPS. Specifically, we will talk about how we are able to utilize the idea of sampling using knowledge compilations (d-DNNFs) from our previous work (KUS) and generalize it in order to achieve weighted and projected sampling. This work was jointly performed by Rahul and Shubham in the mentorship of Subhajit and Kuldeep. You can read the paper here and get the tool here. You can read the previous blog that describes uniform sampling using knowledge compilations, though it is not absolutely necessary for this post.