research
∙
01/30/2023
Planning Multiple Epidemic Interventions with Reinforcement Learning
Combating an epidemic entails finding a plan that describes when and how...
share
research
∙
12/15/2022
Forgetful Forests: high performance learning data structures for streaming data under concept drift
Database research can help machine learning performance in many ways. On...
research
∙
12/16/2021
Classification Under Ambiguity: When Is Average-K Better Than Top-K?
When many labels are possible, choosing a single one can lead to low pre...
research
∙
09/12/2021
Verifying Concurrent Multicopy Search Structures
Multicopy search structures such as log-structured merge (LSM) trees are...
research
∙
04/17/2020
Robotic Room Traversal using Optical Range Finding
Consider the goal of visiting every part of a room that is not blocked b...
research
∙
04/12/2020
BugDoc: Algorithms to Debug Computational Processes
Data analysis for scientific experiments and enterprises, large-scale si...
research
∙
03/25/2020
MultiRI: Fast Subgraph Matching in Labeled Multigraphs
The Subgraph Matching (SM) problem consists of finding all the embedding...
research
∙
02/11/2020
Debugging Machine Learning Pipelines
Machine learning tasks entail the use of complex computational pipelines...
research
∙
11/09/2017
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Concurrent separation logics have helped to significantly simplify corre...
research
∙
08/09/2017