iAccount based inUnited States
About this account
- Account based in
- United States
- Connected via
- United States App Store
Account-level information from X, not a live location or the device used for a specific post.
Assistant prof @CIS_Penn. Machine learning for systems, databases. Also https://nitter.cf/t.co/VQvaqvHixu
- Tweets687
- Following1.1K
- Followers1.7K
- Likes3.2K
ALT A four-step cycle diagram showing feedback between database users and engineers. ① User submits their workload to the system: A square grid of colored squares represents the workload (3 green, 2 purple). ② Engineers observe properties of the workload: A database cylinder leads to a chart showing workload composition: purple 30%, green 60%. A speech bubble from an engineer character says, “Most queries are green. I’ll trade lower purple performance for higher green performance.” ③ Engineers identify hotspots and optimize their system. ④ Users optimize their workloads based on their platform: A speech bubble from a user character says, “Our platform is good at green, but bad at purple — send more green!” An arrow shows users adjusting the workload and feeding it back into the system. Overall, the diagram illustrates a feedback loop where system optimizations influence user behavior, which then shapes the workload engineers observe.
ALT Infographic describing LimeQO, a workload-level, offline, learned query optimizer. On the left, it shows a workload consisting of multiple queries (q₁ to q₄), each with a default execution time (3s, 9s, 12s, 22s respectively). On the right, alternate plans (h₁, h₂, h₃) show varying execution times for each query, with some entries missing (represented by question marks). For example, q₁ takes 1s under h₂, much faster than the 3s default. A specific callout highlights that for q₃, plan h₃ reduced the time from 12s to 3s, but took 18s to find, resulting in a benefit of 9s gained / 18s search. The image poses the question: “Where should we explore next to maximize benefit?” The image credits Zixuan Yi et al., SIGMOD '25, and provides a link: https://rm.cab/limeqo
ALT Infographic describing BayesQO, an offline, multi-iteration learned query optimizer. On the left, it shows a Variational Autoencoder (VAE) being pretrained to reconstruct query plans from vectors, using orange-colored plan diagrams. The decoder part of the VAE is retained. In the center and right, the image shows Bayesian optimization being performed in the learned vector space: new vectors are decoded into query plans, tested for latency, and refined iteratively. At the bottom, a library of optimized query plans is used to train a robot labeled “LLM,” which can then generate new plans directly. The caption reads: "We get a fast query, but also a library of high-quality plans. We can train an LLM to speed up the process for next time!" The image credits Jeff Tao et al., SIGMOD '25, and links to https://rm.cab/bayesqo.
ALT A list of the six papers described below. AdaChain is presented in session H4 on Wednesday at 1:30pm in Orca AutoSteer is presented in session A4 on Wednesday at 1:30pm in Grand Ballroom Robust Cardinality is presented in session C5 at 3:30pm in Ballroom AB QO-Insight is presented in demo group B on Tuesday at 3:30pm Superoptimization is presented at AIDB on Friday at 2:30pm RLShard is presented at AIDB on Friday at 2:45pm