Semantics and Analysis
An Algebraic Theory for Shared-State Concurrency
Decoupling the Ascending and Descending Phases in Abstract Interpretation
Inferring Region Types via an Abstract Notion of Environment Transformation
Testing and Verification
RHLE: Modular Deductive Verification of Relational Properties
Automated Temporal Verification for Algebraic Effects
Model-based Fault Classification for Automotive Software
Types
Characterizing functions mappable over GADTs
Applicative Intersection Types
A Calculus with Recursive Types, Record Concatenation and Subtyping
Novice Type Error Diagnosis with Natural Language Models.