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