Everything about Abstract interpretation

🧭 Start here: a 6-step reading path

1. Read the overview: Abstract interpretationA 5-minute orientation
2. Skim a recent paper: Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract InterpretationInfluential work since 2022
3. Pick up a classic book: KandinskyThe most-reprinted book on the subject
4. Read the landmark paper: Abstract Interpretation FrameworksCited 512 times
5. Go sideways: Widening (computer science)A closely related topic
6. Go sideways: Radhia CousotA closely related topic

🏆 Landmark papers (most cited)

• Abstract Interpretation Frameworks

  PATRICK COUSOT, RADHIA COUSOT · 1992 · Journal of Logic and Computation · 512 citations

• Abstract interpretation of reactive systems

  Dennis Dams, Rob Gerth, Orna Grumberg · 1997 · ACM Transactions on Programming Languages and Systems · 251 citations

• Abstract interpretation

  Patrick Cousot · 1996 · ACM Computing Surveys · 132 citations

• Abstract interpretation by dynamic partitioning

  François Bourdoncle · 1992 · Journal of Functional Programming · 74 citations

• Refining Model Checking by Abstract Interpretation

  Patrick Cousot, Radhia Cousot · 1999 · Automated Software Engineering · 62 citations

• Cache behavior prediction by abstract interpretation

  Christian Ferdinand, Florian Martin, Reinhard Wilhelm · 1999 · Science of Computer Programming · 59 citations

• Complementation in abstract interpretation

  Agostino Cortesi, Gilberto Filé, Francesco Ranzato · 1997 · ACM Transactions on Programming Languages and Systems · 42 citations

• The quotient of an abstract interpretation

  Agostino Cortesi, Gilberto Filé, William Winsborough · 1998 · Theoretical Computer Science · 25 citations

🆕 Influential since 2022

• Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation

  Omar El Mellouki, Mohamed Ibn Khedher, Mounim A. El-Yacoubi · 2023 · IEEE Access · 26 citations

• Fashion intelligence system: An outfit interpretation utilizing images and rich abstract tags

  Ryotaro Shimizu, Yuki Saito, Megumi Matsutani · 2023 · Expert Systems with Applications · 26 citations

• Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis

  Marco Campion, Mila Dalla Preda, Roberto Giacobazzi · 2022 · Proceedings of the ACM on Programming Languages · 22 citations

• Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

  Yongho Yoon, Woosuk Lee, Kwangkeun Yi · 2023 · Proceedings of the ACM on Programming Languages · 20 citations

• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

  Yuan Feng, Sanjiang Li · 2023 · Information and Computation · 17 citations

📚 Books worth reading

• KandinskyWassily Kandinsky · 1947
• Gerhard RichterRichter, Gerhard, Birgit Pelzer · 1971
• Willem de KooningWillem De Kooning, Brenda Richardson · 1965
• Cy TwomblyCy Twombly, Giorgio Agamben · 1966
• ChillidaEduardo Chillida · 1967
• Sean ScullySean Scully, Donald Kuspit · 1987
• MondrianPiet Mondrian · 1943
• Brice MardenBrice Marden, Lisa Corrin · 1975

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Widening (computer science) In computer science, especially model checking and abstract interpretation, widening refers to at least two different techniques in the analysis of abstract…
• Radhia Cousot Radhia Cousot, née Rezig (French: [ʁadja kuzɔ]; 6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation…
• Programming Computable Functions In computer science, Programming Computable Functions (PCF), or Programming with Computable Functions, or Programming language for Computable Functions…
• Denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings…
• Computable topology Computable topology is a discipline in mathematics that studies the topological and algebraic structure of computation. Computable topology is not to be…
• Static program analysis In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without…
• Abstraction (computer science) In software, an abstraction provides access while hiding details that otherwise might make access more challenging. It focuses attention on details of…
• Lambda-mu calculus In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by Michel Parigot. It introduces two…