The Business Case for Formal Methods

Hypermodeling Hyperproperties

Finding Property Tests (2019)

How fast do I talk?

Formally Modeling Database Migrations

Python Negatypes

What We Know We Don't Know: Empirical Software Engineering

Performance Matters

Falsehoods Programmers Believe About Dogs

Modeling Missing Requirements