Nitesh Trivedi

According to our database, Nitesh Trivedi authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Specification Inference Modulo Oracles for Database-Backed Web Applications.

Nitesh Trivedi, Subhajit Roy

Proceedings of the Programming Languages and Systems - 23rd Asian Symposium, 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

2022

Data-Driven Invariant Learning for Probabilistic Programs.

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022