Drashti Pathak

According to our database, Drashti Pathak authored at least 6 papers between 2019 and 2025.

Collaborative distances:

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

2025

Data-driven invariant learning for probabilistic programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Formal Methods Syst. Des., August, 2025

2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2021

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy

CoRR, 2021

SeVa: A Food Donation App for Smart Living.

Christina Varghese, Drashti Pathak, Aparna S. Varde

Proceedings of the 11th IEEE Annual Computing and Communication Workshop and Conference, 2021

2020

Hydroinformatics and the web: analytics and dissemination of hydrology data for climate change and sustainability.

Drashti Pathak, Aparna S. Varde, Gerard de Melo, Clement Alo

SIGWEB Newsl., 2020

2019

Ubiquitous Access for Local Water Management Through HCI Based App Development.

Drashti Pathak, Aparna S. Varde, Clement Alo, Felix Oteng

Proceedings of the 10th IEEE Annual Ubiquitous Computing, 2019