related publications

  1. Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel, Program Synthesis as Dependency Quantified Formula Modulo Theory, IJCAI 2021

  2. Priyanka Golia, Friedrich Slivovsky, Subhajit Roy and Kuldeep S Meel, Engineering an Efficient Boolean Functional Synthesis Engine, ICCAD 2021.

  3. S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal and Shetal Shah, Boolean Functional Synthesis:Hardness and Practical Algorithms, FMSD 2021

  4. Preey Shah, Aman Bansal, S. Akshay and Supratik Chakraborty, A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis, LICS 2021

  5. Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel, Manthan: A Data-Driven Approach for Boolean Function Synthesis, CAV 2020.

  6. Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, and Subhajit Roy, Interactive Debugging of Concurrent Programs under Relaxed Memory Models, CGO 2020.

  7. S. Akshay, Jatin Arora, Supratik Chakraborty, S. Krishna, Divya Raghunathan and Shetal Shah, Knowledge Compilation for Boolean Functional Synthesis, FMCAD 2019

  8. Supratik Chakraborty, Dror Fried, Lucas M. Tabajara and Moshe Y. Vardi, Functional Synthesis via Input-Output Separation, FMCAD 2018

  9. S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal and Shetal Shah, What’s Hard About Boolean Functional Synthesis?, CAV 2018

  10. S. Akshay, Supratik Chakraborty, Ajith John and Shetal Shah, Towards Parallel Boolean Functional Synthesis, TACAS 2017

  11. Sahil Verma, and Subhajit Roy, Synergistic Debug-Repair of Heap Manipulations, ESEC/FSE 2017.

  12. Ajith John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi and S. Akshay, Skolem Functions for Factored Formulas, FMCAD 2015