A Reachability Predicate for Analyzing Low-Level Software. - Shaunak Chatterjee; Shuvendu K. Lahiri; Shaz Qadeer; Zvonimir Rakamaric (TACAS, 2007)

SNIFF: A Search Engine for Java Using Free-Form Queries. - Shaunak Chatterjee; Sudeep Juvekar; Koushik Sen (FASE, 2009)

A low-level memory model and an accompanying reachability predicate. - Shaunak Chatterjee; Shuvendu K. Lahiri; Shaz Qadeer; Zvonimir Rakamaric (Int. J. Softw. Tools Technol. Transf., 2009)

Why are DBNs sparse? - Shaunak Chatterjee; Stuart Russell 001 (AISTATS, 2010)

A temporally abstracted Viterbi algorithm. - Shaunak Chatterjee; Stuart Russell 001 (UAI, 2011)

Uncertain Observation Times. - Shaunak Chatterjee; Stuart Russell 001 (SUM, 2012)

Efficient inference algorithms for near-deterministic systems. - Shaunak Chatterjee (2013)

Constrained Optimization for Homepage Relevance. - Deepak Agarwal; Shaunak Chatterjee; Yang Yang 095; Liang Zhang 021 (WWW (Companion Volume), 2015)

Dynamics of Large Multi-View Social Networks: Synergy, Cannibalization and Cross-View Interplay. - Yu Shi 002; Myunghwan Kim 002; Shaunak Chatterjee; Mitul Tiwari; Souvik Ghosh; Rómer Rosales (KDD, 2016)

Large-Scale Quadratically Constrained Quadratic Program via Low-Discrepancy Sequences. - Kinjal Basu 001; Ankan Saha; Shaunak Chatterjee (NIPS, 2017)

Near Real-time Optimization of Activity-based Notifications. - Yan Gao; Viral Gupta; Jinyun Yan; Changji Shi; Zhongen Tao; P. J. Xiao; Curtis Wang; Shipeng Yu; Rómer Rosales; Ajith Muralidharan; Shaunak Chatterjee (KDD, 2018)

Feedback Shaping: A Modeling Approach to Nurture Content Creation. - Ye Tu; Chun Lo; Yiping Yuan; Shaunak Chatterjee (KDD, 2019)

A State Transition Model for Mobile Notifications via Survival Analysis. - Yiping Yuan; Jing Zhang; Shaunak Chatterjee; Shipeng Yu; Rómer Rosales (WSDM, 2019)

Personalization and Optimization of Decision Parameters via Heterogenous Causal Effects. - Ye Tu; Kinjal Basu 001; Jinyun Yan; Birjodh Tiwana; Shaunak Chatterjee (CoRR, 2019)

Ads Allocation in Feed via Constrained Optimization. - Jinyun Yan; Zhiyuan Xu; Birjodh Tiwana; Shaunak Chatterjee (KDD, 2020)

A/B Testing in Dense Large-Scale Networks: Design and Inference. - Preetam Nandy; Kinjal Basu 001; Shaunak Chatterjee; Ye Tu (NeurIPS, 2020)

Edge formation in Social Networks to Nurture Content Creators. - Chun Lo; Emilie de Longueau; Ankan Saha; Shaunak Chatterjee (WWW, 2020)

A/B Testing for Recommender Systems in a Two-sided Marketplace. - Preetam Nandy; Divya Venugopalan; Chun Lo; Shaunak Chatterjee (NeurIPS, 2021)

Personalized Treatment Selection using Causal Heterogeneity. - Ye Tu; Kinjal Basu 001; Cyrus DiCiccio; Romil Bansal; Preetam Nandy; Padmini Jaikumar; Shaunak Chatterjee (WWW, 2021)

Generalized Causal Tree for Uplift Modeling. - Preetam Nandy; Xiufan Yu; Wanjun Liu; Ye Tu; Kinjal Basu 001; Shaunak Chatterjee (IEEE Big Data, 2023)