04 May 2017 Building this blog
25 May 2017 Undefined behavior in the wild
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
10 May 2017 Floating-point satisfiability as global optimization
Formally Applied