This is a list of my academic publications.
Tuning Random Generators: Property-Based Testing as Probabilistic Programming Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce, Guy Van den Broeck. OOPSLA 2025. pdf
Bitblasting for Constrained Decorrelation in Tractable Image Modeling Poorva Garg, Benjie Wang, Oliver Broadrick, Guy Van den Broeck, Todd Millstein. Tractable Probabilistic Modeling, Workshop at UAI 2025. pdf
Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd Millstein. Bit Blasting Probabilistic Programs. PLDI 2024. (nominated for Distinguished Paper Award) pdf
Image Manipulation via Multi-Hop Instructions - A New Dataset and Weakly-Supervised Neuro-Symbolic Approach Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Ashish Goswami, Satyam Modi, Arnab Kumar Mondal, Dinesh Khandelwal, Dinesh Garg, Parag Singla. EMNLP 2023. pdf
Scaling Integer Arithmetic in Probabilistic Programs William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein, Guy Van den Broeck. UAI 2023. pdf
Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd Millstein. Language for Inference, Workshop at POPL 2023. pdf
Image Manipulation via Neuro-Symbolic Networks. Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Arnab Kumar Mondal, Dinesh Khandelwal, Parag Singla, Dinesh Garg. Neuro Causal and Symbolic AI, Workshop at NeurIPS 2022. pdf
Low Cost Platform Design for Pollution Measurement in Delhi-NCR using Vehicle-Mounted Sensors. Tanishka Goyal, Ankita Singh, Smriti Chhaya, Aditi Vikas, Poorva Garg, Ritika Malik, Rijurekha Sen. MobiCom 2018. pdf