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
Supratik Chakraborty, Moshe Vardi and I will be presenting tutorial tomorrow at AAAI 2017 on Discrete Sampling and Integration.
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. My Invited Talk on Approximate Counting is scheduled on Thursday, Aug 18.
Will be in Toronto for CAV 2016. Looking forward to talk by Prof. Moshe Vardi on our progress on Constrained Sampling and Counting.
Will be at IJCAI-16 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.
Prof. Supratik Chakraborty and I will be presenting tutorial at UAI 2016 on Discrete Sampling and Integration.
Thrilled and honored to receive Lodieska Stockbridge Vaughn Fellowship (2016-17).
Paper on Design and Verification of Distributed Phasers is accepted to Euro-Par'16
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 (2016-17).
Submitted our paper on game theory to EC'16.
I will be visting UCB from Feb 22-25. My talk on SMT counter is scheduled on Feb 24.
Submitted our paper on distributed phasers to Euro-Par'16.
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 for two day visit (Jan 19-20). Talk on Jan 19. Title: “Constrained Sampling and Counting: When Practice Drives Theory”
Visited IBM Haifa today. Presented our work on sampling and counting. Talk title: “Scalable Techniques for Constrained Sampling and Counting”.
Seminar talk at CS Theory Group of Hebrew University of Jerusalem. Talk Title: “Constrained Sampling and Counting: When Practice Drives Theory”
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 for more details.
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 2015. Talk on 04/15 in TACAS and do check out demo of our tool on 04/14.
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
Will be attending AAAI 2015. Invited to participate in workshop on “Future of AAAI”.
Our paper on sampling is accepted for TACAS 2015