Program Analysis Research @ GIST

We are interested in various research topics for improving the safety and reliability of software, including:

• Program Verification for automatically proving the absence of bugs in programs.
• Program Testing for automatically finding bugs in programs.
• Program Repair for automatically fixing bugs in programs.
• Program Synthesis for automatically generating safe and correct programs.

---

Introduction to Our Research

• Introduction to Program Analysis Techniques with Applications to Smart Contract Security.
  8 Sep 2023. GIST EECS Colloquium
  [slides]

---

Recent Research Projects

• Automatically fixing security vulnerabilities in smart contracts
  [FSE'23 paper] [slides]



• Automatically finding critical bugs in SMT solvers
  [ICSE'23 paper] [slides]



• Automatically finding security vulnerabilities in smart contracts
  [USENIX Security'21 paper] [slides] [media]



• Automatically verifying the safety of smart contracts
  [IEEE S&P'20 paper] [slides]



• Automatically generating feedback for functional programming assignments
  [OOPSLA'18 paper] [slides]