research
∙
05/31/2023
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Minotaur is a superoptimizer for LLVM's intermediate representation that...
share
research
∙
04/17/2023
Optimal Pricing Schemes for Identical Items with Time-Sensitive Buyers
Time or money? That is a question! In this paper, we consider this dilem...
research
∙
03/28/2023
Improved Approximation Ratios of Fixed-Price Mechanisms in Bilateral Trades
We continue the study of the performance for fixed-price mechanisms in t...
research
∙
08/19/2020
Synthesizing Optimal Collective Algorithms
Collective communication algorithms are an important component of distri...
research
∙
08/16/2020
From Lost to Found: Discover Missing UI Design Semantics through Recovering Missing Tags
Design sharing sites provide UI designers with a platform to share their...
research
∙
06/12/2020
ACMo: Angle-Calibrated Moment Methods for Stochastic Optimization
Due to its simplicity and outstanding ability to generalize, stochastic ...
research
∙
02/10/2020
SPAN: A Stochastic Projected Approximate Newton Method
Second-order optimization methods have desirable convergence properties....
research
∙
02/13/2018