Concepedia

Trace Abstraction

Trace Abstraction is a static analysis technique that belongs to the class of abstract interpretation methods, distinguished by its focus on approximating program behavior through finite sequences of abstract states representing possible execution paths.

41

Publications

2K

Citations

82

Authors

51

Institutions

Publications per year

2017–2026

8

Parents

Publications

41

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 483 citations

, , +14

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2004 · 304 citations

, , +14

The trace partitioning abstract domain

Xavier Rival, Laurent Mauborgne · ACM Transactions on Programming Languages and Systems · 2007 · 177 citations · Full text

, , +11

Execution patterns in object-oriented visualization

Wim De Pauw, David H. Lorenz, John Vlissides et al. · 1998 · 140 citations

, , +15

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2004 · 94 citations

, , +14

1–5 of 41

Authors

82

  1. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    3 publications · 881 citations

    3

    h-index

  2. RJ
    Ranjit Jhala

    University of California San Diego, United States

    3 publications · 881 citations

    3

    h-index

  3. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    3 publications · 881 citations

    3

    h-index

  4. KL
    Kenneth L. McMillan

    Carnegie Mellon University, United States

    3 publications · 881 citations

    3

    h-index

  5. MN
    Mogens Nielsen

    Aarhus University, Denmark

    2 publications · 32 citations

    2

    h-index

1–5 of 82

Institutions

51

  1. Lawrence Berkeley National Laboratory

    Berkeley, United States

    3 h-index

    3 publications

    881 citations

  2. University of California, Berkeley

    Berkeley, United States

    3 h-index

    9 publications

    2.6K citations

  3. Cadence Design Systems (United States)

    San Jose, United States

    3 h-index

    3 publications

    881 citations

  4. University of Oxford

    Oxford, United Kingdom

    3 h-index

    5 publications

    125 citations

  5. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    6 publications

    204 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    4 publications

    124 citations

  7. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    2 publications

    62 citations

  8. Polytechnique Montréal

    Montreal, Canada

    2 h-index

    4 publications

    106 citations

1–8 of 51

Venues

  1. ACM SIGPLAN Notices

    3 publications · 607 citations

    3

    h-index

  2. 2

    h-index

  3. Computer Languages Systems & Structures

    1 publications · 24 citations

    1

    h-index

  4. International Conference on Lightning Protection

    Conference · 1 publications · 11 citations

    1

    h-index

  5. 1

    h-index

1–5