Meghana Aparna Sistla

According to our database, Meghana Aparna Sistla authored at least 9 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Do CFLOBDDs Actually Make Use of Linear Structure?

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

CoRR, May, 2026

2025

Towards Verified Code Reasoning by LLMs.

Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra

CoRR, September, 2025

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

ACM Trans. Program. Lang. Syst., June, 2024

Weighted Context-Free-Language Ordered Binary Decision Diagrams.

Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps

Proc. ACM Program. Lang., 2024

2023

Quasimodo.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

Dataset, April, 2023

Quasimodo.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

Dataset, April, 2023

Symbolic Quantum Simulation with Quasimodo.

Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2019

Graph Coloring Using GPUs.

Meghana Aparna Sistla, V. Krishna Nandivada

Proceedings of the Euro-Par 2019: Parallel Processing, 2019