Personal profile

External positions

Researcher, Virginia Polytechnic Institute and State University

1 Oct 201730 Sept 2019

Fingerprint

Dive into the research topics where Freek Verbeek is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries

    Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Highly Automated Formal Proofs over Memory Usage of Assembly Code

    Verbeek, F., Bockenek, J. & Ravindran, B., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access