Graph Coloring Using GPUs. - Meghana Aparna Sistla; V. Krishna Nandivada (Euro-Par, 2019)

Symbolic Quantum Simulation with Quasimodo. - Meghana Sistla; Swarat Chaudhuri; Thomas W. Reps (CAV (3), 2023)

Quasimodo. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (Zenodo, 2023)

Quasimodo. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (Zenodo, 2023)

Weighted Context-Free-Language Ordered Binary Decision Diagrams. - Meghana Sistla; Swarat Chaudhuri; Thomas W. Reps (Proc. ACM Program. Lang., 2024)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation. - Amitayush Thakur; Jasper Lee; George Tsoukalas; Meghana Sistla; Matthew Zhao; Stefan Zetzsche; Greg Durrett; Yisong Yue; Swarat Chaudhuri (CoRR, 2025)