Suneel Sarswat

According to our database, Suneel Sarswat authored at least 8 papers between 2015 and 2025.

Collaborative distances:

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

2025

Double Auctions: Formalization and Automated Checkers.

Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh

J. Autom. Reason., September, 2025

The Exchange Problem.

Mohit Garg, Suneel Sarswat

Proceedings of the 7th Conference on Advances in Financial Technologies, 2025

2024

Efficient and Verified Continuous Double Auctions.

Mohit Garg, Suneel Sarswat

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

2022

The Design and Regulation of Exchanges: A Formal Approach.

Mohit Garg, Suneel Sarswat

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021

Verified Double Sided Auctions for Financial Markets.

Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Formally Verified Trades in Financial Markets.

Suneel Sarswat, Abhishek Kr Singh

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Formal verification of trading in financial markets.

Suneel Sarswat, Abhishek Kr Singh

CoRR, 2019

2015

Identifying collusion groups using spectral clustering.

Suneel Sarswat, Kandathil Mathew Abraham, Subir Kumar Ghosh

CoRR, 2015