Checking Data Structure Properties Orders of Magnitude Faster. - Emmanouil Koukoutos; Viktor Kuncak (RV, 2014)

Scaling Functional Synthesis and Repair. - Emmanouil Koukoutos (2019)