Gave talk on ongoing work at Theory and Practice in Static Analysis