Ekanshdeep Gupta

According to our database, Ekanshdeep Gupta authored at least 3 papers between 2019 and 2025.

Collaborative distances:

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

2025

Arithmetizing Shape Analysis.

Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Raven: An SMT-Based Concurrency Verifier.

Ekanshdeep Gupta, Nisarg Patel, Thomas Wies

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2019

The Well Structured Problem for Presburger Counter Machines.

Alain Finkel, Ekanshdeep Gupta

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019