Misc

Survey

• LLM for SEPL

• Heap Model

  • A Survey on Heap Analysis [PQE Survey] [Slides]

  • Three-Valued Logic Shape Analyzer [Slides]

  • An example of TVLA [Slides]

  • An example of bi-abduction in Infer [Review]

  • From Shape Analysis to Heap Indexing [Slides]

• Data Flow Analysis

  • Inferring Taint Specifications of Libraries [Summary]

  • Summary of Pinpoint and IFDS/IDE [Summary]

• Loop Analysis

  • Static Loop Summarization and Its Applications [Summary]

• Database Query Optimization

  • Detecting Query Inefficiencies in Web Applications [Summary]

  • Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL queries [Paper] [Slides]

Reference Book

Logic and Verification
• The Calculus of Computation

Static analysis
• Data Flow Analysis: Theory and Practice
• Static Program Analysis

Academic Writing

Writing Helper
• Ludwig: search engine and smart translator that helps you find the perfect word or sentence to express your ideas
• Linggle: Language reference search engines for sound writing, an aternative of Ludwig
• IEEE Referencing Guide: Useful guidance to format citations of different types in IEEE style

Writing Reference
• Academic Phrasebank: Skelton for each session of a research paper or dissertation
• Writing for Computer Science
• The Elements of Style
• Academic Vocabulary in Use
• LongMan Grammar of Spoken and Written English