Formally Applied
  •  Archives
  •  About

Tags for Formally Applied

approximate computing 1

07 Nov 2017 An introduction to approximate computing

binary analysis 3

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

blogging 1

04 May 2017 Building this blog

c++ 1

25 May 2017 Undefined behavior in the wild

floating-point 1

10 May 2017 Floating-point satisfiability as global optimization

gcc 1

25 May 2017 Undefined behavior in the wild

reliability 1

07 Nov 2017 An introduction to approximate computing

reverse engineering 3

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

smt 1

10 May 2017 Floating-point satisfiability as global optimization

undefined behavior 1

25 May 2017 Undefined behavior in the wild


© 2017-2021 Ammar Ben Khadra

Top