skyleaworlder paper-reading General Discussions
Pinned Discussions
General Discussions
Chat about anything and everything here
-
You must be logged in to vote 2023-InferFix: End-to-End Program Repair with LLMs over Retrieval-Augmented Prompts
type/paperPaper reading topic/llmLLM content/deploymentSoftware Deployment -
You must be logged in to vote Separation Logic and Bi-Abduction for Compositional, Large-Scale Verification
topic/separation-logicSeparation Logic type/talk-slidesSlides reading or Talks content/theoryTheory Presentation -
You must be logged in to vote Local Reasoning about Programs that Alter Data Structures
topic/separation-logicSeparation Logic type/paperPaper reading topic/hoare-logicHoare Logic content/theoryTheory Presentation -
You must be logged in to vote Modular Static Program Analysis
status/TODOPaper not read yet type/paperPaper reading topic/abstract-interpretationAbstract Interpretation content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote Compositional Shape Analysis by means of Bi-Abduction
topic/separation-logicSeparation Logic type/paperPaper reading topic/hoare-logicHoare Logic content/theoryTheory Presentation -
You must be logged in to vote DART and CUTE: Concolic Testing
topic/symbolic-executionSymbolic Execution type/talk-slidesSlides reading or Talks content/artifactTool Introduction content/theoryTheory Presentation -
You must be logged in to vote Symbolic Execution for Software Testing: Three Decades Later
topic/symbolic-executionSymbolic Execution type/surveySurvey -
You must be logged in to vote A System to Generate Test Data and Symbolically Execute Programs
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/theoryTheory Presentation -
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-executionSymbolic Execution type/paperPaper reading content/theoryTheory Presentation
