Inductive Programming Meets the Real World [pdf]
research.microsoft.com
research.microsoft.com
[0] http://cacm.acm.org/magazines/2015/11/193326-inductive-progr...
I love that the ACM provides HTML versions of articles from the Queue, but the figures and tables are not well integrated with the text in the HTML versions.
Many sites make the mistake of mixing default and non-default colours, but this is the first time I've seen it work in my favour ;) Presumably most devs aren't doing any kind of contrast analysis on their CSS, and are only testing with a black-on-white colour scheme.
Of course, I could avoid this problem by giving up my preferred colour scheme; but why do that when I can walk the DOM after page load, and invert all of the low-contrast colours? http://chriswarbo.net/git/warbo-dotfiles/branches/master/con... ;)
http://research.microsoft.com/en-us/um/people/sumitg/pubs/ip...
The author, Sumit Gulwani, is a researcher at Microsoft. His home page is:
http://research.microsoft.com/en-us/um/people/sumitg/index.h...
and his publications are available at:
http://research.microsoft.com/en-us/um/people/sumitg/publica...