Talks & other writing
Arnaud Venet and I presented SPARTA at Strange Loop 2019:
I had previously presented Doppio at Strange Loop in 2012, but there's no recording available that I'm aware of... which is fortunate, because I was much less practiced then!
Other Writing
- at engineering.fb.com: Open-sourcing SPARTA to make abstract interpretation easy.
- at hhvm.com: Covariance, Contravariance, and
super
Type Constraints