Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and
Read moreRecursion and state update and Hungarian Mathematicians
Please see this ever modifying page which seeks to demonstrate in a poorly organized, yet humorous manner, what the hell I’m trying to accomplish with
Read moreWhy Computer Science is a failed field #2
I mentioned the phobia against mere experimentation recently, but now I have some more fascinating glimpses into “peer review”. I have some theoretical work I’m
Read moreBias in academic reviewing
EURYI applications were first submitted to the relevant national research councils, who could nominate a specific number of candidates. This selection cut the proportion of
Read moreThe source of error (updated)
Here’s Edsger Dijkstra discussing the birth of the use of axiomatics in computer science – the start of “formal methods” research. What’s striking is the
Read more
Robin Milner and Automata theory
I always had the impression that the entire group of “process algebra” people didn’t know much about automata, but this is surprising. But meanwhile I
Read moreDijkstra versus Perlis (updated)
Dijkstra wrote: He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite The paper by De Millo, Lipton and Perlis starts as
Read moreOperating system research – 16 years perspective
(links and dates fixed March 15 2015 – thanks to Luu and pm90 at news.y.combinator for digging this up) October 2008: It’s somewhat funny and somewhat sad
Read moreWatering down computer science, Java, and feminism
This old note by Spolsky explains why the shift to java-only in computer science classes is harmful and reminds me of two events in my
Read more