Our NPAQ framework focused on providing PAC guarantees for verification of Neural Networks is accepted to CCS-19 Quoting reviewer: “This work is pioneering a new technique to solve an incredibly challenging problem, and it shows that smaller problem can be solved. I can live with that, future work can improve computational efficiency.”
Talk at Institute of Software, Chinese Academy of Sciences on Beyond NP Revoluion.
Giving keynote at SPIN-19 on Constrained Counting and Sampling.
Attending SAT from July 7-12. Our papers on CrystalBall framework and using model counting for principled diagnosis of machine learning explanation systems will be presented on Wednesday, July 9.
Paper with Alexis De Colnet demonstrating duality between different approaches to discrete integration has been accepted to CP 2019. The paper is based on Alexis’ Masters thesis and also his first paper. Congratulations Alexis!
Yang Suwei has been awarded Outstanding Undergraduate Researcher Prize (OURP) for his FYP project Computational Sustainability: Forest Fire Prediction in Indonesia, jointly co-advised with Prof. Massimo Lupascu (Department of Geography). Congratulations Suwei!
Visiting TIFR on June 20 and will be talking about our recent work on verifying AI systems.
Visiting IIT Bombay from June 6 to 20.
Received notification of the award of NRF Fellowship for AI for the project: Provably Verified and Explainable Probabilistic Reasoning.
Two papers accepted to IJCAI. The first paper explores the phase transition behavior of conjunction of cardinality and XOR constraints. The second paper describes a radically new approach to exact counting wherein we compute estimates that are probabilistically exact! Combined with our invited paper on #DNF, this makes 3 papers that we will be presenting at IJCAI.
Leaving for a four week long Europe trip. Looking forward to meeting friends and colleagues at Telecom ParisTech, CRIL Lens, INRIA Rennes, IST Austria, KTH Stockholm, and MPI-SWS.
Our paper on counting-based approach for network reliability has been accepted to Reliability Engineering System Safety (RESS) journal.
Two papers accepted to SAT 2019. The first paper, co-authored with Mate Soos and Raghav Kulkarni, introduces the first version of CrystalBall, a framework intended to allow gazing into the black box of SAT solving. The second paper, co-authored with Nina Narodytska, Aditya Shrotri, Alexey Ignatiev, and Joao Marques Silva, discusses how model counting can be used to analyze explanations provided by tools such as ANCHOR.
Visiting TU Dresden tomorrow. Talk on Beyond NP Revolution at 1:30 PM.
Looking forward to my first visit to Singapore Management University on Friday, March 29. Talk title: Beyond NP Revolution.
Our CP 2018 paper on DNF counting is invited to IJCAI 2019 Sister Conference Best Papers Track. Thank you IJCAI!
Speaking at Defense Service Organization about our work on integration SAT solving and Machine Learning.
I am visting Indian Statistical Institute from Feb 27 to March 4. Looking forward to my first visit to Kolkata.
Honored to be appointed Visiting Assistant Professor in the Department of Computer Science and Engineering at IIT Bombay
Our paper on network reliability is accepted to The 13th International Conference on Applications of Statistics and Probability in Civil Engineering
Our paper on weighted and project sampling is accepted at TACAS 2019. Congratulations Rahul and Shubham.
I will be speaking at CAALM workshop next week. Talk title: “Beyond NP Revolution”.
Back to Singapore and looking forward to the research week featuring so many interesting speakers.
I am teaching CS 4244: Knowledge Representation and Reasoning. Looking forward to the start of the semester.
Our paper on interpretable classification rules is accepted for publication at AIES 2019. Congratulations Bishwa on his first paper during PhD!
Visiting IIT Bombay from Dec 18 – Jan 6. Even after all these years, I still get goosebumps thinking about visiting IITB.
Awarded Distinguished Program Committee Member for IJCAI 2018.
3 Papers accepted at AAAI-19. The first paper, with Mate Soos, describes a new architecture for CNF-XOR formulas, which has allowed us to have a new approximate counter that is at least 100 times faster than ApproxMC2 – credit to Mate Soos for his breakthrough engineering that enabled this project! The second paper, with Sourav Chakraborty, proposes the first algorithmic framework to test the distribution of a sampler. We show that several samplers output distributions far from what they claim!
The third paper, with Supratik Chakraborty and Moshe Vardi, shows that several relaxations of probabilsitic inference do not give any computational advantage, raising concerns about the motivations behind their usage.
Supratik Chakraborty has been awarded the IITB research award to recognize sustained work on a particular theme of research: constrained counting and sampling. Congratulations!
Upcoming talk at SUTD on Tuesday (23 Oct).
Our paper on uniform sampling and knowledge compilation is accepted at LPAR. Congratulations Shubham Sharma and Rahul Gupta on their first paper!
I am visiting IIT Delhi from Sep 21 to Oct 2. Will introduce our latest project on understanding SAT solvers in Seminar on Sep 26.
We will be presenting three papers at CP 2018. The first talk on network reliability is on Monday 27th Aug while the second talk on FPRAS for DNF is on Wed, 29th Aug. The third talk on interpretable classification rules is on Thursday, 30th Aug.
Abstract “A Weighted Model Counting Method for Network Reliability Estimation” is accepted at ICASP13
PhD Thesis is awarded Honorable mention (i.e., runner-up) for 2018 ACP Doctoral Dissertation Award.
I am deeply honored to be appointed Sung Kah Kay Assistant Professor at School of Computing. The chair is established in the memory of Dr. Sung Kah Kay, who (with his wife, Jennifer Loo) passed away in Singapore Airlines crash in Taipei in 2000. Quoting Dr. Sung Kah Kay’s parents, who along with friends established the chair: “To us, it was a meaningful way of making our memory of Kah Kay come alive. His untimely departure was a great loss to us. But besides our loss, Kah Kay’s own loss was his unfulfilled dream of computer research work which was his life and passion”. I am thankful and honored to have been entrusted to contribute to Kah-Kay’s dream.
I will be at IJCAI from July 12 – July 19 and at Leiden University on July 20. I will be co-presenting tutorial with Supratik Chakraborty at IJCAI on July 13.
I am visiting MPI-SWS and INRIA Rennes for the next two weeks (i.e. June 16 – June 30).
Submitted our paper Network Reliability Estimation in Theory and Practice to the journal: Reliability Engineering & System Safety
2 Papers accepted at CP-2018. The first paper is on FPRAS for DNF-Counting while the second paper is on interpretable rule learning using MaxSAT
Thrilled and honored to receive Ralph Budd Award for research in Engineering. This award, established in 1935, is given annually to the graduate student judged to have the best doctoral thesis in the School of Engineering.
Prof. Vijay Ganesh is visiting our group from April 18– April 21. Welcome to Singapore, Vijay!
Prof. Sourav Chakraborty is visiting our group for the next two weeks. Welcome Prof. Chakraborty!
Dr. Mate Soos has joined as Research Fellow. Welcome Mate.
Tutorial (to be co-presented with Supratik Charabkroty) accepted at IJCAI-18
I am teaching CS4244: Knowledge-Based Systems with a major revision to the existing syllabus.
I will be teaching a day long tutorial at NUS today on Sampling and Integration.
Our paper on measurement of Quantified Information Flow will be presented today at VMCAI18.
Moved to Singapore yesterday. Officially joined School of Computing at NUS.
Co-organized workshop on Probabilistic Reasonining and Formal Methods with over 40 registrants at FSTTCS.
Attending SAT+SMT Winter School at Mysore Park.
Submitted my PhD Thesis. So long and thanks for all the fish!
S. Akshay and I are organizing workshop on probabilistic reasoning and formal methods at FSTTCS 2017 on Dec 11.
Our Paper on DNF counting is accepted at FSTTCS 2017. Congratulations Aditya for his first paper.
Submitted paper on DNF counting to FSTTCS 2017
Successfully defended PhD thesis!
Submitted paper on DNF counting to CP 2017
I will be joining National University of Singapore as Assistant Professor in Jan 2018.
Our paper on runtime behavior of CNF-XOR formulas is accepted for publication at IJCAI-17
Submitted paper on QIF using ApproxMC to [ESORICS-17][esorics] [esorics]:https://www.ntnu.edu/esorics2017
Supratik Chakraborty, Moshe Vardi and I will be presenting tutorial tomorrow at [AAAI 2017][aaai] on Discrete Sampling and Integration. [aaai]:http://www.aaai.org/Conferences/AAAI/2017/aaai17call.php
I am serving on Program Committee of CP 2017. Please consider submitting your work by April 30.
Our paper on reliability estimation for using ApproxMC is accepted to AAAI 2017.
Submitted paper on behavior of CNF and XOR formulas to AISTATS 2017.
Tutorial on Sampling and Discrete Integration accepted to AAAI 2017
Submitted 2 papers to AAAI 2017.
Back to Toronto for [Fields Institute Workshop on SAT Solving 2016][fields]. My Invited Talk on Approximate Counting is scheduled on Thursday, Aug 18.
Will be in Toronto for [CAV 2016][cav]. Looking forward to talk by Prof. Moshe Vardi on our progress on Constrained Sampling and Counting. [cav]:http://i-cav.org/2016/
Will be at [IJCAI-16][ijcai] for our two papers on phase transition and approximate counting respectively. I will be presenting our recent result on reduction of SAT calls from linear to logarithmic for hashing-based approximate counting/inference techniques. [ijcai]:http://ijcai-16.org/
Prof. Supratik Chakraborty and I will be presenting tutorial at [UAI 2016][uai] on Discrete Sampling and Integration. [uai]:http://auai.org/uai2016/program.php
Thrilled and honored to receive [Lodieska Stockbridge Vaughn Fellowship][vaughn] (2016-17). [vaughn]:http://www.cs.rice.edu/news/2016/kuldeep-meel-wins-vaughn-fellowship/
Paper on Design and Verification of Distributed Phasers is accepted to [Euro-Par’16][europar] [europar]:https://europar2016.inria.fr/
Two papers accepted to IJCAI 2016. Paper 1: “Combining the k-CNF and XOR Phase-Transitions” with Jeffrey Dudek and Moshe Vardi
Paper 2: “Improving Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Solver Calls” with Supratik Chakraborty and Moshe Vardi.
Thrilled and honored to receive [IBM PhD fellowship][ibm] (2016-17). [ibm]:http://www.research.ibm.com/university/awards/phdfellowship.shtml
Submitted our paper on game theory to EC’16.
I will be visting [UCB][ucb] from Feb 22-25. My talk on SMT counter is scheduled on Feb 24. [ucb]:http://www.eecs.berkeley.edu/
Submitted our paper on distributed phasers to [Euro-Par’16][euro]. [euro]:https://europar2016.inria.fr/
Reached Phoenix. My talks are scheduled on 11th ([BNP][bnp] workshop) and 14th ( [AAAI][aaai] conference) [aaai]:http://www.aaai.org/Conferences/AAAI/2016/aaai16call.php [bnp]:http://beyondnp.org/workshop16/
Submitted 3 papers to IJCAI 2016. Wake me up when rebuttal starts :)
Our paper on automatic generation of data layout has been accepted for publication at CC 2016
Reached CMI [Chennai Mathematical Institute][cmi] for two day visit (Jan 19-20). Talk on Jan 19. Title: “Constrained Sampling and Counting: When Practice Drives Theory” [cmi]:http://www.cmi.ac.in/
Visited [IBM Haifa][ibm-haifa] today. Presented our work on sampling and counting. Talk title: “Scalable Techniques for Constrained Sampling and Counting”. [ibm-haifa]: https://www.research.ibm.com/haifa/
Seminar talk at CS Theory Group of [Hebrew University of Jerusalem][huji]. Talk Title: “Constrained Sampling and Counting: When Practice Drives Theory” [huji]: http://www.cs.huji.ac.il/site/index.php
Submitted paper on data layout generation to CC 2016
Our paper on overview of hashing-based sampling and counting is accepted for publication at BNP 2016
Attending HVC 2015 for the next 3 days. Excited to meet my collaborator Alexander Ivrii in person for the first time.
Our paper on approximate probabilistic inference via word-level counting is accepted for publication at AAAI 2016
Submitted overview paper on hashing-based sampling and counting to Beyond NP Workshop 2016.
Reached Jerusalem. Visiting Israel Institute for Advanced Studies(IIAS) for two months.
Submitted two papers to AAAI 2016.
Our poster paper on “Distributed Phasers” is accepted to PACT 2015.
Reached Houston. Roadtrip to Ireland’s west coast with Rufus Holmes and Patrick Beuchert was certainly the highlight of my summer. Could not have imagined a better way to end 4 month long trip. Feels nice to be back home.
Had a great time at HLF. Reached Cork, Ireland for CP 2015. The talk is scheduled on 09/01. Our paper on “On Computing Minimal Independent Support and Its applications to Sampling and Counting” won the “Best Student Paper Award” as well :)
Reached Heidelberg, Germany for Heidelberg Laureate Forum (HLF). Excited to interact with some of my heroes. Poster session is scheduled on 08/27.
In Sikar for two weeks. Looking forward to gaining few pounds with all the delicious food cooked by my mom.
End of summer internship at MSR, India. Had a great time working with Aditya Nori and Sriram Rajamani[sriram]. My project was related to probabilistic programming. Looking forward to submitting the paper.
Visiting IBM Research, Bangalore. My talk “Designing Scalable Techniques for Dynamic Verification and Probabilistic Inference” is scheduled from 2-3 PM.
Reached Buenos Aires for IJCAI. My talk is scheduled on 30th July for our paper “From Weighted to Unweighted model counting”
Notification of Best Student Paper Award for CP paper on computing minimal independent support.
Our paper on computing minimal independent support is accepted for publication at CP 2015
And the summer internship at Microsoft Research India, Bangalore begins.
Talk on “Sampling from combinatorial spaces: Achieving the fine balancing act between independence and scalability.” in CSE Dept at IIT Bombay.
Will be in Vienna from May 12-16 for VCLA Award Ceremony. My talk is on on May 15. See schedule of [PhDs In Logic][phd] for more details. [phd]:http://phdsinlogic.logic-cs.at/
Submitted paper to CP 2015
Selected to participate in 3rd Heidelberg Forum
Our paper on counting is accepted for IJCAI 2015
Flying to London to attend [ETAPS][etaps] 2015. Talk on 04/15 in TACAS and do check out demo of our tool on 04/14. [etaps]:www.etaps.org/index.php/2015/tacas
Submitted a paper on distributed phasers to PACT
Submitted a paper on weighted model counting to IJCAI
I will be receiving 2014 Oustanding Master’s Thesis Award from [Vienna Center for Logic and Algorithms][vcla] [vcla]:http://www.vcla.at/
Will be attending [AAAI 2015][aaai15]. Invited to participate in workshop on “Future of AAAI”. [aaai15]: http://www.aaai.org/Conferences/AAAI/aaai15.php
Our paper on sampling is accepted for TACAS 2015