Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. - Charitha Saumya; Rohan Gangaraju; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2023)

RT-BarnesHut: Accelerating Barnes-Hut Using Ray-Tracing Hardware. - Vani Nagarajan; Rohan Gangaraju; Kirshanthan Sundararajah; Artem Pelenitsyn; Milind Kulkarni 001 (PPoPP, 2025)