Concepedia

Instruction Set Semantics

Instruction Set Semantics is a formal specification that defines the behavioral meaning of machine-level instructions within an Instruction Set Architecture, distinguishing it from related architectural components by precisely describing how instructions manipulate processor state and interact with memory and registers.

51

Publications

4.5K

Citations

127

Authors

49

Institutions

Publications per year

2017–2026

8

Parents

Publications

51

The geometry of innocent flesh on the bone

Hovav Shacham · 2007 · 1.3K citations

, , +13

Semantics-aware malware detection

Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia et al. · 2005 · 723 citations · Full text

, , +10

Automatic application-specific instruction-set extensions under microarchitectural constraints

Kubilay Atasu, Laura Pozzi, Paolo Ienne · 2003 · 340 citations · Full text

, , +14

REDQUEEN: Fuzzing with Input-to-State Correspondence

Cornelius Aschermann, Sergej Schumilo, Tim Blazytko et al. · 2019 · 314 citations · Full text

, , +14

Modelling the ARMv8 architecture, operationally: concurrency and ISA

Shaked Flur, Kathryn E. Gray, Christopher Pulte et al. · 2016 · 139 citations · Full text

, , +17

1–5 of 51

Authors

127

  1. KA
    Kubilay Atasu

    IBM Research - Zurich, Switzerland

    4 publications · 445 citations

    4

    h-index

  2. PI
    Paolo Ienne

    École Polytechnique Fédérale de Lausanne, Switzerland

    3 publications · 416 citations

    3

    h-index

  3. LP
    Laura Pozzi

    Università della Svizzera italiana, Switzerland

    3 publications · 416 citations

    3

    h-index

  4. WD
    Ward Douglas Maurer

    University of California, Berkeley, United States

    2 publications · 53 citations

    2

    h-index

  5. RL
    Rainer Leupers

    RWTH Aachen University, Germany

    2 publications · 49 citations

    2

    h-index

1–5 of 127

Institutions

49

  1. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    4 h-index

    9 publications

    1.2K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    11 publications

    2.7K citations

  3. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    5 publications

    1.5K citations

  4. Stanford University

    Stanford, United States

    3 h-index

    7 publications

    264 citations

  5. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    33 citations

  6. Oxford Research Group

    London, United Kingdom

    2 h-index

    2 publications

    33 citations

  7. IBM (United States)

    Armonk, United States

    2 h-index

    3 publications

    190 citations

  8. ARM (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    2 publications

    163 citations

1–8 of 49

Venues

  1. ACM SIGPLAN Notices

    2 publications · 34 citations

    2

    h-index

  2. UC Berkeley

    Repository · 2 publications · 53 citations

    2

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 128 citations

    2

    h-index

  4. 1

    h-index

  5. IBM Journal of Research and Development

    1 publications · 87 citations

    1

    h-index

1–5