research
∙
05/06/2023
DORA: Distributed Oracle Agreement with Simple Majority
Oracle networks feeding off-chain information to a blockchain are requir...
share
research
∙
11/17/2020
GPURepair: Automated Repair of GPU Kernels
This paper presents a tool for repairing errors in GPU kernels written i...
research
∙
01/05/2020
Hardware/Software Co-verification Using Path-based Symbolic Execution
Conventional tools for formal hardware/software co-verification use boun...
research
∙
12/27/2019
LLOV: A Fast Static Data-Race Checker for OpenMP Programs
In the era of Exascale computing, writing efficient parallel programs is...
research
∙
10/22/2019
Phase Transition Behavior of Cardinality and XOR Constraints
The runtime performance of modern SAT solvers is deeply connected to the...
research
∙
10/10/2019
Reflections on "Incremental Cardinality Constraints for MaxSAT"
To celebrate the first 25 years of the International Conference on Princ...
research
∙
03/06/2019
Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)
Many modern-day solvers offer functionality for incremental SAT solving,...
research
∙
06/19/2018
Approximation Strategies for Incomplete MaxSAT
Incomplete MaxSAT solving aims to quickly find a solution that attempts ...
research
∙
02/10/2018
On the Tractability of (k,i)-Coloring
In an undirected graph, a proper (k, i)-coloring is an assignment of a s...
research
∙
08/20/2014