research
∙
06/10/2023
An Empirical Study of Bugs in Quantum Machine Learning Frameworks
Quantum computing has emerged as a promising domain for the machine lear...
share
research
∙
03/25/2023
Formalization of Quantum Intermediate Representations for Code Safety
Quantum Intermediate Representation (QIR) is a Microsoft-developed, LLVM...
research
∙
10/11/2022
Fair and Efficient Multi-Resource Allocation for Cloud Computing
We study the problem of allocating multiple types of resources to agents...
research
∙
02/03/2022
Multivariate Algorithmics for Eliminating Envy by Donating Goods
Fairly dividing a set of indivisible resources to a set of agents is of ...
research
∙
01/21/2022
A Comprehensive Study of Bug Fixes in Quantum Programs
As quantum programming evolves, more and more quantum programming langua...
research
∙
12/14/2021
On Improving Resource Allocations by Sharing
Given an initial resource allocation, where some agents may envy others ...
research
∙
05/18/2021
Fine-Grained View on Bribery for Group Identification
Given a set of agents qualifying or disqualifying each other, group iden...
research
∙
04/20/2021
Finding Small Multi-Demand Set Covers with Ubiquitous Elements and Large Sets is Fixed-Parameter Tractable
We study a variant of Set Cover where each element of the universe has s...
research
∙
10/08/2019
A Fast Exact Algorithm for Airplane Refueling Problem
We consider the airplane refueling problem, where we have a fleet of air...
research
∙
07/02/2019
Adapting Stable Matchings to Evolving Preferences
Adaptivity to changing environments and constraints is key to success in...
research
∙
10/15/2018
Parameterized Dynamic Cluster Editing
We introduce a dynamic version of the NP-hard Cluster Editing problem. T...
research
∙
05/31/2018