1 citations · 1 across the 4 of their papers we have counts for
5 papers
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
James Li, Noam Zilberstein, Alexandra Silva
While there is a long tradition of reasoning about (non)termination in program analysis, specialized logics are typically needed to give different termination criteria. This includ…
Exponential Weight Functions for Quasi-Proportional Auctions
Eric Bax, James Li, Zheng Wen
In quasi-proportional auctions, the allocation is shared among bidders in proportion to their weighted bids. The auctioneer selects a bid weight function, and bidders know the weig…
VCG Payments for Portfolio Allocations in Online Advertising
James Li, Eric Bax, Nilanjan Roy +1
Some online advertising offers pay only when an ad elicits a response. Randomness and uncertainty about response rates make showing those ads a risky investment for online publishe…
Revenue-Maximizing Mechanism Design for Quasi-Proportional Auctions
Zheng Wen, Eric Bax, James Li
In quasi-proportional auctions, each bidder receives a fraction of the allocation equal to the weight of their bid divided by the sum of weights of all bids, where each bid's weigh…
Validation of Matching
Ya Le, Eric Bax, Nicola Barbieri +3
We introduce a technique to compute probably approximately correct (PAC) bounds on precision and recall for matching algorithms. The bounds require some verified matches, but those…