Abhijith Bharadwaj

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Description Language

Software Engineering

Static Analysis

Top Venues

Arch. Formal Proofs

Publications

Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs 2021 (2021)
Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
Establishing a refinement relation between binaries and abstract code. MEMOCODE (2019)