Some resources about PL(verification).
Most Influential POPL Paper Award
Most Influential PLDI Paper Award
Formal Semantics of Programming Languages
Principles of Computer Systems
Finding and understanding bugs in C compilers
Scaling symbolic evaluation for automated verification of systems code with Serval
Using concurrent relational logic with helpers for verifying the AtomFS file system
A lightweight symbolic virtual machine for solver-aided host languages
A Verified, Efficient Embedding of a Verifiable Assembly Language
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Finding Code That Explodes under Symbolic Evaluation
Growing Solver-Aided Languages with ROSETTE
Hyperkernel: Push-Button Verification of an OS Kernel
Ironclad Apps: End-to-End Security via Automated Full-System Verification
Push-Button Verification of File Systems via Crash Refinement
Refinement reflection: complete verification with SMT
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Satisfiability modulo theories: introduction and applications
Symbolic Execution for Software Testing Three Decades Later
Solver-Aided Programming for All
types and programming languages