35 citations · 174 across the 25 of their papers we have counts for
29 papers
Code Transpilation for Hardware Accelerators
Yuto Nishida, Sahil Bhatia, Shadaj Laddad +3
DSLs and hardware accelerators have proven to be very effective in optimizing computationally expensive workloads. In this paper, we propose a solution to the challenge of manually…
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations
Chanwut Kittivorawong, Yongming Ge, Yousef Helal +1
Videos that are shot using commodity hardware such as phones and surveillance cameras record various metadata such as time and location. We encounter such geospatial videos on a da…
Optimizing Stateful Dataflow with Local Rewrites
Shadaj Laddad, Conor Power, Tyler Hou +2
Optimizing a stateful dataflow language is a challenging task. There are strict correctness constraints for preserving properties expected by downstream consumers, a large space of…
Keep CALM and CRDT On
Shadaj Laddad, Conor Power, Mae Milano +3
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techni…
NumS: Scalable Array Programming for the Cloud
Melih Elibol, Vinamra Benara, Samyu Yagati +4
Scientists increasingly rely on Python tools to perform scalable distributed memory array operations using rich, NumPy-like expressions. However, many of these tools rely on dynami…
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano +2
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, po…
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
Xiaoxuan Liu, Shuxian Wang, Mengzhu Sun +7
Exploiting the relationships among data is a classical query optimization technique. As persistent data is increasingly being created and maintained programmatically, prior work th…
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung +1
Analytical SQL is widely used in modern database applications and data analysis. However, its partitioning and grouping operators are challenging for novice users. Unfortunately, p…
Falx: Synthesis-Powered Visualization Authoring
Chenglong Wang, Yu Feng, Rastislav Bodik +3
Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily…
New Directions in Cloud Programming
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein +1
Nearly twenty years after the launch of AWS, it remains difficult for most developers to harness the enormous potential of the cloud. In this paper we lay out an agenda for a new g…
TASM: A Tile-Based Storage Manager for Video Analytics
Maureen Daum, Brandon Haynes, Dong He +2
Modern video data management systems store videos as a single encoded file, which significantly limits possible storage level optimizations. We design, implement, and evaluate TASM…
Visualization by Example
Chenglong Wang, Yu Feng, Rastislav Bodik +2
While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the…
Learning Programmatic Idioms for Scalable Semantic Parsing
Srinivasan Iyer, Alvin Cheung, Luke Zettlemoyer
Programmers typically organize executable source code using high-level coding patterns or idiomatic structures such as nested loops, exception handlers and recursive blocks, rather…
Vignette: Perceptual Compression for Video Storage and Processing Systems
Amrita Mazumdar, Brandon Haynes, Magdalena Balazinska +3
Compressed videos constitute 70% of Internet traffic, and video upload growth rates far outpace compute and storage improvement trends. Past work in leveraging perceptual cues like…
Improving High Contention OLTP Performance via Transaction Scheduling
Guna Prasaad, Alvin Cheung, Dan Suciu
Research in transaction processing has made significant progress in improving the performance of multi-core in-memory transactional systems. However, the focus has mainly been on l…
Mapping Language to Code in Programmatic Context
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung +1
Source code is rarely written in isolation. It depends significantly on the programmatic context, such as the class that the code would reside in. To study this phenomenon, we intr…
Cuttlefish: A Lightweight Primitive for Adaptive Query Processing
Tomer Kaftan, Magdalena Balazinska, Alvin Cheung +1
Modern data processing applications execute increasingly sophisticated analysis that requires operations beyond traditional relational algebra. As a result, operators in query plan…
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Shumo Chu, Brendan Murphy, Jared Roesch +2
Deciding the equivalence of SQL queries is a fundamental problem in data management. As prior work has mainly focused on studying the theoretical limitations of the problem, very f…
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
Maaz Bin Safeer Ahmad, Alvin Cheung
MapReduce is a popular programming paradigm for developing large-scale, data-intensive computation. Many frameworks that implement this paradigm have recently been developed. To le…
Learning a Neural Semantic Parser from User Feedback
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung +2
We present an approach to rapidly and easily build natural language interfaces to databases for new domains, whose performance improves over time based on user feedback, and requir…
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads
Parmita Mehta, Sven Dorkenwald, Dongfang Zhao +7
Scientific discoveries are increasingly driven by analyzing large volumes of image data. Many new libraries and specialized database management systems (DBMSs) have emerged to supp…
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
Many parallel data frameworks have been proposed in recent years that let sequential programs access parallel processing. To capitalize on the benefits of such frameworks, existing…
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, Alvin Cheung +1
Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the challenges…
Database-Backed Web Applications in the Wild: How Well Do They Work?
Cong Yan, Alvin Cheung, Shan Lu
Most modern database-backed web applications are built upon Object Relational Mapping (ORM) frameworks. While ORM frameworks ease application development by abstracting persistent…