research
∙
03/01/2023
Polyhedral Clinching Auctions for Indivisible Goods
In this study, we propose polyhedral clinching auctions for indivisible ...
share
research
∙
02/07/2023
Polyhedral Clinching Auctions with a Single Sample
In this study, we investigate auctions in two-sided markets with budget ...
research
∙
03/16/2022
Gradual Tensor Shape Checking
Tensor shape mismatch is a common source of bugs in deep learning progra...
research
∙
03/15/2022
Automatic HFL(Z) Validity Checking for Program Verification
We propose an automated method for checking the validity of a formula of...
research
∙
09/01/2021
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination
We propose an automated method for proving termination of π-calculus pro...
research
∙
08/17/2021
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Despite the recent advance of automated program verification, reasoning ...
research
∙
12/15/2020
A Quantitative Study of Security Bug Fixes of GitHub Repositories
Software is prone to bugs and failures. Security bugs are those that exp...
research
∙
08/15/2017