PDL Model Checking of Parse Forests - Anudhyan Boral; Sylvain Schmitz (CoRR, 2012)

Model-Checking Parse Trees. - Anudhyan Boral; Sylvain Schmitz (LICS, 2013)

Multi-party set reconciliation using characteristic polynomials. - Anudhyan Boral; Michael Mitzenmacher (Allerton, 2014)

A Fast Branching Algorithm for Cluster Vertex Deletion. - Anudhyan Boral; Marek Cygan; Tomasz Kociumaka; Marcin Pilipczuk (Theory Comput. Syst., 2016)

Accelerating Physics Simulations with TPUs: An Inundation Modeling Example. - Damien Pierce; R. Lily Hu; Yusef Shafi; Anudhyan Boral; Vladimir Anisimov; Sella Nevo; Yi-Fan Chen (CoRR, 2022)

Accelerating physics simulations with tensor processing units: An inundation modeling example. - R. Lily Hu; Damien Pierce; Yusef Shafi; Anudhyan Boral; Vladimir Anisimov; Sella Nevo; Yi-Fan Chen (Int. J. High Perform. Comput. Appl., 2022)

Evolve Smoothly, Fit Consistently: Learning Smooth Latent Dynamics For Advection-Dominated Systems. - Zhong Yi Wan; Leonardo Zepeda-Núñez; Anudhyan Boral; Fei Sha (ICLR, 2023)

User-defined Event Sampling and Uncertainty Quantification in Diffusion Models for Physical Dynamical Systems. - Marc Anton Finzi; Anudhyan Boral; Andrew Gordon Wilson; Fei Sha; Leonardo Zepeda-Núñez (ICML, 2023)

Neural Ideal Large Eddy Simulation: Modeling Turbulence with Neural Stochastic Differential Equations. - Anudhyan Boral; Zhong Yi Wan; Leonardo Zepeda-Núñez; James Lottes; Qing Wang 032; Yi-Fan Chen; John Anderson; Fei Sha (NeurIPS, 2023)

Debias Coarsely, Sample Conditionally: Statistical Downscaling through Optimal Transport and Probabilistic Diffusion Models. - Zhong Yi Wan; Ricardo Baptista; Anudhyan Boral; Yi-Fan Chen; John Anderson; Fei Sha; Leonardo Zepeda-Núñez (NeurIPS, 2023)

Neural Ideal Large Eddy Simulation: Modeling Turbulence with Neural Stochastic Differential Equations. - Anudhyan Boral; Zhong Yi Wan; Leonardo Zepeda-Núñez; James Lottes; Qing Wang 032; Yi-Fan Chen; John Robert Anderson; Fei Sha (CoRR, 2023)