2 citations · 5 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024★ 2 cited
Efficient and Verified Continuous Double Auctions
Mohit Garg, Suneel Sarswat
Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool…
cs.LO2024★ 1 cited
Double Auctions: Formalization and Automated Checkers
Mohit Garg, N. Raja, Suneel Sarswat +1
Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers ha…
cs.DS2024
The Exchange Problem
Mohit Garg, Suneel Sarswat
Auctions are widely used in exchanges to match buy and sell requests. Once the buyers and sellers place their requests, the exchange determines how these requests are to be matched…