Concepedia

Extraction Of Executable Code

Extraction of Executable Code is the process by which formally verified constructs within a proof assistant are automatically translated into efficient, standalone programs in a general-purpose programming language while preserving their correctness guarantees.

111

Publications

4.4K

Citations

327

Authors

154

Institutions

Publications per year

2017–2026

24

Variants

Program Extraction

Parents

Publications

111

Blockchain Based Smart Contracts : A Systematic Mapping Study

2017 · 332 citations · Full text

, , +14

PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware

Mitch Halpin, David Dagon, Robert L. Edmonds et al. · 2006 · 294 citations

, , +15

Ynot

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2008 · 140 citations · Full text

, , +15

A semantics aware approach to automated reverse engineering unknown protocols

Xiaochun Yun, Muhammad Shafiq, Liyan Wang et al. · 2012 · 137 citations

, , +15

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 129 citations · Full text

, , +14

1–5 of 111

Authors

327

  1. MH
    Mark Harman

    University College London, United Kingdom

    5 publications · 138 citations

    5

    h-index

  2. RM
    Robert M. Hierons

    Brunel University of London, United Kingdom

    4 publications · 123 citations

    4

    h-index

  3. DB
    David Binkley

    Loyola University Maryland, United States

    3 publications · 92 citations

    3

    h-index

  4. PG
    Paul Govereau

    Harvard University Press, United States

    2 publications · 265 citations

    2

    h-index

  5. PL
    Pierre Letouzey

    Ludwig-Maximilians-Universität München, Germany

    2 publications · 68 citations

    2

    h-index

1–5 of 327

Institutions

154

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    4 h-index

    7 publications

    619 citations

  2. Loyola University Maryland

    Baltimore, United States

    4 h-index

    4 publications

    119 citations

  3. Brunel University of London

    London, United Kingdom

    4 h-index

    10 publications

    251 citations

  4. University of Wisconsin–Madison

    Madison, United States

    4 h-index

    10 publications

    515 citations

  5. Ludwig-Maximilians-Universität München

    Munich, Germany

    3 h-index

    5 publications

    197 citations

  6. Microsoft (United States)

    Redmond, United States

    3 h-index

    5 publications

    448 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    10 publications

    306 citations

  8. Korea Advanced Institute of Science and Technology

    Daejeon, South Korea

    2 h-index

    6 publications

    230 citations

1–8 of 154

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 66 citations

    3

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 70 citations

    2

    h-index

  3. Journal of Systems and Software

    JSS · 2 publications · 62 citations

    2

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 2 publications · 231 citations

    2

    h-index

  5. Software Practice and Experience

    2 publications · 51 citations

    2

    h-index

1–5