CS 421 - Programming language theory papers

• CSolve: Verifying C with Liquid Types
• Reasoning about Programs in Continuation-Passing Style