Toggle navigation
Formally Applied
Archives
About
Archives
28 Jan 2021
BCOVBench: A benchmark suite for binary analysis research
16 Jun 2020
Visualizing program graphs using bcov
26 May 2020
Function identification in stripped binaries revisited
07 Nov 2017
An introduction to approximate computing
25 May 2017
Undefined behavior in the wild
10 May 2017
Floating-point satisfiability as global optimization
04 May 2017
Building this blog