Formally Applied
  •  Archives
  •  About

All Categories for Formally Applied

misc 1

04 May 2017 Building this blog

programming 1

25 May 2017 Undefined behavior in the wild

research 5

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

10 May 2017 Floating-point satisfiability as global optimization


© 2017-2021 Ammar Ben Khadra

Top