research
∙
01/20/2023
System F^μ_ω with Context-free Session Types
We study increasingly expressive type systems, from F^μ – an extension o...
share
research
∙
03/24/2022
Higher-order Context-free Session Types in System F
We present an extension of System F with higher-order context-free sessi...
research
∙
01/20/2022
The Different Shades of Infinite Session Types
Many type systems include infinite types. In session type systems, which...
research
∙
03/04/2021
On the Complexity of Equilibrium Computation in First-Price Auctions
We consider the problem of computing a (pure) Bayes-Nash equilibrium in ...
research
∙
05/20/2020
A Unifying Approximate Potential for Weighted Congestion Games
We provide a unifying, black-box tool for establishing existence of appr...
research
∙
05/20/2020
A New Lower Bound for Deterministic Truthful Scheduling
We study the problem of truthfully scheduling m tasks to n selfish unrel...
research
∙
02/18/2020
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
We study the existence of approximate pure Nash equilibria (α-PNE) in we...
research
∙
07/09/2019
Robust Revenue Maximization Under Minimal Statistical Information
We study the problem of multi-dimensional revenue maximization when sell...
research
∙
01/15/2018