Papers

Analysis

• Cut-Shortcut (PLDI 2023)

  Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

• Méndez-Lojo (PPoPP 2012)

  A GPU Implementation of Inclusion-based Points-to Analysis

SMT

• Chaff (DAC 2001)

  Chaff: Engineering an Efficient SAT Solver

• DPLL (1962)

  A Machine Program for Theorem-Proving