Specification Mining With Few False Positives:
- Conference presentation, TACAS 2009 [ .pdf | .pptx ]
- Masters defense [ .pdf ]
KKT Algorithm for Minimum Spanning Trees:
- Theory Lunch Presentation, 2008 [ .pdf | .ppt ]
These slides contain a pretty extensive demo of the algorithm on an example graph of 20 nodes or so; you may find this useful if you, too, wish to explain the algorithm to a group of your friends.