Publication
Algorithms
Video
AI Infrastructure and Tools
Wolong: A Backend Optimizer for Deep Learning Computation and Open PAI Chair: Jilong Xue This talk presents Wolong, a backend optimization system for accelerating deep learning computation on graphics processing units (GPUs). It automatically applies…
Video
Keynote: Knowledge Systems and AI
In an ideal world, there would be infinite computing resources. These resources would be free and sustainable, with no impact on the future of our planet. They would run services that would be accessible anytime…
Video
Improving Yield of Energy Resources – AI Driven Approach
As we are building smart energy infrastructure that includes various forms of hybrid energy resources including electric vehicles, solar, battery storage etc., it firstly requires data to be collected from these disparate energy sources and…
Video
The Emerging Theory of Algorithmic Fairness
As algorithms reach ever more deeply into our daily lives, increasing concern that they be “fair” has resulted in an explosion of research in the theory and machine learning communities. This talk surveys key results…
Video
Compressing human text.
I will present a new data compression algorithm that compresses human text more effectively than all current variants of PPM, CTW, DMC, LZ (Lempel-Ziv), LZMA, CSE and BWT. It uses a hierarchical non-parametric sequence model…
Video
A Constant-Factor Approximation Algorithm for the Asymmetric Traveling Salesman Problem
We give a constant-factor approximation algorithm for the asymmetric traveling salesman problem. Our approximation guarantee is analyzed with respect to the standard LP relaxation, and thus our result confirms the conjectured constant integrality gap of…
Video
Logic, Co-induction and Infinite Computation
Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where induction corresponds to least fixed points semantics, co-induction corresponds to greatest fixed point semantics. In this talk…
