Concepedia

Intermediate Representation Design

Intermediate Representation Design is a method in compiler construction that specifies the structure and semantics of a language-independent, low-level program representation used to facilitate optimization and code generation in compiler back ends.

528

Publications

30.8K

Citations

1.7K

Authors

485

Institutions

Publications per year

2017–2026

194

Parents

Publications

528

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · ACM Transactions on Programming Languages and Systems · 1987 · 2.7K citations · Full text

, , +16

MaskGAN: Towards Diverse and Interactive Facial Image Manipulation

Cheng‐Han Lee, Ziwei Liu, Ling‐Yun Wu et al. · 2020 · 1.1K citations

, , +13

Learning Fair Representations

Rich Zemel, Yu Wu, Kevin Swersky et al. · 2013 · 1K citations

, , +16

Description Logic Programs: Combining Logic Programs with Description Logic

Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · SSRN Electronic Journal · 2003 · 811 citations · Full text

, , +16

Slither: A Static Analysis Framework for Smart Contracts

2019 · 758 citations · Full text

, , +17

1–5 of 528

Authors

1.7K

  1. AC
    Albert Cohen

    Institut national de recherche en sciences et technologies du numérique, France

    7 publications · 130 citations

    7

    h-index

  2. TG
    Tobias Grosser

    ETH Zurich, Switzerland

    7 publications · 501 citations

    7

    h-index

  3. SA
    Saman Amarasinghe

    Massachusetts Institute of Technology, United States

    5 publications · 360 citations

    5

    h-index

  4. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    5 publications · 123 citations

    5

    h-index

  5. HS
    Hiroshi Shinaoka

    Saitama University, Japan

    4 publications · 232 citations

    4

    h-index

1–5 of 1.7K

Institutions

485

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    13 h-index

    15 publications

    690 citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    12 h-index

    32 publications

    2.6K citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    12 h-index

    26 publications

    3.4K citations

  4. Microsoft (United States)

    Redmond, United States

    12 h-index

    19 publications

    1.7K citations

  5. Google (United States)

    Mountain View, United States

    11 h-index

    34 publications

    3.6K citations

  6. ETH Zurich

    Zurich, Switzerland

    11 h-index

    29 publications

    1.1K citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    21 publications

    602 citations

  8. Tsinghua University

    Beijing, China

    10 h-index

    48 publications

    1.3K citations

1–8 of 485

Venues

  1. arXiv (Cornell University)

    Repository · 41 publications · 2.1K citations

    26

    h-index

  2. ACM SIGPLAN Notices

    14 publications · 681 citations

    13

    h-index

  3. Software Practice and Experience

    7 publications · 155 citations

    7

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 268 citations

    6

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 5 publications · 99 citations

    5

    h-index

1–5