research
∙
07/16/2023
Sampling Proper Colorings on Line Graphs Using (1+o(1))Δ Colors
We prove that the single-site Glauber dynamics for sampling proper q-col...
share
research
∙
11/02/2021
iCallee: Recovering Call Graphs for Binaries
Recovering programs' call graphs is crucial for inter-procedural analysi...
research
∙
11/01/2018
