English
Related papers

Related papers: Short Paper: Atomic Execution is Not Enough for Ar…

200 papers

Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detection. Unfortunately, existing static analysis techniques…

Programming Languages · Computer Science 2019-08-16 Meng Wu , Chao Wang

One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however, common blockchain use cases introduce read-write conflicts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-13 George Mitenkov , Igor Kabiljo , Zekun Li , Alexander Spiegelman , Satyanarayana Vusirikala , Zhuolun Xiang , Aleksandar Zlateski , Nuno P. Lopes , Rati Gelashvili

Modern applications often operate on data in multiple administrative domains. In this federated setting, participants may not fully trust each other. These distributed applications use transactions as a core mechanism for ensuring…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-23 Isaac Sheff , Tom Magrino , Jed Liu , Andrew C. Myers , Robbert van Renesse

Blockchain's economic value lies in enabling financial and economic transactions without relying on trusted, centralized intermediaries. In practice, however, transactions pass through a fragmented chain of intermediaries before being…

General Economics · Economics 2026-05-05 Andrea Canidio , Vabuk Pahari

We study the propensity of independent algorithms to collude in repeated Cournot duopoly games. Specifically, we investigate the predictive power of different oligopoly and bargaining solutions regarding the effect of asymmetry between…

General Economics · Economics 2025-01-14 Simon Martin , Hans-Theo Normann , Paul Püplichhuisen , Tobias Werner

This article considers the pricing and hedging of a call option when liquidity matters, that is, either for a large nominal or for an illiquid underlying asset. In practice, as opposed to the classical assumptions of a price-taking agent in…

Trading and Market Microstructure · Quantitative Finance 2015-04-06 Olivier Guéant , Jiang Pu

Optimistic rollups are a popular and promising method of increasing the throughput capacity of their underlying chain. These methods rely on economic incentives to guarantee their security. We present a model of optimistic rollups that…

Computer Science and Game Theory · Computer Science 2024-10-17 Daji Landis

Despite the success in various scenarios, blockchain systems, especially EVM-compatible ones that serially execute transactions, still face the significant challenge of limited throughput. Concurrent transaction execution is a promising…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-11-18 Haoran Lin , Yajin Zhou , Lei Wu

In this paper, we investigate a financial market model consisting of a risky asset, modeled as a general diffusion parameterized by a scale function and a speed measure, and a bank account process with a constant interest rate. This…

Mathematical Finance · Quantitative Finance 2025-12-09 Alexis Anagnostakis , David Criens , Mikhail Urusov

Although the classical version of the Multi-Armed Bandits (MAB) framework has been applied successfully to several practical problems, in many real-world applications, the possible actions are not presented to the learner simultaneously,…

Machine Learning · Computer Science 2021-10-01 Marco Gabrielli , Francesco Trovò , Manuela Antonelli

This short note provides a systematic construction of market models without unbounded profits but with arbitrage opportunities.

Pricing of Securities · Quantitative Finance 2013-12-12 Johannes Ruf , Wolfgang Runggaldier

In the ever evolving landscape of decentralized finance automated market makers (AMMs) play a key role: they provide a market place for trading assets in a decentralized manner. For so-called bluechip pairs, arbitrage activity provides a…

Statistical Finance · Quantitative Finance 2025-05-16 Abe Alexander , Lars Fritz

This paper proposes a novel numerical method for solving the problem of decision making under cumulative prospect theory (CPT), where the goal is to maximize utility subject to practical constraints, assuming only finite realizations of the…

Optimization and Control · Mathematics 2024-04-29 Xiangyu Cui , Rujun Jiang , Yun Shi , Rufeng Xiao , Yifan Yan

Automated market makers (AMMs) are a new prototype of decentralised exchanges which are revolutionising market interactions. The majority of AMMs are constant product markets (CPMs) where exchange rates are set by a trading function. This…

Trading and Market Microstructure · Quantitative Finance 2025-06-19 Álvaro Cartea , Fayçal Drissi , Marcello Monga

We present polynomial-time algorithms as well as hardness results for equilibrium computation in atomic splittable routing games, for the case of general convex cost functions. These games model traffic in freight transportation, market…

Computer Science and Game Theory · Computer Science 2018-04-27 Umang Bhaskar , Phani Raj Lolakapuri

Efficiently integrating renewable resources into electricity markets is vital for addressing the challenges of matching real-time supply and demand while reducing the significant energy wastage resulting from curtailments. To address this…

Machine Learning · Computer Science 2024-06-21 Ciaran O'Connor , Joseph Collins , Steven Prestwich , Andrea Visentin

Linear real-valued computations over distributed datasets are common in many applications, most notably as part of machine learning inference. In particular, linear computations that are quantized, i.e., where the coefficients are…

Information Theory · Computer Science 2023-11-27 Vinayak Ramkumar , Netanel Raviv , Itzhak Tamo

The incentive-compatibility properties of blockchain transaction fee mechanisms have been investigated with *passive* block producers that are motivated purely by the net rewards earned at the consensus layer. This paper introduces a model…

Computer Science and Game Theory · Computer Science 2023-10-04 Maryam Bahrani , Pranav Garimidi , Tim Roughgarden

Sequential experiments are often characterized by an exploration-exploitation tradeoff that is captured by the multi-armed bandit (MAB) framework. This framework has been studied and applied, typically when at each time period feedback is…

Machine Learning · Computer Science 2020-12-22 Yonatan Gur , Ahmadreza Momeni

The design of revenue-maximizing combinatorial auctions, i.e. multi-item auctions over bundles of goods, is one of the most fundamental problems in computational economics, unsolved even for two bidders and two items for sale. In the…

Machine Learning · Computer Science 2016-06-15 Maria-Florina Balcan , Tuomas Sandholm , Ellen Vitercik