http://spinroot.com/spin/Workshops/ws03/GroceVisser.pdf
http://www.juliasoft.com/users
https://arxiv.org/pdf/cs/0508108.pdf
https://cassius.uwplse.org/
https://dl.acm.org/citation.cfm?id=202530
https://docs.google.com/a/cs.washington.edu/presentation/d/1lW9zagndSkCdqtYgLK9WXwjUnhsFkG30xF7Ggoam3N4/edit
https://dspace.mit.edu/bitstream/handle/1721.1/40090/MIT-CSAIL-TR-2008-002.pdf
https://ece.uwaterloo.ca/~wdietl/inference/
https://github.com/reprogrammer/cascade
https://groups.inf.ed.ac.uk/cup/comment-locator/
https://kirin.cs.washington.edu:8000/
https://verdi.uwplse.org/
https://verdi.uwplse.org/verdi_slides.pdf
https://www.cs.nmsu.edu/~jcook/woda2003/
https://www.cs.rpi.edu/~huangw5/cf-inference/
https://www.cs.ubc.ca/~bestchai/papers/texada-ase15_final.pdf