382 citations · 1.6k across the 39 of their papers we have counts for
9 papers · 1 filter
RoadTagger: Robust Road Attribute Inference with Graph Neural Networks
Songtao He, Favyen Bastani, Satvat Jagwani +7
Inferring road attributes such as lane count and road type from satellite imagery is challenging. Often, due to the occlusion in satellite imagery and the spatial correlation of ro…
Learning Multi-dimensional Indexes
Vikram Nathan, Jialin Ding, Mohammad Alizadeh +1
Scanning and filtering over multi-dimensional tables are key operations in modern analytical database engines. To optimize the performance of these operations, databases often crea…
Inferring and Improving Street Maps with Data-Driven Automation
Favyen Bastani, Songtao He, Satvat Jagwani +7
Street maps are a crucial data source that help to inform a wide range of decisions, from navigating a city to disaster relief and urban planning. However, in many parts of the wor…
Practical Low Latency Proof of Work Consensus
Lei Yang, Xuechao Wang, Vivek Bagaria +5
Bitcoin is the first fully-decentralized permissionless blockchain protocol to achieve a high level of security, but at the expense of poor throughput and latency. Scaling the perf…
Placeto: Learning Generalizable Device Placement Algorithms for Distributed Machine Learning
Ravichandra Addanki, Shaileshh Bojja Venkatakrishnan, Shreyan Gupta +2
We present Placeto, a reinforcement learning (RL) approach to efficiently find device placements for distributed neural network training. Unlike prior approaches that only find a d…
Machine-Assisted Map Editing
Favyen Bastani, Songtao He, Sofiane Abbar +4
Mapping road networks today is labor-intensive. As a result, road maps have poor coverage outside urban centers in many countries. Systems to automatically infer road network graph…
Adaptive Neural Signal Detection for Massive MIMO
Mehrdad Khani, Mohammad Alizadeh, Jakob Hoydis +1
Symbol detection for Massive Multiple-Input Multiple-Output (MIMO) is a challenging problem for which traditional algorithms are either impractical or suffer from performance limit…
ABC: A Simple Explicit Congestion Controller for Wireless Networks
Prateesh Goyal, Anup Agarwal, Ravi Netravali +2
We propose Accel-Brake Control (ABC), a simple and deployable explicit congestion control protocol for network paths with time-varying wireless links. ABC routers mark each packet…
Neo: A Learned Query Optimizer
Ryan Marcus, Parimarjan Negi, Hongzi Mao +5
Query optimization is one of the most challenging problems in database systems. Despite the progress made over the past decades, query optimizers remain extremely complex component…