Discussions

• 1 You must be logged in to vote

  💬

  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

  status/TODO Paper not read yet type/paper Paper reading topic/abstract-interpretation Abstract Interpretation content/theory Theory Presentation

  skyleaworlder started May 22, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  2023-InferFix: End-to-End Program Repair with LLMs over Retrieval-Augmented Prompts

  type/paper Paper reading topic/llm LLM content/deployment Software Deployment

  skyleaworlder started May 22, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Separation Logic and Bi-Abduction for Compositional, Large-Scale Verification

  topic/separation-logic Separation Logic type/talk-slides Slides reading or Talks content/theory Theory Presentation

  skyleaworlder started May 22, 2023 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  Local Reasoning about Programs that Alter Data Structures

  topic/separation-logic Separation Logic type/paper Paper reading topic/hoare-logic Hoare Logic content/theory Theory Presentation

  skyleaworlder started May 22, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Modular Static Program Analysis

  status/TODO Paper not read yet type/paper Paper reading topic/abstract-interpretation Abstract Interpretation content/theory Theory Presentation topic/classic-static-analysis Classic Static Analysis

  skyleaworlder started May 22, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Compositional Shape Analysis by means of Bi-Abduction

  topic/separation-logic Separation Logic type/paper Paper reading topic/hoare-logic Hoare Logic content/theory Theory Presentation

  skyleaworlder started May 20, 2023 in General

  

  

  7
• 1 You must be logged in to vote

  💬

  DART and CUTE: Concolic Testing

  topic/symbolic-execution Symbolic Execution type/talk-slides Slides reading or Talks content/artifact Tool Introduction content/theory Theory Presentation

  skyleaworlder started May 20, 2023 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  Symbolic Execution for Software Testing: Three Decades Later

  topic/symbolic-execution Symbolic Execution type/survey Survey

  skyleaworlder started May 19, 2023 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  A System to Generate Test Data and Symbolically Execute Programs

  topic/symbolic-execution Symbolic Execution type/paper Paper reading content/theory Theory Presentation

  skyleaworlder started May 19, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)

  topic/symbolic-execution Symbolic Execution type/paper Paper reading content/theory Theory Presentation

  skyleaworlder started May 19, 2023 in General

  

  

  5