7k citations
- University of California, Santa BarbaraUS109 papers
- University of California, BerkeleyUS45 papers
- ETH ZurichCH44 papers
- Microsoft Research (United Kingdom)GB41 papers
- University of Maryland, College ParkUS38 papers
- Stanford UniversityUS37 papers
- Princeton UniversityUS31 papers
- Carnegie Mellon UniversityUS29 papers
- California Institute of TechnologyUS28 papers
- Cornell UniversityUS28 papers
- University of WashingtonUS26 papers
- Microsoft Research New York City (United States)23 papers
26 papers · 1 filter
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
Igor Konnov, Markus Kuppe, Stephan Merz
Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their…
Deploying a Steered Query Optimizer in Production at Microsoft
Wangda Zhang, Matteo Interlandi, Paul Mineiro +6
Modern analytical workloads are highly heterogeneous and massively complex, making generic query optimizers untenable for many customers and scenarios. As a result, it is important…
Video Summarization Overview
Mayu Otani, Yale Song, Yang Wang
With the broad growth of video capturing devices and applications on the web, it is more demanding to provide desired video content for users efficiently. Video summarization facil…
On the Horizon: Interactive and Compositional Deepfakes
Eric Horvitz
Over a five-year period, computing methods for generating high-fidelity, fictional depictions of people and events moved from exotic demonstrations by computer science research tea…
Exploring and Evaluating Personalized Models for Code Generation
Andrei Zlotchevski, Dawn Drain, Alexey Svyatkovskiy +3
Large Transformer models achieved the state-of-the-art status for Natural Language Understanding tasks and are increasingly becoming the baseline model architecture for modeling so…
Solving the Batch Stochastic Bin Packing Problem in Cloud: A Chance-constrained Optimization Approach
Jie Yan, Yunlei Lu, Liting Chen +6
This paper investigates a critical resource allocation problem in the first party cloud: scheduling containers to machines. There are tens of services and each service runs a set o…